Magic-Sets Transformation for the Analysis of Java Bytecode
Abstract elided by the publisher.
Related papers
- Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic ECOOP 2016
- Two Approaches to Fast Bytecode Frontend for Static Analysis OOPSLA 2025
- Java Bytecode Normalization for Code Similarity Analysis ECOOP 2024
- Java bytecode verification via static single assignment form TOPLAS 2008
- Faster variational execution with transparent bytecode transformation OOPSLA 2018
- Efficient local type inference OOPSLA 2008
- Information Flow Analysis for Java Bytecode VMCAI 2005
- Implementing Jalapeño in Java OOPSLA 1999