Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing
No abstract available.
Related papers
- Feature-Guided Black-Box Safety Testing of Deep Neural Networks TACAS 2018
- Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs ECOOP 2026
- Hardening attack surfaces with formally proven binary format parsers PLDI 2022
- All-window profiling and composable models of cache sharing PPoPP 2011
- Safety Verification of Deep Neural Networks CAV 2017
- Smallcheck and lazy smallcheck: automatic exhaustive testing for small values Haskell 2008
- Compositional may-must program analysis: unleashing the power of alternation POPL 2010
- Revisiting MITL to Fix Decision Procedures VMCAI 2018