jar2bpl:将Java jar文件转换为Boogie程序

## jar2bpl 将Java，jar和apk文件转换为Boogie程序。 为了快速入门，请下载 我们目前正在建设中。 该工具仍然有效，但是网站需要一些tlc。 使用以下命令构建项目： gradlew shadowJar 这将构建一个包含所有依赖项的胖子罐。 通过将其自身转换为布吉舞来测试项目，如下所示： java -jar build/libs/jar2bpl.jar -j build/classes/main/ -b ouput.bpl 该翻译目前仅由。 要将其与Boogie或Corral一起使用，必须进行一些更改，这些更改已在问题列表中列出。