Joogie R290_Joogie r290下载地址

Java代码验证器检测的代码不能执行。

Joogie是一个开发工具，旨在帮助您识别不可行的代码在Java应用程序中。该程序发现的代码是不可用的证明，某些语句不能出现。

通过使用静态验证方法，例如，此工具可检测不可行的代码，不能检测到由其他的检查工具。