Clone this repo:
  1. e0875d4 Expand the definition of "compile-time constant" to include record+interface fields and `compileTimeConstant.compileTimeConstantField`. by cpovirk · 3 hours ago master
  2. 579ee4f Refactor `StringBuffer` to `StringBuilder` even when used with `Matcher.appendReplacement` and `appendTail`. by cpovirk · 3 hours ago
  3. afaa20b Extract shared TestParameterInjector check helpers. by Kurt Alfred Kluever · 10 hours ago
  4. e5aac42 Refactor Error Prone bug patterns to use annotation mirrors and AnnotationNames by Liam Miller-Cushon · 28 hours ago
  5. 4d7d3c0 Rip out `NonRuntimeAnnotation:AdditionalApis`. by cpovirk · 33 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