4 commits

Author	SHA1	Message	Date
trvon	e30764fb19	bench: extend fold_eval scoring with labeled negative cases ... Add negative_cases_from_universe to expand an explicit file-by-rule universe into labeled negatives (enabling TP/FP/TN/FN, not just TP/FP), plus project-eval harness updates in run_project_eval and the score/score_fp/quality-gate helpers.	2026-08-16 16:43:51 -06:00
trvon	a56d5dac2b	Phase 1: Clang CFG traversal layer + test coverage	2026-05-15 19:17:01 -04:00
trvon	b73abea520	Optimize int-overflow: unsigned-skip, interval filter, range tracking ... CWE-190 benchmark: Queries: 9045 -> 4385 (-52%) Z3 time: 164s -> 0.2s (-820x) Wall time: 457.8s -> 400.5s (-12.5%) TP: 1208 -> 1271 (+63)	2026-05-15 13:49:16 -04:00
trvon	3f1234f7bb	fold: bounded symbolic SAST for C++ ... Clang LibTooling + Z3 BV-64 encoding. 11 detectors: clone, equiv, class-dup, dead, null-deref, div-by-zero, int-overflow, oob, int-truncation, sign-conversion, taint-track. Interfaces: CLI, MCP (JSON-RPC 2.0), LSP. Output: SARIF 2.1.0, JSON, Markdown.	2026-05-14 23:14:54 -04:00