Tag: CVE Vulnerability Analysis
-
Debt Collector Series: §7 AttackGraph — Formal Exploit Chain Model
Empirical binary analysis and systems evaluation: Debt Collector Series: §7 AttackGraph — Formal Exploit Chain Model. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
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: §4 Wasm Fuzzer — Guided Mutation Engine
Empirical binary analysis and systems evaluation: Debt Collector Series: §4 Wasm Fuzzer — Guided Mutation Engine. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
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 →