CODE ANALYSIS REINVENTED SO THAT YOU CAN RELY ON YOUR SOFTWARE

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.
Checkers

A WIDE RANGE OF CHECKERS TO IDENTIFY BUGS, VULNERABILITIES AND INEFFICIENCIES

Julia includes a set of analysis modules (checkers) to cover a wide range of errors and problems:

Correctness: Julia checks the conditions that may have a very serious impact during the execution, such as access errors with null pointer, the risk of not terminating the code, the correct implementation of comparison among objects, the correct management of exceptional situation, the consistency of competitor access to data.

Security: Julia identifies data streams that lead to those that are considered the most dangerous programming errors, such as SQL Injection, cross-site scripting, http response splitting.

Efficiency: Julia reports the potential causes of inefficiency like the creation of redundant objects, situations where the garbage collector is overloaded, unnecessary comparisons among objects, unnecessary writing in memory.

Style: Julia suggests improvements of code writing, in the choice of variable names, for the simplification of syntactical expressions.

The checkers are independent from each other and can be freely included in the analysis. For a complete list see the technical documentation.

Warnings

DETAILED WARNINGS AND SUGGESTIONS FOR THE CORRECTION OF DEFECTS

Julia is set up to help as much as possible the programmer and the team leader in problem solving, at decision making and implementation level.

The check carried out by the checkers generates a detailed list of warnings, that is evidence of errors, with suggestions for solutions that can be controlled and implemented by the programmer.

Warnings are also categorised on the basis of a ranking that expresses the seriousness and reliability in order to lead the correction of the code based on corporate priorities. For a complete list see the technical documentation.

A PDF report, generated automatically at the end of each analysis, offers a qualitative and quantitative view of the results with graphical elements especially adapted for a quick and easy consultation at executive level.

Dashboard: the history, the statistics on the carried out analyses, the administration and the configuration of the users are delivered via a web interface of the analysis server.

Local server or cloud: the analysis is carried out using a plugin on a remote server that can be installed on-premises or delivered as a cloud service.

Contact Us

We're not around right now. But you can send us an email and we'll get back to you, asap.

Start typing and press Enter to search