Julia

Julia is a software company develops static analyser for Java code and Java byte code.

Julia is a spin-off company of the University of Verona, Italy, whose goal is to to produce software tools for static analysis of Java and Android programs. Its main tool, called Julia itself, is based on formal methods and looks, automatically, for bugs and inefficiencies in Java and Android programs, such as null-pointer exceptions, non-termination, incorrect class casts, unreachable methods, unused fields, useless assignments. This process, known as automatic software verification, is completely automatic and does require any help from the programmer. Julia comes with a correctness guarantee: if your program contains a bug, Julia will find it. This means, however, that some false alarms or spurious warnings will be issued by the tool. But no bug will be missed, ever. The tool is available as a stand-alone software for local installation and also as a web service: there is nothing to install, just push a button.