This package provides a layer to perform abstract interpretation over the JVM stack machine.