The Impact of Program Transformations on Static Program Analysis
Abstract elided by the publisher.
Related papers
- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations SAS 2003
- Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies APLAS 2019
- Syntactic accidents in program analysis: on the impact of the CPS transformation ICFP 2000
- Syntactic accidents in program analysis: on the impact of the CPS transformation JFP 2003
- Hybrid DOM-Sensitive Change Impact Analysis for JavaScript ECOOP 2015
- The impact of static-dynamic coupling on remodularization OOPSLA 2008
- PLUM: static parallel program locality analysis under uniform multiplexing PPoPP 2020
- Decompiling for Constant-Time Analysis OOPSLA 2026