Block Me If You Can! - Context-Sensitive Parameterized Verification
No abstract available.
Related papers
- Data-driven context-sensitivity for points-to analysis OOPSLA 2017
- A Context-Sensitive Memory Model for Verification of C/C++ Programs SAS 2017
- Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis SAS 2019
- Monadic abstract interpreters PLDI 2013
- RoleCast: finding missing security checks when you do not know what checks are OOPSLA 2011
- Interprocedural Context-Unbounded Program Analysis Using Observation Sequences TOPLAS 2021
- It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It Onward! 2014
- Static Analysis for Asynchronous JavaScript Programs ECOOP 2019