Checker Framework

Open-source framework that enhances Java’s type system
Download

Checker Framework Ranking & Summary

Advertisement

  • Rating:
  • License:
  • MIT License
  • Publisher Name:
  • Checker Framework
  • Publisher web site:
  • http://code.google.com/u/michael.ernst@gmail.com/
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 9.9 MB

Checker Framework Tags


Checker Framework Description

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).


Checker Framework Related Software

About SoftwareSea