Translate java jar files into Boogie programs
Java Shell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
gradle/wrapper
lib
src
.gitignore
.travis.yml
LICENSE
README.md
build.gradle
gradlew
gradlew.bat
pre-commit.sh

README.md

##jar2bpl

Build Status Coverity Scan Coverage Status

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.