trevon/fold
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
fold/docs/internal
History
Exact
trvon bcdcb3036b
 feat(analysis): harden quality and solver pipelines
2026-07-29 20:46:51 -04:00
..
perf-audit feat: harden security scanner routing 2026-05-27 10:36:57 -04:00
binary-analysis-research.md research: binary analysis tools — Ghidra P-code, angr, r2 levels 2026-05-29 20:24:00 -04:00
binary-backend-architecture-v2.md design: BinaryIR + BinaryDetector pipeline v2 2026-05-29 20:22:02 -04:00
binary-backend-test-gaps.md audit: binary backend test coverage — 35% coverage, 8 failure points 2026-05-29 20:22:37 -04:00
binary-fuzz-corpus.md feat: symbolic IR, swift backend, binary-to-fuzz pipeline, SARIF fixes 2026-05-27 15:29:14 -04:00
binary-scan-timeout-analysis.md audit: binary scan timeout root cause — repeated aaa per session 2026-05-30 00:26:15 -04:00
clang-analysis-api-research.md docs: clang API research, multi-language IR patterns, Rust-Clang parity gap analysis 2026-05-28 20:08:38 -04:00
cli-philosophy.md feat: harden security scanner routing 2026-05-27 10:36:57 -04:00
code-quality-detector-opportunities.md docs: code quality detector opportunities — API misuse, exception safety, concurrency, deprecated APIs 2026-05-29 10:03:25 -04:00
codeql-gap-matrix.md docs: CodeQL C/C++ gap matrix — ~200 queries vs fold 29 detectors 2026-05-29 10:04:26 -04:00
cpp-fuzz-coverage-research.md docs: Swift/C++ ABI, fuzzing, IR, MIR research for multi-language pipeline 2026-05-28 10:28:41 -04:00
ctf-binary-validation-corpus.md docs: CTF binary validation corpus — 7 challenges to test fold binary analysis 2026-05-29 13:19:39 -04:00
ctf-detector-gaps.md audit: CTF binary detector gap analysis — 5 gaps, projected 7%→70% 2026-05-29 22:54:17 -04:00
ctf-eval-loop2.md eval: CTF loop 2 — 3.7%→7.4% detection, 2x improvement 2026-05-29 21:30:38 -04:00
fold-expansion-roadmap.md docs: fold expansion roadmap — 4 sprints, security + performance + utility 2026-05-29 13:20:34 -04:00
fold-skill.md feat(analysis): harden quality and solver pipelines 2026-07-29 20:46:51 -04:00
ghidra-pcode-integration-research.md feat(binary): vendor Ghidra 12.1 decompiler + validate P-Code lifting (Phase 0-1) 2026-05-31 17:32:47 -04:00
infer-gap-matrix.md docs: Facebook Infer gap matrix — ~30 checkers vs fold 10 detectors 2026-05-29 10:06:12 -04:00
interprocedural-buffer-threading.md research+feat: interprocedural buffer-bound threading — pre-pass architecture 2026-05-29 23:49:56 -04:00
ir-cross-language-research.md docs: Swift/C++ ABI, fuzzing, IR, MIR research for multi-language pipeline 2026-05-28 10:28:41 -04:00
library-expansion-followups.md feat: harden security scanner routing 2026-05-27 10:36:57 -04:00
library-expansion-matrix.md feat: harden security scanner routing 2026-05-27 10:36:57 -04:00
loop-summarization-research.md docs: remaining loop-IR work + cross-frontend architecture finding 2026-05-31 13:44:48 -04:00
loop2-priorities.md audit: loop 2 priorities — top 5 by ROI across all backends 2026-05-29 21:25:10 -04:00
m31-phase3-concolic.md feat: harden security scanner routing 2026-05-27 10:36:57 -04:00
mir-verification-research.md docs: Swift/C++ ABI, fuzzing, IR, MIR research for multi-language pipeline 2026-05-28 10:28:41 -04:00
multi-language-ir-patterns.md docs: clang API research, multi-language IR patterns, Rust-Clang parity gap analysis 2026-05-28 20:08:38 -04:00
perf-audit.md feat: harden security scanner routing 2026-05-27 10:36:57 -04:00
performance-profile.md docs: fold runtime performance profile — Z3 is not the bottleneck 2026-05-29 14:05:03 -04:00
README.md feat: harden security scanner routing 2026-05-27 10:36:57 -04:00
rust-clang-scanning-parity.md docs: clang API research, multi-language IR patterns, Rust-Clang parity gap analysis 2026-05-28 20:08:38 -04:00
rust-frontend.md feat: harden security scanner routing 2026-05-27 10:36:57 -04:00
rustc-analysis-api-research.md docs: rustc internals research for HIR/MIR analysis in fold-rust 2026-05-28 20:09:14 -04:00
semgrep-gap-matrix.md docs: Semgrep C/C++ gap matrix — ~80 rules vs fold 11 detectors 2026-05-29 10:06:52 -04:00
swift-abi-research.md docs: Swift/C++ ABI, fuzzing, IR, MIR research for multi-language pipeline 2026-05-28 10:28:41 -04:00
swift-sil-z3-corpus.md feat: symbolic IR, swift backend, binary-to-fuzz pipeline, SARIF fixes 2026-05-27 15:29:14 -04:00
symex-fuzz-landscape.md feat: symex-fuzz landscape, SWAN SIL parser, Juliet expansion, FP scoring 2026-05-27 18:00:06 -04:00
z3-encoder-robustness-audit.md docs: Z3 symbolic encoder robustness audit (31 files, 7 fixes ranked by ROI) 2026-05-27 21:15:38 -04:00
z3-multisolver-portfolio.md docs: Z3 multi-solver portfolio research — Bitwuzla 5.1x faster on BV 2026-05-29 10:10:53 -04:00

README.md

Internal development notes

This directory holds verbose planning, audit, benchmark, and agent-oriented notes that are useful while developing fold but should not be part of the public-facing documentation surface.

Public docs should normally link here only when the extra implementation detail is useful to contributors. User-facing material belongs in docs/USAGE.md, docs/BUILDING.md, docs/positioning.md, or the top-level README/BUILD files.

Key internal references:

  • cli-philosophy.md — CLI design policy for maintainers.
  • library-expansion-matrix.md — Z3/Clang adoption decision log.
  • library-expansion-followups.md — follow-up queue and measurement artifacts.
  • perf-audit.md and perf-audit/ — performance audit notes and raw profiles.
  • m31-phase3-concolic.md — concolic execution research plan.
  • rust-frontend.md — Rust frontend implementation notes.
  • fold-skill.md — agent skill guidance, not product documentation.