iovisor / ubpf / 23828850844
80%

DEFAULT BRANCH: main
Ran
Jobs 6
Files 131
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: 79.794%. Remained the same
23828850844

push

github

web-flow 
Add specification baseline and workflow documentation (#777)

* Add specification baseline and workflow documentation

Bootstrap the uBPF project with formal specification documents extracted
from source code analysis:

Specification Documents (docs/specs/):
- requirements.md: 86 formal requirements across 12 categories
  (LIFE, LOAD, EXEC, JIT, ELF, ISA, SEC, EXT, CFG, PLAT, ERR, CONST)
  with REQ-IDs, RFC 2119 keywords, acceptance criteria, confidence tags,
  and source code citations.
- design.md: Architecture and detailed design specification covering
  component structure, data flows, security threat model, tradeoff
  analysis, and open questions.
- validation.md: Validation plan with requirements traceability matrix
  mapping all 86 REQ-IDs to test cases, coverage gap analysis, and
  risk-based test prioritization.
- audit-report.md: Adversarial consistency audit report with 19
  findings across 7 defect classifications (D1-D7), root cause
  analysis, and remediation plan.

Workflow Documentation (workflows/):
- bootstrap-specs.md: LLM workflow for extracting specs from code
- evolve-specs.md: LLM workflow for evolving specs with new features
- maintain-specs.md: LLM workflow for auditing spec/code/test drift
- README.md: Overview of the three workflow types

Key decisions:
- Requirements document is the canonical REQ-ID registry
- UBPF_MAX_INSTS boundary: 65535 max valid (num_insts is uint16_t)
- All cross-document REQ-ID references verified and aligned
- Coverage gaps documented for future work (UB detection tests,
  instruction limit tests, thread safety model)

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

* Address PR review comments

- Fix remaining REQ-ID misalignments in validation.md traceability
  tables (LIFE, LOAD, EXEC sections now match canonical requirements.md)
- Update audit-report.md: mark F-001/F-002 as resolved, update verdict
  from REVISE to PASS, add revision history entry
- Fix dispatcher signature... (continued)

6579 of 8245 relevant lines covered (79.79%)

536591.85 hits per line

Jobs
ID Job ID Ran Files Coverage
1 run-Debug-macos-latest-x86_64 - 23828850844.1 85
77.35
 GitHub Action Run
2 run-RelWithDebInfo-ubuntu-latest-x86_64 - 23828850844.2 69
76.46
 GitHub Action Run
3 run-RelWithDebInfo-macos-latest-x86_64 - 23828850844.3 85
77.23
 GitHub Action Run
4 run-Debug-ubuntu-24.04-arm-arm64 - 23828850844.4 70
59.87
 GitHub Action Run
5 run-RelWithDebInfo-ubuntu-24.04-arm-arm64 - 23828850844.5 70
59.88
 GitHub Action Run
6 run-Debug-ubuntu-latest-x86_64 - 23828850844.6 69
76.48
 GitHub Action Run
Source Files on build 23828850844