trvon
|
ec8492431c
|
docs: Semgrep C/C++ gap matrix — ~80 rules vs fold 11 detectors
- Banned functions: 15 rules, 0 fold detectors — largest gap
- Crypto misuse: 8 rules completely uncovered
- Phase 1: 9 syntactic detectors covering 30+ Semgrep rules
- What fold does better: Z3 proofs, CFG analysis, type-aware checking
|
2026-05-29 10:06:52 -04:00 |
|
