trevon/fold
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
fold/bench/corpora/security-bugs
History
Exact
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
..
clean fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
complex fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
dead fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
div_by_zero fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
int_overflow fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
loop fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
null_deref fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
oob fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
switch fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
template fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00