Alan-Jowett / bpf_conformance

Measures the conformance of a BPF runtime to the ISA.
Other
27 stars 14 forks source link

Potential memory leak when test uses uninitialized register #294

Open RaoNikitha opened 3 months ago

RaoNikitha commented 3 months ago

Potential memory leak when test uses uninitialized register (%r1). Ideally, Linux verifier should have caught this, but instead it appears to be leaking memory.

-- asm
ldxw %r0, [%r1]
exit
-- mem
00 00 00 00
-- result
0x0

Test execution outcome across three different plugins:

bpf2c

PASS: Test succeeded

libbpf

FAIL: Plugin returned incorrect return value ffff8b09dc604100 expected 0

uBPF

PASS: Test succeeded