Scientific method guarantees unrivaled precision

java_logo.png
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.

logo_semantico.png
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.

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

error_pencil.png
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.