Category: Quantitative Code Analysis
Mathematical and empirical measurements of code complexity, invariants, and performance.
-
Code as Geometry: How 21 Universal Shapes Project to 9 Programming Languages
The GeoCode universal intermediate representation: eliminating syntactic syntax tax with 21 universal shapes and a 3-layer Graph IR projecting cleanly into Python, Rust, and C++.
By Read Investigation → -
Formal Invariant Verification: Mathematical Proofs for Rust vs Modern C++ Memory Safety Bounds
Evaluating affine type systems against RAII smart pointers via mathematical state invariants, compiler proofs, and Hoare logic preconditions.
By Read Investigation → -
The Naked Compiler: Every C/C++ Safety Net You Trust Is Already Gone
A foundational quantitative investigation disassembling binaries compiled 28 different ways across Clang and GCC, demonstrating how optimizer passes silently strip assertions, sanitizers, and defensive boundaries in release builds.
By Read Investigation → -
The Naked Compiler — Experiment 4: 9,712 Stripped Safety Guards Across 3 Major Codebases
Cross-codebase automated binary audit quantifying 9,712 stripped safety guards across FRRouting, GCC 15.2, and the Linux kernel 6.8 with empirical reachability proofs.
By Read Investigation → -
The Naked Compiler — Experiment 3: Binary-Level Scanning on Enterprise Firmware
Firmware-level binary scanning across 27 enterprise firewall CVEs (Cisco, Palo Alto, Fortinet, Juniper), measuring measurable divergence between source security invariants and stripped production machine code.
By Read Investigation → -
The Naked Compiler — Experiment 2: FRRouting Case Study — Two ASAN-Confirmed PoCs
Vulnerability mapping and address sanitizer verification on FRRouting (1,359 files, ~100K lines of C), confirming two production heap-buffer-overflows resulting from stripped VTY parser assertions.
By Read Investigation → -
Debt Collector Series: Appendix C: Publications & Track Record
Empirical binary analysis and systems evaluation: Debt Collector Series: Appendix C: Publications Track Record. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
Debt Collector Series: Appendix B: Empirical CVE Validation
Empirical binary analysis and systems evaluation: Debt Collector Series: Appendix B: Empirical CVE Validation. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
Debt Collector Series: Appendix A: Glossary
Empirical binary analysis and systems evaluation: Debt Collector Series: Appendix A: Glossary. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
Debt Collector Series: §9 Compilers and Interpreters: The Silent Amplifiers of Information Debt
Empirical binary analysis and systems evaluation: Debt Collector Series: §9 Compilers and Interpreters: The Silent Amplifiers of Information Debt. Analyzing compiler optimization artifacts, memory bounds, and software security…
By Read Investigation →