Alan-Jowett / sonde / 24533261064
82%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 113
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: 80.872%. Remained the same
24533261064

push

github

web-flow 
fix(docs): resolve 6 BPF interpreter spec documentation gaps (#753)

* fix(docs): resolve 6 BPF interpreter spec documentation gaps (#747)

Address maintenance audit findings from issue #747:

- F-014 (High): Update T-BPF-004 and T-BPF-033 to assert silent ignore
  instead of Err(BpfError::ReadOnlyWrite), matching ND-0505 AC6 and
  the actual implementation behavior.

- F-050 (Low): Document panic-on-overflow semantics in spec 4.1 -
  the interpreter intentionally panics via .expect() when region
  end computation overflows u64::MAX.

- F-051 (Low): Clarify in spec 4.3 that all ALU32 operations
  unconditionally clear the pointer tag, including MOV32.

- F-052 (Low): Clarify in spec 4.6 that R1-R5 values and tags
  are retained across BPF-to-BPF calls.

- F-055 (Low): Add bounds-check pseudocode to spec 4.2 showing
  upper-bounds validation against maps.len() for LD_DW_IMM src=1.

- F-056 (Low): Add empty-context clarification to spec 4.1 - when
  ctx.is_empty(), R1 is tagged None and non-dereferenceable.

No code changes - implementation already matches the corrected specs.

Closes #747

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* fix(docs): correct InvalidMapIndex pseudocode type to i32

The actual BpfError::InvalidMapIndex uses index: i32, not i64.
Update the bounds-check pseudocode in spec 4.2 to match.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* fix(docs): use non-zero values in T-BPF-004 and T-BPF-033 procedures

Seed context with non-zero patterns and load distinct non-zero values
into R0 before write attempts, so the "context unchanged" assertion
can distinguish suppressed writes from zero-over-zero no-ops.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* fix(docs): correct T-BPF-004 expected return va... (continued)

24302 of 30050 relevant lines covered (80.87%)

204.87 hits per line

Jobs
ID Job ID Ran Files Coverage
1 24533261064.1 113
80.87
 GitHub Action Run
Source Files on build 24533261064