The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits software developers to write their own compiler plug-ins.
In this tutorial, you will learn to use the Checker Framework to prevent null pointer exceptions, to prevent SQL injection attacks, and to improve code quality. In this tutorial, you can use the Checker Framework either via its Eclipse plugin or from the command line. Both tutorials use the same examples. The Checker Framework can also be used with other external tools such as Maven or InteliJ IDEA, but they are outside of the scope of this tutorial.
javacheck
to the Checker Framework compiler.cd
to the src
directory.