iovisor / ubpf / 23828850844 / 6
80%
main: 80%

DEFAULT BRANCH: main
Ran
Files 69
Run time 2s
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: 76.481%. Remained the same
23828850844.6

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)

4442 of 5808 relevant lines covered (76.48%)

45660.54 hits per line

Source Files on job run-Debug-ubuntu-latest-x86_64 - 23828850844.6