Category: Mathematical Experiments
Rigorous computational experiments, hypothesis validation, and empirical measurements.
-
The Naked Compiler — Experiment 5: Quantitative Measurement of Branch Mispredictions in Binary Analysis
Empirical evaluation of branch predictor saturation under path explosion during symbolic execution, measuring cycle latencies and state divergence across x86_64, AArch64, and RV64GC.
By Read Investigation → -
The Naked Compiler — Experiment 1: When `assert()` Lies to You
Empirical disassembly analysis compiling the same C benchmark under -O0 through -O3, proving that assert() diagnostics evaporate in optimized builds while explicit boundary checks survive.
By Read Investigation → -
Debt Collector Series: Appendix E: The iPhone Under the Error Principle
Empirical binary analysis and systems evaluation: Debt Collector Series: Appendix E: The iPhone Under the Error Principle. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
Debt Collector Series: Appendix D: Turing Award Feasibility Analysis
Empirical binary analysis and systems evaluation: Debt Collector Series: Appendix D: Turing Award Feasibility Analysis. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
Debt Collector Series: Mathematical Proofs: The Error Principle
Empirical binary analysis and systems evaluation: Debt Collector Series: Mathematical Proofs: The Error Principle. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
Debt Collector Series: §0 Birth of Vulnerabilities — Not Bugs — From First Principles
Empirical binary analysis and systems evaluation: Debt Collector Series: §0 Birth of Vulnerabilities — Not Bugs — From First Principles. Analyzing compiler optimization artifacts, memory bounds, and software…
By Read Investigation → -
Debt Collector Series: §1 Manifesto: The Error Principle
Empirical binary analysis and systems evaluation: Debt Collector Series: §1 Manifesto: The Error Principle. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
The Grand Unification: 5 Dimensions of Every Vulnerability
Empirical binary analysis and systems evaluation: The Grand Unification: 5 Dimensions of Every Vulnerability. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
The Error Principle: Why Some Bugs Get Exploited and Others Don’t
Empirical binary analysis and systems evaluation: The Error Principle: Why Some Bugs Get Exploited and Others Dont. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
The Error Principle: Why Unhandled Errors Become Security Vulnerabilities
Empirical evaluation and quantitative invariants: The Error Principle: Why Unhandled Errors Become Security Vulnerabilities. Analyzing compiler optimization mechanics, formal verification bounds, and system security.
By Read Investigation →