On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
No abstract available.
Related papers
- Type Elaboration and Subtype Completion for Java Bytecode POPL 2000
- Enhancing source-level programming tools with an awareness of transparent program transformations OOPSLA 2009
- Type elaboration and subtype completion for Java bytecode TOPLAS 2001
- Revealing Sources of (Memory) Errors via Backward Analysis OOPSLA 2025
- Practical and Accurate Low-Level Pointer Analysis CGO 2005
- Relatively Complete Pushdown Analysis of Escape Continuations VMCAI 2019
- Java Bytecode Normalization for Code Similarity Analysis ECOOP 2024
- Two Approaches to Fast Bytecode Frontend for Static Analysis OOPSLA 2025