2017-08-22 14:40:01 +00:00
|
|
|
// Tests for loading variables that have complex location expressions. They
|
|
|
|
// are only produced for optimized code (for both Go and C) therefore we can
|
|
|
|
// not get the compiler to produce them reliably enough for tests.
|
|
|
|
|
|
|
|
package proc_test
|
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
|
|
|
"debug/dwarf"
|
|
|
|
"encoding/binary"
|
|
|
|
"fmt"
|
|
|
|
"go/constant"
|
|
|
|
"testing"
|
|
|
|
|
|
|
|
"github.com/derekparker/delve/pkg/dwarf/dwarfbuilder"
|
|
|
|
"github.com/derekparker/delve/pkg/dwarf/godwarf"
|
|
|
|
"github.com/derekparker/delve/pkg/dwarf/op"
|
|
|
|
"github.com/derekparker/delve/pkg/proc"
|
2017-08-24 07:46:47 +00:00
|
|
|
"github.com/derekparker/delve/pkg/proc/core"
|
2017-08-22 14:40:01 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
const defaultCFA = 0xc420051d00
|
|
|
|
|
|
|
|
func fakeBinaryInfo(t *testing.T, dwb *dwarfbuilder.Builder) *proc.BinaryInfo {
|
2017-08-24 07:46:47 +00:00
|
|
|
abbrev, aranges, frame, info, line, pubnames, ranges, str, loc, err := dwb.Build()
|
2018-03-20 10:05:35 +00:00
|
|
|
assertNoError(err, t, "dwarfbuilder.Build")
|
2017-08-22 14:40:01 +00:00
|
|
|
dwdata, err := dwarf.New(abbrev, aranges, frame, info, line, pubnames, ranges, str)
|
|
|
|
assertNoError(err, t, "creating dwarf")
|
|
|
|
|
|
|
|
bi := proc.NewBinaryInfo("linux", "amd64")
|
2017-08-24 07:46:47 +00:00
|
|
|
bi.LoadFromData(dwdata, frame, line, loc)
|
2017-08-22 14:40:01 +00:00
|
|
|
|
|
|
|
return &bi
|
|
|
|
}
|
|
|
|
|
|
|
|
// fakeMemory implements proc.MemoryReadWriter by reading from a byte slice.
|
|
|
|
// Byte 0 of "data" is at address "base".
|
|
|
|
type fakeMemory struct {
|
|
|
|
base uint64
|
|
|
|
data []byte
|
|
|
|
}
|
|
|
|
|
|
|
|
func newFakeMemory(base uint64, contents ...interface{}) *fakeMemory {
|
|
|
|
mem := &fakeMemory{base: base}
|
|
|
|
var buf bytes.Buffer
|
|
|
|
for _, x := range contents {
|
|
|
|
binary.Write(&buf, binary.LittleEndian, x)
|
|
|
|
}
|
|
|
|
mem.data = buf.Bytes()
|
|
|
|
return mem
|
|
|
|
}
|
|
|
|
|
|
|
|
func (mem *fakeMemory) ReadMemory(data []byte, addr uintptr) (int, error) {
|
|
|
|
if uint64(addr) < mem.base {
|
|
|
|
return 0, fmt.Errorf("read out of bounds %d %#x", len(data), addr)
|
|
|
|
}
|
|
|
|
start := uint64(addr) - mem.base
|
|
|
|
end := uint64(len(data)) + start
|
|
|
|
if end > uint64(len(mem.data)) {
|
|
|
|
panic(fmt.Errorf("read out of bounds %d %#x", len(data), addr))
|
|
|
|
}
|
|
|
|
copy(data, mem.data[start:end])
|
|
|
|
return len(data), nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func (mem *fakeMemory) WriteMemory(uintptr, []byte) (int, error) {
|
|
|
|
return 0, fmt.Errorf("not implemented")
|
|
|
|
}
|
|
|
|
|
|
|
|
func uintExprCheck(t *testing.T, scope *proc.EvalScope, expr string, tgt uint64) {
|
|
|
|
thevar, err := scope.EvalExpression(expr, normalLoadConfig)
|
|
|
|
assertNoError(err, t, fmt.Sprintf("EvalExpression(%s)", expr))
|
|
|
|
if thevar.Unreadable != nil {
|
|
|
|
t.Errorf("variable %q unreadable: %v", expr, thevar.Unreadable)
|
|
|
|
} else {
|
|
|
|
if v, _ := constant.Uint64Val(thevar.Value); v != tgt {
|
|
|
|
t.Errorf("expected value %x got %x for %q", tgt, v, expr)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func dwarfExprCheck(t *testing.T, mem proc.MemoryReadWriter, regs op.DwarfRegisters, bi *proc.BinaryInfo, testCases map[string]uint16) *proc.EvalScope {
|
2017-08-24 07:46:47 +00:00
|
|
|
scope := &proc.EvalScope{PC: 0x40100, Regs: regs, Mem: mem, Gvar: nil, BinInfo: bi}
|
2017-08-22 14:40:01 +00:00
|
|
|
for name, value := range testCases {
|
|
|
|
uintExprCheck(t, scope, name, uint64(value))
|
|
|
|
}
|
|
|
|
|
|
|
|
return scope
|
|
|
|
}
|
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
func dwarfRegisters(regs *core.Registers) op.DwarfRegisters {
|
|
|
|
a := proc.AMD64Arch("linux")
|
|
|
|
dwarfRegs := a.RegistersToDwarfRegisters(regs)
|
|
|
|
dwarfRegs.CFA = defaultCFA
|
|
|
|
dwarfRegs.FrameBase = defaultCFA
|
|
|
|
return dwarfRegs
|
|
|
|
}
|
|
|
|
|
2017-08-22 14:40:01 +00:00
|
|
|
func TestDwarfExprRegisters(t *testing.T) {
|
|
|
|
testCases := map[string]uint16{
|
|
|
|
"a": 0x1234,
|
|
|
|
"b": 0x4321,
|
|
|
|
"c": 0x2143,
|
|
|
|
}
|
|
|
|
|
|
|
|
dwb := dwarfbuilder.New()
|
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
uint16off := dwb.AddBaseType("uint16", dwarfbuilder.DW_ATE_unsigned, 2)
|
2017-08-22 14:40:01 +00:00
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
dwb.AddSubprogram("main.main", 0x40100, 0x41000)
|
2017-08-22 14:40:01 +00:00
|
|
|
dwb.Attr(dwarf.AttrFrameBase, dwarfbuilder.LocationBlock(op.DW_OP_call_frame_cfa))
|
2017-08-24 07:46:47 +00:00
|
|
|
dwb.AddVariable("a", uint16off, dwarfbuilder.LocationBlock(op.DW_OP_reg0))
|
|
|
|
dwb.AddVariable("b", uint16off, dwarfbuilder.LocationBlock(op.DW_OP_fbreg, int(8)))
|
|
|
|
dwb.AddVariable("c", uint16off, dwarfbuilder.LocationBlock(op.DW_OP_regx, int(1)))
|
2017-08-22 14:40:01 +00:00
|
|
|
dwb.TagClose()
|
|
|
|
|
|
|
|
bi := fakeBinaryInfo(t, dwb)
|
|
|
|
|
|
|
|
mem := newFakeMemory(defaultCFA, uint64(0), uint64(testCases["b"]), uint16(testCases["pair.v"]))
|
2017-08-24 07:46:47 +00:00
|
|
|
regs := core.Registers{LinuxCoreRegisters: &core.LinuxCoreRegisters{}}
|
|
|
|
regs.Rax = uint64(testCases["a"])
|
|
|
|
regs.Rdx = uint64(testCases["c"])
|
2017-08-22 14:40:01 +00:00
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
dwarfExprCheck(t, mem, dwarfRegisters(®s), bi, testCases)
|
2017-08-22 14:40:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
func TestDwarfExprComposite(t *testing.T) {
|
|
|
|
testCases := map[string]uint16{
|
|
|
|
"pair.k": 0x8765,
|
|
|
|
"pair.v": 0x5678,
|
2018-01-27 15:50:18 +00:00
|
|
|
"n": 42,
|
2017-08-22 14:40:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
const stringVal = "this is a string"
|
|
|
|
|
|
|
|
dwb := dwarfbuilder.New()
|
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
uint16off := dwb.AddBaseType("uint16", dwarfbuilder.DW_ATE_unsigned, 2)
|
|
|
|
intoff := dwb.AddBaseType("int", dwarfbuilder.DW_ATE_signed, 8)
|
2017-08-22 14:40:01 +00:00
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
byteoff := dwb.AddBaseType("uint8", dwarfbuilder.DW_ATE_unsigned, 1)
|
2017-08-22 14:40:01 +00:00
|
|
|
|
|
|
|
byteptroff := dwb.TagOpen(dwarf.TagPointerType, "*uint8")
|
|
|
|
dwb.Attr(godwarf.AttrGoKind, uint8(22))
|
|
|
|
dwb.Attr(dwarf.AttrType, byteoff)
|
|
|
|
dwb.TagClose()
|
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
pairoff := dwb.AddStructType("main.pair", 4)
|
2017-08-22 14:40:01 +00:00
|
|
|
dwb.Attr(godwarf.AttrGoKind, uint8(25))
|
2017-08-24 07:46:47 +00:00
|
|
|
dwb.AddMember("k", uint16off, dwarfbuilder.LocationBlock(op.DW_OP_plus_uconst, uint(0)))
|
|
|
|
dwb.AddMember("v", uint16off, dwarfbuilder.LocationBlock(op.DW_OP_plus_uconst, uint(2)))
|
2017-08-22 14:40:01 +00:00
|
|
|
dwb.TagClose()
|
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
stringoff := dwb.AddStructType("string", 16)
|
2017-08-22 14:40:01 +00:00
|
|
|
dwb.Attr(godwarf.AttrGoKind, uint8(24))
|
2017-08-24 07:46:47 +00:00
|
|
|
dwb.AddMember("str", byteptroff, dwarfbuilder.LocationBlock(op.DW_OP_plus_uconst, uint(0)))
|
|
|
|
dwb.AddMember("len", intoff, dwarfbuilder.LocationBlock(op.DW_OP_plus_uconst, uint(8)))
|
2017-08-22 14:40:01 +00:00
|
|
|
dwb.TagClose()
|
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
dwb.AddSubprogram("main.main", 0x40100, 0x41000)
|
|
|
|
dwb.AddVariable("pair", pairoff, dwarfbuilder.LocationBlock(
|
2017-08-22 14:40:01 +00:00
|
|
|
op.DW_OP_reg2, op.DW_OP_piece, uint(2),
|
|
|
|
op.DW_OP_call_frame_cfa, op.DW_OP_consts, int(16), op.DW_OP_plus, op.DW_OP_piece, uint(2)))
|
2017-08-24 07:46:47 +00:00
|
|
|
dwb.AddVariable("s", stringoff, dwarfbuilder.LocationBlock(
|
2017-08-22 14:40:01 +00:00
|
|
|
op.DW_OP_reg1, op.DW_OP_piece, uint(8),
|
|
|
|
op.DW_OP_reg0, op.DW_OP_piece, uint(8)))
|
2018-01-27 15:50:18 +00:00
|
|
|
dwb.AddVariable("n", intoff, dwarfbuilder.LocationBlock(op.DW_OP_reg3))
|
2017-08-22 14:40:01 +00:00
|
|
|
dwb.TagClose()
|
|
|
|
|
|
|
|
bi := fakeBinaryInfo(t, dwb)
|
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
mem := newFakeMemory(defaultCFA, uint64(0), uint64(0), uint16(testCases["pair.v"]), []byte(stringVal))
|
|
|
|
var regs core.Registers
|
|
|
|
regs.LinuxCoreRegisters = &core.LinuxCoreRegisters{}
|
|
|
|
regs.Rax = uint64(len(stringVal))
|
|
|
|
regs.Rdx = defaultCFA + 18
|
|
|
|
regs.Rcx = uint64(testCases["pair.k"])
|
2018-01-27 15:50:18 +00:00
|
|
|
regs.Rbx = uint64(testCases["n"])
|
2017-08-22 14:40:01 +00:00
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
scope := dwarfExprCheck(t, mem, dwarfRegisters(®s), bi, testCases)
|
2017-08-22 14:40:01 +00:00
|
|
|
|
|
|
|
thevar, err := scope.EvalExpression("s", normalLoadConfig)
|
2017-10-13 20:13:43 +00:00
|
|
|
assertNoError(err, t, fmt.Sprintf("EvalExpression(%s)", "s"))
|
2017-08-22 14:40:01 +00:00
|
|
|
if thevar.Unreadable != nil {
|
|
|
|
t.Errorf("variable \"s\" unreadable: %v", thevar.Unreadable)
|
|
|
|
} else {
|
|
|
|
if v := constant.StringVal(thevar.Value); v != stringVal {
|
|
|
|
t.Errorf("expected value %q got %q", stringVal, v)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestDwarfExprLoclist(t *testing.T) {
|
|
|
|
const before = 0x1234
|
|
|
|
const after = 0x4321
|
|
|
|
|
|
|
|
dwb := dwarfbuilder.New()
|
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
uint16off := dwb.AddBaseType("uint16", dwarfbuilder.DW_ATE_unsigned, 2)
|
2017-08-22 14:40:01 +00:00
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
dwb.AddSubprogram("main.main", 0x40100, 0x41000)
|
|
|
|
dwb.AddVariable("a", uint16off, []dwarfbuilder.LocEntry{
|
2017-08-22 14:40:01 +00:00
|
|
|
{0x40100, 0x40700, dwarfbuilder.LocationBlock(op.DW_OP_call_frame_cfa)},
|
|
|
|
{0x40700, 0x41000, dwarfbuilder.LocationBlock(op.DW_OP_call_frame_cfa, op.DW_OP_consts, int(2), op.DW_OP_plus)},
|
|
|
|
})
|
|
|
|
dwb.TagClose()
|
|
|
|
|
|
|
|
bi := fakeBinaryInfo(t, dwb)
|
|
|
|
|
|
|
|
mem := newFakeMemory(defaultCFA, uint16(before), uint16(after))
|
2017-08-24 07:46:47 +00:00
|
|
|
regs := core.Registers{LinuxCoreRegisters: &core.LinuxCoreRegisters{}}
|
2017-08-22 14:40:01 +00:00
|
|
|
|
2017-08-24 07:46:47 +00:00
|
|
|
scope := &proc.EvalScope{PC: 0x40100, Regs: dwarfRegisters(®s), Mem: mem, Gvar: nil, BinInfo: bi}
|
2017-08-22 14:40:01 +00:00
|
|
|
|
|
|
|
uintExprCheck(t, scope, "a", before)
|
|
|
|
scope.PC = 0x40800
|
|
|
|
uintExprCheck(t, scope, "a", after)
|
|
|
|
}
|