Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis
No abstract available.
Related papers
- Null dereference verification via over-approximated weakest pre-conditions analysis OOPSLA 2011
- Adaptive Context-sensitive Analysis for JavaScript ECOOP 2015
- An Evaluation of Automatic Object Inline Allocation Techniques OOPSLA 1998
- Flow-Sensitive Type-Based Heap Cloning ECOOP 2020
- Deciding memory safety for single-pass heap-manipulating programs POPL 2020
- Abstract Interpretation of Temporal Safety Effects of Higher Order Programs OOPSLA 2025
- Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models CC 2008
- Thresher: precise refutations for heap reachability PLDI 2013