You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Risk: Missing function coverage in microVM and enclave code could hide bugs.
📅 Recent Source Changes (last 7 days)
Based on repository content analysis:
619 total source files (.ts, no test count available)
316 test files exist (significant test infrastructure)
Core security modules are stable and well-covered
New additions in microVM and enclave code have lower coverage (indicates recent development)
🔎 Notable Findings
Protocol Validation Gap:finite-disclosure.ts (38.12% statements, 25.89% branches) is a critical security module for enclave response schema validation. Branch coverage is particularly low (only ~26%), suggesting edge cases in schema parsing and cardinality computation are untested.
MicroVM Subnet Allocation:network-reservation.ts (50.22% statements) manages critical network namespace allocation. The 50% statement coverage combined with 40% function coverage indicates half of the reservation and cleanup logic is untested.
Domain Filtering Excellence: The core domain ACL system (domain-patterns.ts, domain-validation.ts, domain-utils.ts, domain-matchers.ts) achieves 95%+ coverage. This high-risk path is well-protected.
Enclave Preflight Weak:runtime-preflight.ts (66.66% statements, 41.02% branches) has only 41% branch coverage despite being responsible for checking runtime availability (Docker, gVisor, sbx). Edge cases in runtime fallback logic are not tested.
🎯 Recommendations
High Priority
[CRITICAL] Expand finite-disclosure.ts coverage
Current: 38.12% stmts, 25.89% branches
Target: ≥75% statements, ≥60% branches
Action: Add tests for schema parsing edge cases, cardinality boundary conditions, and error envelope handling. Focus on branch coverage to catch parsing state machine transitions.
Rationale: This is the gatekeeper for enclave query results; protocol violations could leak information.
Action: Add tests for subnet allocation failures, process identity verification, lock contention, and cleanup of stale reservations. Simulate network namespace isolation errors.
Rationale: Network isolation is a core security guarantee; reservation bugs could cause cross-process network leaks.
[MEDIUM] Strengthen enclave/runtime-preflight.ts
Current: 66.66% stmts, 41.02% branches
Target: ≥85% statements, ≥70% branches
Action: Test fallback chains (e.g., Docker unavailable → try gVisor → try sbx), missing runtimes, and availability query failures. Ensure all branches in assertPrimaryRuntimeAvailable() are exercised.
Rationale: Preflight logic guards against incorrect runtime selection; uncovered branches may mask configuration errors.
Coverage Summary: Overall coverage exceeds 85% across all metrics, demonstrating mature testing discipline. Security-critical domain filtering is excellent (100%). However, new microVM and enclave code (introduced for unified enclaves feature) has significant gaps that should be addressed before production rollout.
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
Uh oh!
There was an error while loading. Please reload this page.
📊 Overall Coverage
The gh-aw-firewall project maintains strong overall test coverage:
All critical metrics exceed 85%, indicating solid testing infrastructure.
🛡️ Security-Critical Path Status
High Coverage (90%+)
Impact: Core domain whitelisting logic is fully covered; secure filtering is verifiable.
Medium Coverage (70–89%)
Impact: Sandbox setup and permission management are mostly verified; minor edge cases uncovered.
Critical Gaps (<50%)
Impact: Protocol validation and microVM network setup have significant untested paths; potential security blind spots.
📋 Coverage Table
🔧 Function Audit
Fully Covered Functions (100%)
Partially Covered Functions (<90%)
Risk: Missing function coverage in microVM and enclave code could hide bugs.
📅 Recent Source Changes (last 7 days)
Based on repository content analysis:
🔎 Notable Findings
Protocol Validation Gap:
finite-disclosure.ts(38.12% statements, 25.89% branches) is a critical security module for enclave response schema validation. Branch coverage is particularly low (only ~26%), suggesting edge cases in schema parsing and cardinality computation are untested.MicroVM Subnet Allocation:
network-reservation.ts(50.22% statements) manages critical network namespace allocation. The 50% statement coverage combined with 40% function coverage indicates half of the reservation and cleanup logic is untested.Domain Filtering Excellence: The core domain ACL system (
domain-patterns.ts,domain-validation.ts,domain-utils.ts,domain-matchers.ts) achieves 95%+ coverage. This high-risk path is well-protected.Enclave Preflight Weak:
runtime-preflight.ts(66.66% statements, 41.02% branches) has only 41% branch coverage despite being responsible for checking runtime availability (Docker, gVisor, sbx). Edge cases in runtime fallback logic are not tested.🎯 Recommendations
High Priority
[CRITICAL] Expand finite-disclosure.ts coverage
[HIGH] Improve microvm/network-reservation.ts coverage
[MEDIUM] Strengthen enclave/runtime-preflight.ts
assertPrimaryRuntimeAvailable()are exercised.Coverage Summary: Overall coverage exceeds 85% across all metrics, demonstrating mature testing discipline. Security-critical domain filtering is excellent (100%). However, new microVM and enclave code (introduced for unified enclaves feature) has significant gaps that should be addressed before production rollout.
All reactions