Just for the record, non-null static and runtime analysis is implemented in a number of Java projects.
http://eclipseandjazz.blogspot.com/2011/12/inter-procedural-null-analysis-using.html Anotation based Static analysis for eclipse * javax.validation.constraints.NotNull Created for runtime validation, not static analysis. * edu.umd.cs.findbugs.annotations.NonNull Static analysis * com.intellij.annotations.NotNull Used by IntelliJ IDEA IDE for static analysis. * lombok.NonNull Annotation used to control code generation in Project Lombok.
