Julia analyzer

Julia is the most innovative and powerful static analyser for Java code and Java bytecode. It is based on the scientific technique of abstract interpretation which ensures the accuracy 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.
banner_box_newsOK.jpg

News

Julia in EU workshop on Mobile attacks and defense in Berlin

ENISA, The European Union Agency for Network and Information Security, has invited Julia to present in the Workshop "Mobile attacks and defense:... Read more

Meet us at Milan Codemotion on 25-26 November

Tomorrow and Saturday the Julia team will be present at Codemotion 2016 in Milan.   Come meet us in the Start Up Area and partecipate in the Julia... Read more