The Wayback Machine - https://web.archive.org/web/20100824004355/http://julia.scienze.univr.it:8080/julia/
© Copyright 2010 Julia srl. All rights reserved

Welcome to the Julia analyzer

 

Specify below the jar file that you want to add to the analyzed code
(you will be able to add more later) (what is this?)
Examples are here

Analysis (what is this?)
precise nullness analysis
medium nullness analysis
simple nullness analysis
termination analysis with polyhedra
termination analysis with zones only
termination analysis with polyhedra (no proof)
termination analysis with zones only (no proof)
Included Java libraries (what is this?)
java.lang.* java.util.* java.io.*
java.* java.applet.* javax.servlet.*
Entry points to the analyzed code: (what is this?)
NSC: allow Null, Sharing or Cyclical parameters (what is this?)
 none 
Other public methods and constructors: (what is this?)
 none