Checker Framework

Pluggable type-checking for Java (by typetools)

Checker Framework Alternatives

Similar projects and alternatives to Checker Framework

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better Checker Framework alternative or higher similarity.

Checker Framework reviews and mentions

Posts with mentions or reviews of Checker Framework. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-02-09.
  • Too Dangerous for C++
    2 projects | news.ycombinator.com | 9 Feb 2024
    It is interesting! I experimented with creating a bad borrow checker for Java using annotations from

    https://checkerframework.org/

    It supports some level of substructural types using must-call annotations,

    https://checkerframework.org/manual/#resource-leak-checker

  • JEP 457: Class-File API for Parsing, generating, transforming
    2 projects | news.ycombinator.com | 26 Sep 2023
    Lombok is not a compiler extension. Compiler extensions, aka annotation processors, are offered only specific capabilities that ensure that they preserve the Java language specification. Particularly, code that compiles successfully with an extension also compiles without it (perhaps requiring other classes to be available) and it compiles down to the same bytecode. Annotation processors are used to implement pluggable type systems (e.g. https://checkerframework.org) or to generate other classes (e.g. https://immutables.github.io/).

    Unlike compiler extensions, Lombok compiles source files that do not conform to the Java language specification. Lombok is an alternative Java Platform language, like Clojure or Kotlin or Scala, except that it's a superset of the Java language. However, rather than forking `javac` source code and modifying it to compile Lombok source files, the Lombok compiler modifies `javac`'s operation by hacking into its internals and modifying them as it runs to compile Lombok sources rather than Java sources.

    Having alternative Java Platform languages is perfectly fine. The problem with Lombok is that it doesn't present itself as such but as a library or a compiler extension even though it violates the Java language specification in ways that compiler extensions are forbidden from doing.

  • I introduced Rust at work
    2 projects | /r/rust | 29 Jun 2023
    And then I found (thanks Oracle), https://checkerframework.org/ zomg, this thing is awesome. Pluggable Type Systems!
  • Don’t call it a comeback: Why Java is still champ
    17 projects | news.ycombinator.com | 9 Aug 2022
    Java should adopt something like the Checker Framework Nullness Checker in its first-party tooling.

    https://github.com/typetools/checker-framework

  • JSpecify: Express specifications (initially, just nullness properties) in a machine-readable way
    9 projects | /r/java | 26 Jan 2022
    Checkerframework - a really academic take, and as one might expect from such a thing, backed by tons of papers and analysed to perfection. Specifically, this is the only framework I'm aware of that realizes nullity is a little more complicated than just a boolean yes-or-no; just like generics actually have 4 flavours for any given type: List, List, List, and List are all 4 important and unique, and nullity is no different. Specifically, it can occur that you want to write a method that ought to accept both lists of nullable strings as well as list of nonnull strings, and needs to 'convey' this nullity again on its output. You can either attempt to lift along the existing generics system in java which I think is your intent, but it's not actually all that easy to do this. After all, T extends @Nullable Number super @NonNull Number, or whatnot, isn't legal java. So you.. really just can't do that. Checker Framework solves this problem by introducing the @PolyNull annotation, which still isn't perfect but covers almost all real world use cases you can think of. I'm missing any acknowledgement in your documentation. An oversight, or, something you hadn't thought of yet? You're in good company: Both eclipse and intellij's engineers, when I asked them about it, just hadn't realized it was a thing. Point is: If you think the primary problem with e.g. eclipse's and intellij's take is that they lack academic rigour - checkerframework has you beat.
  • calling Format() on a time struct in a golang program changes the default Location's timezone information in the rest of the program
    4 projects | /r/programming | 3 Sep 2021
    NullAway or the Checker Framework should greatly help eliminate the issue. Also, when Java gets value types you should be able to define your own non nullable value types and use them safely.
  • Handling null and upgrading past Java 8 - Inside Java Newscast #7
    2 projects | /r/java | 2 Jul 2021
    There is a pull request that makes the Checker Framework work with JDK 16. (Propss to Neil Brown for the heavy lifting.) So, you should soon be able to use the Checker Framework with your codebase.
  • A note from our sponsor - SaaSHub
    www.saashub.com | 29 Mar 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Stats

Basic Checker Framework repo stats
10
976
9.8
5 days ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com