Added support for apk's

martinschaef released this 02 Jul 20:41

· 78 commits to master since this release

Jar2Bpl is now using the lastest soot version.

Changes include:

support for apk translation
java source code locations are now translated into Boogie attributes
the prelude is now a resource file and will be extended in the future

Assets 3