7 commits

Author	SHA1	Message	Date
trvon	fd4a68dfff	test: add coverage for project graph, pcode encoder, and detector behaviors ... Unit + integration coverage for the session's work: incremental project graph/index, pcode encoder, unreachable/dead-branch, equiv/cross-TU, div-by-zero/sign-conversion/int-truncation, use-after-free, quality-precision, scan-router profile, source TU runner, detector plan, and the eval fixtures.	2026-08-16 16:46:07 -06:00
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	bcdcb3036b	feat(analysis): harden quality and solver pipelines	2026-07-29 20:46:51 -04:00
trvon	a96163675d	fix(detect): suppress dead-code false positives	2026-07-23 21:25:14 -04:00
trvon	1914d8284e	feat: many improvements and bug fixes	2026-06-12 13:25:11 -04:00
trvon	f218af3d8b	Add githooks, clang-format all code, fix CI Z3 paths	2026-05-15 00:08:47 -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