Alan-Jowett / sonde / 23415230972
82%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 72
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 83.25% (+0.6%) from 82.699%
23415230972

push

github

web-flow 
test(sonde-bpf): add tagged register safety invariant tests (T-BPF-001..030) (#401)

* test(sonde-bpf): add tagged register safety invariant tests (T-BPF-001..030)

Add 30 test cases covering all tagged-register safety invariants
defined in safe-bpf-interpreter.md §2-§8:

- Pointer dereference rules (T-BPF-001..005): scalar/MapDescriptor
  dereference rejection, address overflow, atomic ops on read-only
  context and scalar registers
- Pointer arithmetic rules (T-BPF-006..014): pointer+pointer,
  scalar-pointer, bitwise on pointers, MapDescriptor arithmetic,
  MUL/DIV/NEG/ALU32 tag clearing, same/different region subtraction
- Tag propagation (T-BPF-015..017): MOV inherits tag, helper call
  clobbers R1-R5, initial register state verification
- Spill tracking (T-BPF-018..021): spill/restore round-trip, restore
  after clobber, partial overwrite invalidation, table overflow
- Call frames (T-BPF-022..023): R6-R9 tag save/restore across
  BPF-to-BPF calls, R10 Stack tag invariant
- Helper return validation (T-BPF-024..027): MapValueOrNull NULL/valid/
  OOB paths, MapDescriptor argument validation
- LD_DW_IMM map relocation (T-BPF-028..030): negative index, OOB index,
  happy path MapDescriptor tagging

Closes #330

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* fix: address PR #401 review comments

- Replace \static mut\ with \AtomicU64\ in T-BPF-025 and T-BPF-026 to
  eliminate UB/data-race hazard under parallel test execution.
- Fix T-BPF-030 doc comment: \R0\ → \R1\ to match what the test validates.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* fix: make T-BPF-030 validate MapDescriptor tag and align section numbering

- Return non-zero in-bounds map pointer from helper so the interpreter
  actually validates the MapDescriptor tag on R1 (NULL path skips it).
- Rename section header from §9 to §4.2 to match the spec.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* fix: elimina... (continued)

17087 of 20525 relevant lines covered (83.25%)

49.64 hits per line

Jobs
ID Job ID Ran Files Coverage
1 23415230972.1 72
83.25
 GitHub Action Run
Source Files on build 23415230972