A Set-Based Context Model for Program Analysis
No abstract available.
Related papers
- Context-Bounded Analysis for POWER TACAS 2017
- Context-Sensitive Demand-Driven Control-Flow Analysis ESOP 2025
- Regularly annotated set constraints PLDI 2007
- Perflint: A Context Sensitive Performance Advisor for C++ Programs CGO 2009
- Parallel and distributed bounded model checking of multi-threaded programs PPoPP 2020
- Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis ECOOP 2026
- Shape Analysis for Mobile Ambients POPL 2000
- Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models CC 2008