trevon/fold
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
fold/tests/fixtures
History
Exact
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
..
binary test: add coverage for project graph, pcode encoder, and detector behaviors 2026-08-16 16:46:07 -06:00
classes fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
clones feat: harden Fold quality guard 2026-07-13 15:05:35 -04:00
dast feat: harden Fold quality guard 2026-07-13 15:05:35 -04:00
dead fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
differential feat: harden Fold quality guard 2026-07-13 15:05:35 -04:00
equiv fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
metamorphic feat: harden Fold quality guard 2026-07-13 15:05:35 -04:00
organic feat: harden Fold quality guard 2026-07-13 15:05:35 -04:00
quality feat(analysis): harden quality and solver pipelines 2026-07-29 20:46:51 -04:00
reachability feat(analysis): harden project-wide scans 2026-07-30 18:18:04 -04:00
rust feat(eval): add manifest project runner 2026-07-27 23:18:03 -04:00
security fix(scan): harden frontend analysis 2026-07-28 11:57:38 -04:00
swift feat: ObjC msgSend harness generator + Swift test fixture 2026-05-28 09:14:15 -04:00
.clang-tidy fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00
compile_commands.json.in fold: bounded symbolic SAST for C++ 2026-05-14 23:14:54 -04:00