Status report on JSR-305

David Hovemeyer, William Pugh
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
Java Specification Request 305 defines a set of annotations that can understood by multiple static analysis tools. Rather than push the bleeding edge of static analysis, this JSR represents an attempt to satisfy different static analysis tool vendors and address the engineering issues required to make these annotations widely useful.
doi:10.1145/1297846.1297894 dblp:conf/oopsla/HovemeyerP07 fatcat:ofmkz54lprbibpvgvp6qwcca34