You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gotosocial/vendor/github.com/tetratelabs/wazero/internal/wasmdebug/dwarf.go

226 lines
7.4 KiB
Go

package wasmdebug
import (
"debug/dwarf"
"errors"
"fmt"
"io"
"sort"
"strings"
"sync"
)
// DWARFLines is used to retrieve source code line information from the DWARF data.
type DWARFLines struct {
// d is created by DWARF custom sections.
d *dwarf.Data
// linesPerEntry maps dwarf.Offset for dwarf.Entry to the list of lines contained by the entry.
// The value is sorted in the increasing order by the address.
linesPerEntry map[dwarf.Offset][]line
mux sync.Mutex
}
type line struct {
addr uint64
pos dwarf.LineReaderPos
}
// NewDWARFLines returns DWARFLines for the given *dwarf.Data.
func NewDWARFLines(d *dwarf.Data) *DWARFLines {
if d == nil {
return nil
}
return &DWARFLines{d: d, linesPerEntry: map[dwarf.Offset][]line{}}
}
// isTombstoneAddr returns true if the given address is invalid a.k.a tombstone address which was made no longer valid
// by linker. According to the DWARF spec[1], the value is encoded as 0xffffffff for Wasm (as 32-bit target),
// but some tools encode it either in -1, -2 [2] or 1<<32 (This might not be by tools, but by debug/dwarf package's bug).
//
// [1] https://dwarfstd.org/issues/200609.1.html
// [2] https://github.com/WebAssembly/binaryen/blob/97178d08d4a20d2a5e3a6be813fc6a7079ef86e1/src/wasm/wasm-debug.cpp#L651-L660
// [3] https://reviews.llvm.org/D81784
func isTombstoneAddr(addr uint64) bool {
addr32 := int32(addr)
return addr32 == -1 || addr32 == -2 ||
addr32 == 0 // This covers 1 <<32.
}
// Line returns the line information for the given instructionOffset which is an offset in
// the code section of the original Wasm binary. Returns empty string if the info is not found.
func (d *DWARFLines) Line(instructionOffset uint64) (ret []string) {
if d == nil {
return
}
// DWARFLines is created per Wasm binary, so there's a possibility that multiple instances
// created from a same binary face runtime error at the same time, and that results in
// concurrent access to this function.
d.mux.Lock()
defer d.mux.Unlock()
r := d.d.Reader()
var inlinedRoutines []*dwarf.Entry
var cu *dwarf.Entry
var inlinedDone bool
entry:
for {
ent, err := r.Next()
if err != nil || ent == nil {
break
}
// If we already found the compilation unit and relevant inlined routines, we can stop searching entries.
if cu != nil && inlinedDone {
break
}
switch ent.Tag {
case dwarf.TagCompileUnit, dwarf.TagInlinedSubroutine:
default:
// Only CompileUnit and InlinedSubroutines are relevant.
continue
}
// Check if the entry spans the range which contains the target instruction.
ranges, err := d.d.Ranges(ent)
if err != nil {
continue
}
for _, pcs := range ranges {
start, end := pcs[0], pcs[1]
if isTombstoneAddr(start) || isTombstoneAddr(end) {
continue
}
if start <= instructionOffset && instructionOffset < end {
switch ent.Tag {
case dwarf.TagCompileUnit:
cu = ent
case dwarf.TagInlinedSubroutine:
inlinedRoutines = append(inlinedRoutines, ent)
// Search inlined subroutines until all the children.
inlinedDone = !ent.Children
// Not that "children" in the DWARF spec is defined as the next entry to this entry.
// See "2.3 Relationship of Debugging Information Entries" in https://dwarfstd.org/doc/DWARF4.pdf
}
continue entry
}
}
}
// If the relevant compilation unit is not found, nothing we can do with this DWARF info.
if cu == nil {
return
}
lineReader, err := d.d.LineReader(cu)
if err != nil || lineReader == nil {
return
}
var lines []line
var ok bool
var le dwarf.LineEntry
// Get the lines inside the entry.
if lines, ok = d.linesPerEntry[cu.Offset]; !ok {
// If not found, we create the list of lines by reading all the LineEntries in the Entry.
//
// Note that the dwarf.LineEntry.SeekPC API shouldn't be used because the Go's dwarf package assumes that
// all the line entries in an Entry are sorted in increasing order which *might not* be true
// for some languages. Such order requirement is not a part of DWARF specification,
// and in fact Zig language tends to emit interleaved line information.
//
// Thus, here we read all line entries here, and sort them in the increasing order wrt addresses.
for {
pos := lineReader.Tell()
err = lineReader.Next(&le)
if errors.Is(err, io.EOF) {
break
} else if err != nil {
return
}
// TODO: Maybe we should ignore tombstone addresses by using isTombstoneAddr,
// but not sure if that would be an issue in practice.
lines = append(lines, line{addr: le.Address, pos: pos})
}
sort.Slice(lines, func(i, j int) bool { return lines[i].addr < lines[j].addr })
d.linesPerEntry[cu.Offset] = lines // Caches for the future inquiries for the same Entry.
}
// Now we have the lines for this entry. We can find the corresponding source line for instructionOffset
// via binary search on the list.
n := len(lines)
index := sort.Search(n, func(i int) bool { return lines[i].addr >= instructionOffset })
if index == n { // This case the address is not found. See the doc sort.Search.
return
}
ln := lines[index]
if ln.addr != instructionOffset {
// If the address doesn't match exactly, the previous entry is the one that contains the instruction.
// That can happen anytime as the DWARF spec allows it, and other tools can handle it in this way conventionally
// https://github.com/gimli-rs/addr2line/blob/3a2dbaf84551a06a429f26e9c96071bb409b371f/src/lib.rs#L236-L242
// https://github.com/kateinoigakukun/wasminspect/blob/f29f052f1b03104da9f702508ac0c1bbc3530ae4/crates/debugger/src/dwarf/mod.rs#L453-L459
if index-1 < 0 {
return
}
ln = lines[index-1]
}
// Advance the line reader for the found position.
lineReader.Seek(ln.pos)
err = lineReader.Next(&le)
if err != nil {
// If we reach this block, that means there's a bug in the []line creation logic above.
panic("BUG: stored dwarf.LineReaderPos is invalid")
}
// In the inlined case, the line info is the innermost inlined function call.
inlined := len(inlinedRoutines) != 0
prefix := fmt.Sprintf("%#x: ", instructionOffset)
ret = append(ret, formatLine(prefix, le.File.Name, int64(le.Line), int64(le.Column), inlined))
if inlined {
prefix = strings.Repeat(" ", len(prefix))
files := lineReader.Files()
// inlinedRoutines contain the inlined call information in the reverse order (children is higher than parent),
// so we traverse the reverse order and emit the inlined calls.
for i := len(inlinedRoutines) - 1; i >= 0; i-- {
inlined := inlinedRoutines[i]
fileIndex, ok := inlined.Val(dwarf.AttrCallFile).(int64)
if !ok {
return
} else if fileIndex >= int64(len(files)) {
// This in theory shouldn't happen according to the spec, but guard against ill-formed DWARF info.
return
}
fileName := files[fileIndex]
line, _ := inlined.Val(dwarf.AttrCallLine).(int64)
col, _ := inlined.Val(dwarf.AttrCallColumn).(int64)
ret = append(ret, formatLine(prefix, fileName.Name, line, col,
// Last one is the origin of the inlined function calls.
i != 0))
}
}
return
}
func formatLine(prefix, fileName string, line, col int64, inlined bool) string {
builder := strings.Builder{}
builder.WriteString(prefix)
builder.WriteString(fileName)
if line != 0 {
builder.WriteString(fmt.Sprintf(":%d", line))
if col != 0 {
builder.WriteString(fmt.Sprintf(":%d", col))
}
}
if inlined {
builder.WriteString(" (inlined)")
}
return builder.String()
}