The Julia Static Analyzer for Java
Abstract elided by the publisher.
Related papers
- Static Identification of Injection Attacks in Java TOPLAS 2019
- Reachability analysis of program variables TOPLAS 2013
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes VMCAI 2007
- Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java VMCAI 2014
- Decidable Subtyping of Existential Types for Julia PLDI 2024
- World age in Julia: optimizing method dispatch in the presence of eval OOPSLA 2020
- More Sound Static Handling of Java Reflection APLAS 2015
- SPLLIFT: statically analyzing software product lines in minutes instead of years PLDI 2013