1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
|
import lldb
import os
import binascii
from lldbsuite.test.lldbtest import *
from lldbsuite.test.decorators import *
from lldbsuite.test.gdbclientutils import *
from lldbsuite.test.lldbgdbclient import GDBRemoteTestBase
MODULE_ID = 4
LOAD_ADDRESS = MODULE_ID << 32
WASM_LOCAL_ADDR = 0x103E0
def format_register_value(val):
"""
Encode each byte by two hex digits in little-endian order.
"""
result = ""
mask = 0xFF
shift = 0
for i in range(0, 8):
x = (val & mask) >> shift
result += format(x, "02x")
mask <<= 8
shift += 8
return result
class WasmStackFrame:
def __init__(self, address):
self._address = address
def __str__(self):
return format_register_value(LOAD_ADDRESS | self._address)
class WasmCallStack:
def __init__(self, wasm_stack_frames):
self._wasm_stack_frames = wasm_stack_frames
def __str__(self):
result = ""
for frame in self._wasm_stack_frames:
result += str(frame)
return result
class FakeMemory:
def __init__(self, start_addr, end_addr):
self._base_addr = start_addr
self._memory = bytearray(end_addr - start_addr)
self._memoryview = memoryview(self._memory)
def store_bytes(self, addr, bytes_obj):
assert addr > self._base_addr
assert addr < self._base_addr + len(self._memoryview)
offset = addr - self._base_addr
chunk = self._memoryview[offset : offset + len(bytes_obj)]
for i in range(len(bytes_obj)):
chunk[i] = bytes_obj[i]
def get_bytes(self, addr, length):
assert addr > self._base_addr
assert addr < self._base_addr + len(self._memoryview)
offset = addr - self._base_addr
return self._memoryview[offset : offset + length]
def contains(self, addr):
return addr - self._base_addr < len(self._memoryview)
class MyResponder(MockGDBServerResponder):
current_pc = LOAD_ADDRESS | 0x01AD
def __init__(self, obj_path, module_name="", wasm_call_stacks=[], memory=None):
self._obj_path = obj_path
self._module_name = module_name or obj_path
self._wasm_call_stacks = wasm_call_stacks
self._call_stack_request_count = 0
self._memory = memory
MockGDBServerResponder.__init__(self)
def respond(self, packet):
if packet[0:13] == "qRegisterInfo":
return self.qRegisterInfo(packet[13:])
if packet.startswith("qWasmCallStack"):
return self.qWasmCallStack()
if packet.startswith("qWasmLocal"):
return self.qWasmLocal(packet)
return MockGDBServerResponder.respond(self, packet)
def qSupported(self, client_supported):
return "qXfer:libraries:read+;PacketSize=1000;vContSupported-"
def qHostInfo(self):
return ""
def QEnableErrorStrings(self):
return ""
def qfThreadInfo(self):
return "m1,"
def qRegisterInfo(self, index):
if index == 0:
return "name:pc;alt-name:pc;bitsize:64;offset:0;encoding:uint;format:hex;set:General Purpose Registers;gcc:16;dwarf:16;generic:pc;"
return "E45"
def qProcessInfo(self):
return "pid:1;ppid:1;uid:1;gid:1;euid:1;egid:1;name:%s;triple:%s;ptrsize:4" % (
hex_encode_bytes("lldb"),
hex_encode_bytes("wasm32-unknown-unknown-wasm"),
)
def haltReason(self):
return "T02thread:1;"
def readRegister(self, register):
return format_register_value(self.current_pc)
def qXferRead(self, obj, annex, offset, length):
if obj == "libraries":
xml = (
'<library-list><library name="%s"><section address="%d"/></library></library-list>'
% (self._module_name, LOAD_ADDRESS)
)
return xml, False
else:
return None, False
def readMemory(self, addr, length):
if self._memory and self._memory.contains(addr):
chunk = self._memory.get_bytes(addr, length)
return chunk.hex()
if addr < LOAD_ADDRESS:
return "E02"
result = ""
with open(self._obj_path, mode="rb") as file:
file_content = bytearray(file.read())
if addr >= LOAD_ADDRESS + len(file_content):
return "E03"
addr_from = addr - LOAD_ADDRESS
addr_to = addr_from + min(length, len(file_content) - addr_from)
for i in range(addr_from, addr_to):
result += format(file_content[i], "02x")
file.close()
return result
def setBreakpoint(self, packet):
bp_data = packet[1:].split(",")
self._bp_address = bp_data[1]
return "OK"
def qfThreadInfo(self):
return "m1"
def cont(self):
# Continue execution. Simulates running the Wasm engine until a breakpoint is hit.
return (
"T05thread-pcs:"
+ format(int(self._bp_address, 16) & 0x3FFFFFFFFFFFFFFF, "x")
+ ";thread:1"
)
def qWasmCallStack(self):
if len(self._wasm_call_stacks) == 0:
return ""
result = str(self._wasm_call_stacks[self._call_stack_request_count])
self._call_stack_request_count += 1
return result
def qWasmLocal(self, packet):
# Format: qWasmLocal:frame_index;index
data = packet.split(":")
data = data[1].split(";")
frame_index, local_index = data
if frame_index == "0" and local_index == "2":
return format_register_value(WASM_LOCAL_ADDR)
return "E03"
class TestWasm(GDBRemoteTestBase):
@skipIfAsan
@skipIfXmlSupportMissing
def test_load_module_with_embedded_symbols_from_remote(self):
"""Test connecting to a WebAssembly engine via GDB-remote and loading a Wasm module with embedded DWARF symbols"""
yaml_path = "test_wasm_embedded_debug_sections.yaml"
yaml_base, ext = os.path.splitext(yaml_path)
obj_path = self.getBuildArtifact(yaml_base)
self.yaml2obj(yaml_path, obj_path)
self.server.responder = MyResponder(obj_path, "test_wasm")
target = self.dbg.CreateTarget("")
process = self.connect(target, "wasm")
lldbutil.expect_state_changes(
self, self.dbg.GetListener(), process, [lldb.eStateStopped]
)
num_modules = target.GetNumModules()
self.assertEqual(1, num_modules)
module = target.GetModuleAtIndex(0)
num_sections = module.GetNumSections()
self.assertEqual(5, num_sections)
code_section = module.GetSectionAtIndex(0)
self.assertEqual("code", code_section.GetName())
self.assertEqual(
LOAD_ADDRESS | code_section.GetFileOffset(),
code_section.GetLoadAddress(target),
)
debug_info_section = module.GetSectionAtIndex(1)
self.assertEqual(".debug_info", debug_info_section.GetName())
self.assertEqual(
LOAD_ADDRESS | debug_info_section.GetFileOffset(),
debug_info_section.GetLoadAddress(target),
)
debug_abbrev_section = module.GetSectionAtIndex(2)
self.assertEqual(".debug_abbrev", debug_abbrev_section.GetName())
self.assertEqual(
LOAD_ADDRESS | debug_abbrev_section.GetFileOffset(),
debug_abbrev_section.GetLoadAddress(target),
)
debug_line_section = module.GetSectionAtIndex(3)
self.assertEqual(".debug_line", debug_line_section.GetName())
self.assertEqual(
LOAD_ADDRESS | debug_line_section.GetFileOffset(),
debug_line_section.GetLoadAddress(target),
)
debug_str_section = module.GetSectionAtIndex(4)
self.assertEqual(".debug_str", debug_str_section.GetName())
self.assertEqual(
LOAD_ADDRESS | debug_line_section.GetFileOffset(),
debug_line_section.GetLoadAddress(target),
)
@skipIfAsan
@skipIfXmlSupportMissing
def test_load_module_with_stripped_symbols_from_remote(self):
"""Test connecting to a WebAssembly engine via GDB-remote and loading a Wasm module with symbols stripped into a separate Wasm file"""
sym_yaml_path = "test_sym.yaml"
sym_yaml_base, ext = os.path.splitext(sym_yaml_path)
sym_obj_path = self.getBuildArtifact(sym_yaml_base) + ".wasm"
self.yaml2obj(sym_yaml_path, sym_obj_path)
yaml_path = "test_wasm_external_debug_sections.yaml"
yaml_base, ext = os.path.splitext(yaml_path)
obj_path = self.getBuildArtifact(yaml_base) + ".wasm"
self.yaml2obj(yaml_path, obj_path)
self.server.responder = MyResponder(obj_path, "test_wasm")
folder, _ = os.path.split(obj_path)
self.runCmd(
"settings set target.debug-file-search-paths " + os.path.abspath(folder)
)
target = self.dbg.CreateTarget("")
process = self.connect(target, "wasm")
lldbutil.expect_state_changes(
self, self.dbg.GetListener(), process, [lldb.eStateStopped]
)
num_modules = target.GetNumModules()
self.assertEqual(1, num_modules)
module = target.GetModuleAtIndex(0)
num_sections = module.GetNumSections()
self.assertEqual(5, num_sections)
code_section = module.GetSectionAtIndex(0)
self.assertEqual("code", code_section.GetName())
self.assertEqual(
LOAD_ADDRESS | code_section.GetFileOffset(),
code_section.GetLoadAddress(target),
)
debug_info_section = module.GetSectionAtIndex(1)
self.assertEqual(".debug_info", debug_info_section.GetName())
self.assertEqual(
lldb.LLDB_INVALID_ADDRESS, debug_info_section.GetLoadAddress(target)
)
debug_abbrev_section = module.GetSectionAtIndex(2)
self.assertEqual(".debug_abbrev", debug_abbrev_section.GetName())
self.assertEqual(
lldb.LLDB_INVALID_ADDRESS, debug_abbrev_section.GetLoadAddress(target)
)
debug_line_section = module.GetSectionAtIndex(3)
self.assertEqual(".debug_line", debug_line_section.GetName())
self.assertEqual(
lldb.LLDB_INVALID_ADDRESS, debug_line_section.GetLoadAddress(target)
)
debug_str_section = module.GetSectionAtIndex(4)
self.assertEqual(".debug_str", debug_str_section.GetName())
self.assertEqual(
lldb.LLDB_INVALID_ADDRESS, debug_line_section.GetLoadAddress(target)
)
@skipIfAsan
@skipIfXmlSupportMissing
def test_simple_wasm_debugging_session(self):
"""Test connecting to a WebAssembly engine via GDB-remote, loading a
Wasm module with embedded DWARF symbols, setting a breakpoint and
checking the debuggee state"""
# simple.yaml was created by compiling simple.c to wasm and using
# obj2yaml on the output.
#
# $ clang -target wasm32 -nostdlib -Wl,--no-entry -Wl,--export-all -O0 -g -o simple.wasm simple.c
# $ obj2yaml simple.wasm -o simple.yaml
yaml_path = "simple.yaml"
yaml_base, _ = os.path.splitext(yaml_path)
obj_path = self.getBuildArtifact(yaml_base)
self.yaml2obj(yaml_path, obj_path)
# Create a fake call stack.
call_stacks = [
WasmCallStack(
[WasmStackFrame(0x019C), WasmStackFrame(0x01E5), WasmStackFrame(0x01FE)]
),
]
# Create fake memory for our wasm locals.
self.memory = FakeMemory(0x10000, 0x20000)
self.memory.store_bytes(
WASM_LOCAL_ADDR,
bytes.fromhex(
"0000000000000000020000000100000000000000020000000100000000000000"
),
)
self.server.responder = MyResponder(
obj_path, "test_wasm", call_stacks, self.memory
)
target = self.dbg.CreateTarget("")
breakpoint = target.BreakpointCreateByName("add")
process = self.connect(target, "wasm")
lldbutil.expect_state_changes(
self, self.dbg.GetListener(), process, [lldb.eStateStopped]
)
location = breakpoint.GetLocationAtIndex(0)
self.assertTrue(location and location.IsEnabled(), VALID_BREAKPOINT_LOCATION)
num_modules = target.GetNumModules()
self.assertEqual(1, num_modules)
thread = process.GetThreadAtIndex(0)
self.assertTrue(thread.IsValid())
# Check that our frames match our fake call stack.
frame0 = thread.GetFrameAtIndex(0)
self.assertTrue(frame0.IsValid())
self.assertEqual(frame0.GetPC(), LOAD_ADDRESS | 0x019C)
self.assertIn("add", frame0.GetFunctionName())
frame1 = thread.GetFrameAtIndex(1)
self.assertTrue(frame1.IsValid())
self.assertEqual(frame1.GetPC(), LOAD_ADDRESS | 0x01E5)
self.assertIn("main", frame1.GetFunctionName())
# Check that we can resolve local variables.
a = frame0.FindVariable("a")
self.assertTrue(a.IsValid())
self.assertEqual(a.GetValueAsUnsigned(), 1)
b = frame0.FindVariable("b")
self.assertTrue(b.IsValid())
self.assertEqual(b.GetValueAsUnsigned(), 2)
|