Julia analyzer

Julia is the most accurate static analyser for Java, Android and .NET. It is based on the scientific technique which ensures the precision and the reliability of its results.
Unlike competing technologies based on syntactic pattern-matching techniques that can be easily bypassed, Julia interprets the code semantically and ensures the identification of all errors in the categories covered by the analysis. Julia can be used on premises or in cloud as-a-service.

Software verification service

The synergy between the use of our analysis tools and the experience gained over time results in a set of highly professional consulting services.
Thanks to the innovative technology of the analyzer and our internal development team, we are able to implement new types of analysis to meet the specific needs of each client.

Partnerships and certification

Our Certified Partner Program allows partner organizations to integrate their offering with a range of highly professional and strategic products and services to meet the growing market demand for software quality and security solutions.
Our Training and Certification System, available both online and in classroom, guarantees the participants a high level of specialization and the acquisition of unique skills.


job openings in verona, italy

We are expanding our team! Currently we have openings for    • Junior and senior computer scientist positions to be covered by the end of summer •... Read more

Julia for Android launched at droidcon in Turin 6-7 April

We are proud to announce the brand new Julia for Android: the most effective static analyzer for security now also for your mobile applications!  ... Read more

Julia obtains CWE compatibility

    The Julia Analyzer has achieved the final stage of MITRE's formal CWE Compatibility Program and is now officially "CWE-Compatible." Targeted... Read more