Tag: Binary Analysis
-
Debt Collector Series: §3 UMM — Universal Memory Mapper
Empirical binary analysis and systems evaluation: Debt Collector Series: §3 UMM — Universal Memory Mapper. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
Debt Collector Series: §2 VMF Scan — Static Analysis Engine
Empirical binary analysis and systems evaluation: Debt Collector Series: §2 VMF Scan — Static Analysis Engine. 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 → -
Debt Collector Series: The Debt Collector Stack
Empirical binary analysis and systems evaluation: Debt Collector Series: The Debt Collector Stack. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
GCC Strips assert() at -O2 — Even With NDEBUG=0
Empirical binary analysis and systems evaluation: GCC Strips assert() at -O2 — Even With NDEBUG=0. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
The Betrayal Linus Never Saw Coming — 22,578 Stripped Safety Nets in the C/C++ Ecosystem
Empirical binary analysis and systems evaluation: The Betrayal Linus Never Saw Coming — 22,578 Stripped Safety Nets in the C/C++ Ecosystem. Analyzing compiler optimization artifacts, memory bounds, and…
By Read Investigation → -
The DCHECK Illusion: Why Chrome’s ‘Trusted Path’ Policy Creates the Vulnerabilities It Claims to Prevent
Empirical binary analysis and systems evaluation: The DCHECK Illusion: Why Chromes Trusted Path Policy Creates the Vulnerabilities It Claims to Prevent. Analyzing compiler optimization artifacts, memory bounds, and…
By Read Investigation → -
Practical Guide: How to Measure Error Debt in Your Codebase
Empirical binary analysis and systems evaluation: Practical Guide: How to Measure Error Debt in Your Codebase. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation →