A Context-Sensitive Memory Model for Verification of C/C++ Programs
No abstract available.
Related papers
- A practical flow-sensitive and context-sensitive C and C++ memory leak detector PLDI 2003
- Block Me If You Can! - Context-Sensitive Parameterized Verification SAS 2014
- Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis SAS 2019
- Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management OOPSLA 2013
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ESOP 2020
- Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution APLAS 2008
- Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models CC 2008
- Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis PLDI 2024