The Checker Framework_ Custom pluggable types for Java

The Checker Framework_ Custom pluggable types for Java -...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
The Checker Framework: Custom pluggable types for Java http://types.cs.washington.edu/checker-framework/ Version 1.2.5.1 (6 Feb 2012) For the impatient: Section 1.2 describes how to install and use pluggable type-checkers. Contents 1 Introduction 1.1 How it works: Pluggable types 1.2 Installation 1.3 Example use: detecting a null pointer bug 2 Using a checker 2.1 Writing annotations 2.2 Running a checker 2.3 What the checker guarantees 2.4 Tips about writing annotations 3 Nullness checker 3.1 What the Nullness checker checks 3.2 Nullness annotations 3.3 Writing nullness annotations 3.4 Suppressing nullness warnings 3.5 @Raw annotation for partially-initialized objects 3.6 Map key annotations 3.7 Additional details 3.8 Examples 3.9 Tips for getting started 3.10 Other tools for nullness checking 4 Interning checker 4.1 Interning annotations 4.2 Annotating your code with @Interned 4.3 What the Interning checker checks 4.4 Examples 4.5 Other interning annotations 5 IGJ immutability checker 5.1 IGJ and Mutability 5.2 IGJ Annotations 5.3 What the IGJ checker checks 5.4 Implicit and default qualifiers 5.5 Annotation IGJ Dialect 5.6 Iterators and their abstract state 5.7 Examples 6 Javari immutability checker 6.1 Javari annotations 6.2 Writing Javari annotations 6.3 What the Javari checker checks 6.4 Iterators and their abstract state 6.5 Examples 7 Lock checker 7.1 Lock annotations 8 Fake Enum checker 8.1 Fake enum annotations 8.2 What the Fenum checker checks 8.3 Running the Fenum checker The Checker Framework: Custom pluggable types for Java http://types.cs.washington.edu/checker-framework/current/checkers-manua. .. 2/24/2012 12:34 PM You created this PDF from an application that is not licensed to print to novaPDF printer ( http://www.novapdf.com )
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
8.4 Suppressing warnings 8.5 Example 8.6 References 9 Tainting checker 9.1 Tainting annotations 9.2 Tips on writing @Untainted annotations 9.3 @Tainted and @Untainted can be used for many purposes 10 Linear checker for preventing aliasing 10.1 Linear annotations 10.2 Limitations 11 Regex checker for regular expression syntax 11.1 Regex annotations 11.2 Annotating your code with @Regex 12 Property file checker 12.1 Generic property file checker 12.2 Internationalization checker 12.3 Compiler Message Key checker 13 Signature checker for string representations of types 13.1 Signature annotations 13.2 What the Signature Checker checks 14 Units checker 14.1 Units annotations 14.2 Extending the Units Checker 14.3 What the Units Checker checks 14.4 Running the Units Checker 14.5 Suppressing warnings 14.6 References 15 Basic checker 15.1 Using the Basic checker 15.2 Basic checker example 16 Typestate checker 16.1 Comparison to flow-sensitive type refinement 17 Third-party checkers 17.1 Units and dimensions checker 17.2 Thread locality checker 17.3 Safety-Critical Java checker 17.4 Generic Universe Types checker 17.5 EnerJ checker 18 Generics and polymorphism 18.1 Generics (parametric polymorphism or type polymorphism) 18.2 Qualifier polymorphism 19 Advanced type system features 19.1 The effective qualifier on a type (defaults and inference) 19.2 Writing Java expressions as annotation arguments 19.3 Inexpressible types 19.4
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/24/2012 for the course CSE 503 taught by Professor Davidnotikin during the Spring '11 term at University of Washington.

Page1 / 89

The Checker Framework_ Custom pluggable types for Java -...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online