Thread-Modular Shape Analysis
Abstract elided by the publisher.
Related papers
- Thread-modular shape analysis PLDI 2007
- Modular Shape Analysis for Dynamically Encapsulated Programs ESOP 2007
- Thread Quantification for Concurrent Shape Analysis CAV 2008
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation VMCAI 2014
- Shape Analysis via Second-Order Bi-Abduction CAV 2014
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) TACAS 2021
- cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution) TACAS 2021