21977173154
87%

Ran 13 Feb 2026 06:42AM UTC

Jobs 2

Files 77

Run time 1min

Badge

Embed ▾

Committed 13 Feb 2026 06:30AM UTC coverage: 86.783%. Remained the same

Build # 21977173154

Build Type

push

github

Committed by

web-flow

Commit Message

Add LLM context document for verification failure diagnosis (#996)

* Add LLM context document and regression tests for verification failures

Add docs/llm-context.md: a comprehensive guide for diagnosing Prevail
eBPF verification failures. Covers the abstract domain (DBM), type
system, all major failure patterns (null pointers, type mismatches,
bounds violations, stack safety, lost correlations, etc.), and
worked examples with annotated invariants.

Add test-data/llm-context-tests.md: 39 regression test cases covering
all BPF programs that fail verification. Each test specifies the
command, expected error pattern, and key invariants to check. Includes
an automated regression prompt for LLM-driven validation and a pattern
coverage table mapping tests to failure categories.

* Add dedicated §4.13 pattern for non-numeric stack content failures

'Stack content is not numeric' is a distinct failure mode. Add a
dedicated §4.13 pattern covering uninitialized stack buffers passed to
helpers.

---------

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

Run Details

9370 of 10797 relevant lines covered (86.78%)

3130470.83 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Release - 21977173154.1	13 Feb 2026 06:42AM UTC	76	85.9	GitHub Action Run
2	run-Debug - 21977173154.2	13 Feb 2026 07:21AM UTC	77	84.53	GitHub Action Run

vbpf / prevail / 21977173154
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 21977173154

vbpf / prevail / 21977173154 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 21977173154

vbpf / prevail / 21977173154
87%

README BADGES
x