Alan-Jowett / sonde / 23453848739
82%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 73
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: 84.336% (+0.004%) from 84.332%
23453848739

push

github

web-flow 
test(bpf): add helper trust boundary and map return validation tests (#404)

* test(bpf): add helper trust boundary and map return validation tests

Add 16 tests covering the 6 unit-testable safety gaps identified in
issue #334:

LD_DW_IMM src=1 map relocation (§4.2):
- Valid map index loads MapDescriptor tag
- Negative imm returns \InvalidMapIndex\
- Out-of-bounds index returns \InvalidMapIndex\
- Index 0 with empty map list returns \InvalidMapIndex\

MapValueOrNull return validation (§5.2):
- NULL return (0) yields scalar(0)
- Valid non-zero return yields tagged MapValue (verified via store)
- Out-of-bounds pointer returns \MemoryAccessViolation\
- Pointer just past valid end returns \MemoryAccessViolation\
- Pointer before data_start returns \MemoryAccessViolation\
- Exact boundary (data_end - value_size) succeeds
- NULL return skips map_arg register validation

Helper argument validation (§5.2):
- Scalar in map_arg position returns \InvalidHelperArgument\
- MapValue tag in map_arg position returns \InvalidHelperArgument\
- R1-R5 tags clobbered after helper call

MapDescriptor safety invariants:
- Dereferencing MapDescriptor returns \NonDereferenceableAccess\
- Arithmetic on MapDescriptor returns \InvalidPointerArithmetic\

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

* fix: address review feedback on helper trust boundary tests

- Use execute_program_no_maps for tests with empty maps slice
- Fix from_le_bytes to from_ne_bytes for portability
- Assert only NonDereferenceableAccess (not MemoryAccessViolation)
- Rewrite clobber test to directly verify tag clearing without MOV

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

* fix: address review feedback on helper trust boundary tests

- Use live allocation for \MapRegion.relocated_ptr\ in \make_map()\
  instead of a fake constant (0x4200_0000) — fixes UB per
  \xecute_program()\ safety contract.
- Strengthen \	est_map_value_or_null_returns_null_is_scal... (continued)

18403 of 21821 relevant lines covered (84.34%)

48.61 hits per line

Jobs
ID Job ID Ran Files Coverage
1 23453848739.1 73
84.34
 GitHub Action Run
Source Files on build 23453848739