Averroes: Whole-Program Analysis without the Whole Program
No abstract available.
DOI 10.1007/978-3-642-39038-8_16
Related papers
- Compare less, defer more: scaling value-contexts based whole-program heap analyses CC 2019
- Timestamped Whole Program Path Representation and its Applications PLDI 2001
- Staged abstract interpreters: fast and modular whole-program analysis via meta-programming OOPSLA 2019
- Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis APLAS 2006
- BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation OOPSLA 2019
- Incremental whole-program analysis in Datalog with lattices PLDI 2021
- A framework for unrestricted whole-program optimization PLDI 2006
- JaVerT 2.0: compositional symbolic execution for JavaScript POPL 2019