An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer
No abstract available.
DOI 10.1007/978-3-662-46081-8_19
Related papers
- Type unsoundness in practice: an empirical study of Dart DLS 2016
- PhASAR: An Inter-procedural Static Analysis Framework for C/C++ TACAS 2019
- A true positives theorem for a static race detector POPL 2019
- BEC: Bit-Level Static Analysis for Reliability against Soft Errors CGO 2024
- Comparing Transparent Static Analyzers with Open Verification Dashboard ECOOP 2026
- Robust Resource Bounds with Static Analysis and Bayesian Inference PLDI 2024
- Deep Static Modeling of invokedynamic ECOOP 2019
- Abstract interpretation under speculative execution PLDI 2019