Information Flow Analysis for Java Bytecode
No abstract available.
Related papers
- Faster variational execution with transparent bytecode transformation OOPSLA 2018
- Java bytecode verification via static single assignment form TOPLAS 2008
- Java-to-JavaScript translation via structured control flow reconstruction of compiler IR DLS 2015
- Type Elaboration and Subtype Completion for Java Bytecode POPL 2000
- Magic-Sets Transformation for the Analysis of Java Bytecode SAS 2007
- Cost Analysis of Java Bytecode ESOP 2007
- Java Bytecode Normalization for Code Similarity Analysis ECOOP 2024
- Dynamic slicing on Java bytecode traces TOPLAS 2008