Checker Framework 1.7.5

Open-source framework that enhances Java’s type system
Checker Framework - By launching checkers binary in a Terminal window and writing the "-help" parameter, its usage will be displayed.
  1 Screenshot
Did you grow tired of null pointer exceptions, SQL injections, unintended side effects, concurrency errors, mistaken equality tests, and other run-time errors that appear during testing or in the field?

Checker Framework is a free and open-source utility that enhances Java’s type system to make it more powerful and useful. This enables software developers to detect and prevent errors in their Java applications.

Furthermore, Checker Framework provides compiler plug-ins ("checkers") that find bugs or verify their absence. Also, it allows you to write your own compiler plug-ins.

Detailed instructions on how to install and use the Checker Framework utility on your Mac are available HERE.

Checker Framework is a cross-platform utility capable of running on any operating system that comes with Java support (e.g. Mac OS X, Windows, Linux).

last updated on:
March 20th, 2014, 11:58 GMT
file size:
7.9 MB
license type:
MIT License 
developed by:
Checker Framework
operating system(s):
Mac OS X
binary format:
Home \ Developer Tools
Checker Framework
Download Button

In a hurry? Add it to your Download Basket!

user rating



Rate it!
What's New in This Release:
  • Minor improvements to documentation and demos.
  • Support a few new units in the UnitsChecker.
read full changelog

Add your review!