Clone this repo:
  1. 609e3e4 Update `ReturnsNullCollection` and `ProvidesNull` to use `NullnessUtils.hasDefinitelyNullBranch()` instead of looking only for `null` literals, allowing them to flag conditional null expressions (e.g., `return foo ? bar : null`). Also make `NullnessUtils` and `hasDefinitelyNullBranch` public to support these checks. by Kurt Alfred Kluever · 11 hours ago master
  2. 3276c0e Bump org.checkerframework:checker-qual from 4.2.1 to 4.2.2 in the dependencies group by dependabot[bot] · 14 hours ago
  3. 8556f5e Consolidate boxed and primitive type helpers in `ASTHelpers` by Liam Miller-Cushon · 3 days ago
  4. 83bf637 Add chrono types to ValueClassIdentity fallback by jihoon · 3 days ago
  5. 49ffa66 Check to discourage relying on identity semantics of JEP 401 value objects by Liam Miller-Cushon · 3 days ago

Error Prone

Error Prone is a static analysis tool for Java that catches common programming mistakes at compile-time.

public class ShortSet {
  public static void main (String[] args) {
    Set<Short> s = new HashSet<>();
    for (short i = 0; i < 100; i++) {
      s.add(i);
      s.remove(i - 1);
    }
    System.out.println(s.size());
  }
}
error: [CollectionIncompatibleType] Argument 'i - 1' should not be passed to this method;
its type int is not compatible with its collection's type argument Short
      s.remove(i - 1);
              ^
    (see https://errorprone.info/bugpattern/CollectionIncompatibleType)
1 error

Getting Started

Our documentation is at errorprone.info.

Error Prone works with Bazel, Maven, Ant, and Gradle. See our installation instructions for details.

Developing Error Prone

Developing and building Error Prone is documented on the wiki.

Links