Clone this repo:
  1. 28f119a Add support for jakarta annotations to some checks by Artur Havliukovskyi · 3 hours ago master
  2. d6b3c13 Banish yet more unnecessary uses of `@Before`. by ghm · 7 hours ago
  3. ebb17a1 Preserve spaces at the ends of lines. by ghm · 8 hours ago
  4. 667aa84 Chuck some more `@CIRV`s on `BugCheckerRefactoringTestHelper`. by ghm · 8 hours ago
  5. 98744b3 Add a repro for b/396965922 by ghm · 10 hours 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