Distinctness and Sharing Domains for Static Analysis of Java Programs
No abstract available.
Related papers
- Precise Set Sharing Analysis for Java-Style Programs VMCAI 2008
- Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java VMCAI 2014
- Conditional must not aliasing for static race detection POPL 2007
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room PLDI 2020
- Evaluating Design Tradeoffs in Numeric Static Analysis for Java ESOP 2018
- Types for safe locking: Static race detection for Java TOPLAS 2006
- An approach to safe object sharing OOPSLA 2000