Status report on JSR-305

20 October 2007

conference paper
Published by Association for Computing Machinery (ACM)

p. 799-800
https://doi.org/10.1145/1297846.1297894

Abstract

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.

Keywords

JAVA
BUGS
SOFTWARE QUALITY
SPECIFICATIONS
STATIC ANALYSIS

This publication has 3 references indexed in Scilit:

Early detection of JML specification errors using ESC/Java2
Published by Association for Computing Machinery (ACM) ,2006
Preliminary design of JML
ACM SIGSOFT Software Engineering Notes, 2006
A theory of type qualifiers
Published by Association for Computing Machinery (ACM) ,1999