Scientific method guarantees unrivaled precision

Julia is an extremely efficient next-generation static analyzer for Java, Android and .NET. The accuracy of the tool is made possible by an innovative technology based on the scientific method of abstract interpretation.

Julia is semantic: it reconstructs the program graph and examines all the possible execution paths, thus being able to identify ALL the errors it is looking for.

Julia analyzes bytecode thus making it possible to verify proprietary code or third-party applications.

Julia helps you to correct the errors: you can consult the single warnings directly on the line of code, and categorize the results according to their context and based on the type and severity of the error.