dogear

enter for all results · esc to close

Checker Framework

types.cs.washington.edusite

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

visit types.cs.washington.edu ↗
0
sign in to dogear this
from
JVM
added
2026-10-10
likes
0

similar

  1. Checker Framework checkerframework.org
    site category #static-analysis link ↗

    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.

  2. cppcheck cppcheck.sourceforge.io
    site category #static-analysis link ↗

    Static analysis of C/C++ code.

  3. Closure Compiler developers.google.com
    site category #static-analysis link ↗

    A compiler tool to increase efficiency, reduce size, and provide code warnings in JavaScript files.

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

    More advanced testing framework alternative to gotest.

  5. Cppcheck cppcheck.sourceforge.net
    site category #cpp link ↗

    A tool for static C/C++ code analysis. - source

  6. staticcheck staticcheck.io
    site category #static-analysis link ↗

    Go static analysis that specialises in finding bugs, simplifying code and improving performance.

JVM › Metaprogramming: “Compiler plug-ins that find bugs or verify their absence.”