Category: Quantitative Code Analysis
Mathematical and empirical measurements of code complexity, invariants, and performance.
-
Debt Collector Series: §6 Knowledge Units — The Pattern Registry
Empirical binary analysis and systems evaluation: Debt Collector Series: §6 Knowledge Units — The Pattern Registry. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
Debt Collector Series: §5 Pipeline — ASAN→KU→AttackGraph Fusion
Empirical binary analysis and systems evaluation: Debt Collector Series: §5 Pipeline — ASAN→KU→AttackGraph Fusion. 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 → -
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 → -
Android AOSP Case Study: 53 Information Debt Points in System Services
Empirical binary analysis and systems evaluation: Android AOSP Case Study: 53 Information Debt Points in System Services. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
Why I Built a Vulnerability Scanner That Sees in 5 Dimensions
Empirical binary analysis and systems evaluation: Why I Built a Vulnerability Scanner That Sees in 5 Dimensions. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
Your Cisco Router Is Probably Leaking Data: 10 Config Checks Most Indian Network Teams Forget
Empirical binary analysis and systems evaluation: Your Cisco Router Is Probably Leaking Data: 10 Config Checks Most Indian Network Teams Forget. Analyzing compiler optimization artifacts, memory bounds, and…
By Read Investigation → -
What SAST Tools Miss: A Field Guide to Vulnerabilities That Only Human Review Finds
Empirical binary analysis and systems evaluation: What SAST Tools Miss: A Field Guide to Vulnerabilities That Only Human Review Finds. Analyzing compiler optimization artifacts, memory bounds, and software…
By Read Investigation →