trevon/fold
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
fold/bench/corpora
History
Exact
trvon 9161ed2b98
 eval: CTF binary scan — 3.7% binary detection vs 66.7% source 
- Binary scan: 1/27 findings (only gets() import detected)
- Source scan: 18/27 findings (66.7% TP rate)
- Fuzz harnesses: generated but cov:2 (Swift ABI issue)
- Binary backend needs significant improvement
2026-05-29 20:03:07 -04:00
..
ctf-challenges eval: CTF binary scan — 3.7% binary detection vs 66.7% source 2026-05-29 20:03:07 -04:00
interproc Add scan router and MCP job queue 2026-05-19 00:24:12 -04:00
poj-104 fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
rust-oss perf: Z3 LRU cache, batch observers, fold-rust body cache, ripgrep benchmark 2026-05-27 19:06:32 -04:00
security-bugs fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
synth-type4 fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
fold-fixtures fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00