Tag: Static Analysis & AST Invariants
-
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: §10 The Solution: Debt-Managed Engineering
Empirical binary analysis and systems evaluation: Debt Collector Series: §10 The Solution: Debt-Managed Engineering. 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 → -
Debt Collector Series: §8 Reporting — Visualization & Output
Empirical binary analysis and systems evaluation: Debt Collector Series: §8 Reporting — Visualization Output. Analyzing compiler optimization artifacts, memory bounds, and software security invariants.
By Read Investigation → -
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 →