The OPAL Project
Be Relaxed - Static Analysis Is Easy
Writing Fixed-Point Analyses
Reading Class Files
Loading Java Projects
Using the Class Hierarchy
Engineering Java Bytecode
3-Address Code/SSA Code
Detecting Useless Boxings
Package Dependencies in JDK8
Complexity of the JDK8
Please, report issues or problems in the documentation using
OPAL's issue tracker
, by going to the
OPAL gitter chat room
or by writing an email to
Research Related Artifacts
In the following, we make those artifacts available that are part of published research papers and which may be useful for other researchers. These artifacts are generally only of interest in the respective context.
Dead Methods in the JDK7u80 (Windows)
Call Graph Construction for Java Libraries @ FSE 2016
(May contain some false positives which are due to native code, the usage of Java reflection APIs or the usage of the
Using a naive approach.
Using the open-packages assumption.
Using the closed-packages assumption.