Status report on JSR-305: annotations for software defect detection

Authors:
David Hovemeyer;William Pugh
Affiliations:
York College of Pennsylvania, York, PA;University of Maryland, College Park, MD
Venue:
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Year:
2007

Citing 3
Cited 2

A theory of type qualifiers

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Preliminary design of JML: a behavioral interface specification language for java

ACM SIGSOFT Software Engineering Notes
Early detection of JML specification errors using ESC/Java2

Proceedings of the 2006 conference on Specification and verification of component-based systems

Design pattern recovery based on annotations

Advances in Engineering Software
A type system for regular expressions

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs

Quantified Score

Hi-index	0.00

Visualization

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.