Modules§
- assessment
- control
- controls
- coverage
- LCOV-based coverage analysis for change request diffs.
- evidence
- integrity
- Release integrity verification predicates.
- linkage
- profile
- registry
- scope
- Scope classification and semantic connectivity logic for change request analysis.
- size
- slsa
- SLSA v1.2 track and level definitions.
- test_
coverage - Test coverage heuristics for change request diffs.
- union_
find - Union-Find (Disjoint Set Union) data structure for call graph connectivity.
- verdict