[](https://index.scala-lang.org/opalj/opal/abstract-interpretation-framework)
JVM badge
[](https://index.scala-lang.org/opalj/opal/abstract-interpretation-framework)