dogear

enter for all results · esc to close

Checker Framework

checkerframework.orgsite

Pluggable type-checking for Java. This is not just a bug-finder, but a verification tool that gives a guarantee of correctness. It comes with 27 pre-built type systems, and it enables users to define their own type system; the manual lists over 30 user-contributed type systems.

visit checkerframework.org ↗
0
sign in to dogear this
from
Static Analysis & Code Quality
added
2026-10-10
likes
0

similar

  1. Checker Framework types.cs.washington.edu
    site category #jvm link ↗

    Compiler plug-ins that find bugs or verify their absence.

  2. checkstyle checkstyle.org
    site category #static-analysis link ↗

    Checking Java source code for adherence to a Code Standard or set of validation rules (best practices).

  3. JET github.com
    tool category #static-analysis link ↗

    Static type inference system to detect bugs and type instabilities.

  4. check github.com
    tool category #cpp link ↗

    Check is a unit testing framework for C. [LGPL-2.1] website

  5. gocheck labix.org
    site category #go link ↗

    More advanced testing framework alternative to gotest.

  6. Checkstyle github.com
    tool category #for-beginners link ↗

Static Analysis & Code Quality › Programming Languages: “Pluggable type-checking for Java. This is not just a bug-finder, but a verification tool that gives a guarantee of correctness. It comes with 27 pre-built type systems, and it enables users to define their own type system; the manual lists over 30 user-contributed type systems.”