[![abstract-interpretation-framework Scala version support](https://index.scala-lang.org/opalj/opal/abstract-interpretation-framework/latest.svg)](https://index.scala-lang.org/opalj/opal/abstract-interpretation-framework)
JVM badge
[![abstract-interpretation-framework Scala version support](https://index.scala-lang.org/opalj/opal/abstract-interpretation-framework/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/opalj/opal/abstract-interpretation-framework)