Joogie A Java code verifier for detecting the code that cannot be executed.
Download

Joogie Ranking & Summary

Joogie Tags

checker detect check java code

Joogie Description

Joogie is a Java based tool designed to help you identify the infeasible code in Java applications. The program finds the code that is not usable by proving that a certain statement cannot occur. By using methods such as static verification, this tool can detect the infeasible code that cannot be detected by other checking tools.

Joogie Related Software