Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm
No abstract available.
Related papers
- Static Detection of Dynamic Memory Errors PLDI 1996
- Efficient Detection of All Pointer and Array Access Errors PLDI 1994
- EffectiveSan: type and memory error detection using dynamically typed C/C++ PLDI 2018
- SAFECode: enforcing alias analysis for weakly typed languages PLDI 2006
- Region-based shape analysis with tracked locations POPL 2005
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007
- Detecting bugs in register allocation TOPLAS 2010
- Static error detection using semantic inconsistency inference PLDI 2007