文件名称：jar2bpl:将Java jar文件转换为Boogie程序
文件大小：11.04MB
文件格式：ZIP
更新时间：2024-06-06 21:10:14
Java
## jar2bpl 将Java，jar和apk文件转换为Boogie程序。 为了快速入门，请下载 我们目前正在建设中。 该工具仍然有效，但是网站需要一些tlc。 使用以下命令构建项目： gradlew shadowJar 这将构建一个包含所有依赖项的胖子罐。 通过将其自身转换为布吉舞来测试项目，如下所示： java -jar build/libs/jar2bpl.jar -j build/classes/main/ -b ouput.bpl 该翻译目前仅由。 要将其与Boogie或Corral一起使用，必须进行一些更改，这些更改已在问题列表中列出。
【文件预览】：
jar2bpl-master
----gradlew(5KB)
----src()
--------test()
--------main()
----lib()
--------boogieamp.jar(1012KB)
--------soot-trunk.jar(10.95MB)
----.travis.yml(299B)
----LICENSE(1KB)
----gradle()
--------wrapper()
----README.md(1KB)
----gradlew.bat(2KB)
----pre-commit.sh(634B)
----.gitignore(109B)
----build.gradle(3KB)