Translate java, jar, and apk files into Boogie programs. For a quick start, download the jar file

We are currently under construction. The tool still works but the website needs some tlc.

Build the project using:

gradlew shadowJar

This builds a fat jar containing all dependencies. Test the project by translating itself to boogie as follows:

java -jar build/libs/jar2bpl.jar -j build/classes/main/ -b ouput.bpl

This translation is currently only used by Bixie. To use it with Boogie or Corral, a few changes have to be made that are mentioend in the issues list.