trevon/fold
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
372 commits 2 branches 0 tags 7.4 MiB
Commit graph

4 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
bcdcb3036b
 		feat(analysis): harden quality and solver pipelines 2026-07-29 20:46:51 -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