trvon
|
e9e23227cb
|
docs: fold expansion roadmap — 4 sprints, security + performance + utility
- Sprint 1: 4 syntactic detectors (deprecated API, weak crypto, format string, creds)
- Sprint 2: 3 Z3-powered (use-after-move, iterator invalidation, SQL injection)
- Sprint 3: Bitwuzla multi-solver, TU pre-filter, clone cache
- Sprint 4: watch mode, pre-commit hooks, GitHub Code Scanning SARIF
|
2026-05-29 13:20:34 -04:00 |
|
