trvon
|
86b2f14a43
|
feat(analysis): harden project-wide scans
- persist TU-owned graphs and guarded configuration evidence
- add closed-world production reachability classification
- calibrate detector precision and reviewed self-scan policy
- terminate poisoned workers instead of longjmp recovery
|
2026-07-30 18:18:04 -04:00 |
|
trvon
|
50230c809b
|
checkpoint
|
2026-06-04 20:20:29 -04:00 |
|
trvon
|
6096972823
|
Phase 4a: Increase loop unroll k=3 -> k=5
|
2026-05-15 21:59:20 -04:00 |
|
trvon
|
0452353d2e
|
Implement walkSwitch: analyze case bodies in switch statements
Results: +86 TP across all CWEs (476:+3, 369:+18, 190:+51, 121:+14)
|
2026-05-15 18:32:45 -04:00 |
|
trvon
|
879f60f52d
|
Add alloca/_alloca as known allocation function
|
2026-05-15 17:34:37 -04:00 |
|
