-
Notifications
You must be signed in to change notification settings - Fork 5
References
David Bürgin edited this page Nov 5, 2015
·
14 revisions
Notes
-
checker framework ‘publications section’
-
Patrice Chalin, Frédéric Rioux. 2005. Non-null References by Default in the Java Modeling Language. http://www.eecs.ucf.edu/~leavens/SAVCBS/2005/papers/Chalin-Rioux.pdf
-
Patrice Chalin, Perry James. 2006. Non-Null References by Default in Java: Alleviating the Nullity Annotation Burden http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.66.2966&rep=rep1&type=pdf
-
http://wiki.eclipse.org/JDT_Core/Null_Analysis, see 'hints' quote
-
David Hovemeyer, Jaime Spacco, William Pugh. 2005. Evaluating and Tuning a Static Analysis to Find Null Pointer Bugs. http://faculty.ycp.edu/~dhovemey/pubs/paste2005.pdf
-
JSR 305, Annotations for Software Defect Detection, 2006