[eradicate/nullsafe] remove checkers

Summary: Eradicate/Nullsafe has been deprecated and can be removed.

Reviewed By: geralt-encore

Differential Revision:
D52017524

Privacy Context Container: L1122176

fbshipit-source-id: 26c0d05b56e23fd80a4c0d791c87c5ec4bd8ea37

Author: ngorogiannis

.gitignore

@@ -200,7 +200,6 @@ rebar3.crashdump
 /infer/src/clang/dune
 /infer/src/integration/dune
 /infer/src/java/dune
-/infer/src/nullsafe/unit/dune
 /infer/src/opensource/dune
 /infer/src/python/unit/dune
 /infer/src/unit/dune

Makefile

@@ -246,8 +246,6 @@ DIRECT_TESTS += \
   java_immutability \
   java_inefficientKeysetIterator \
   java_litho-required-props \
-  java_nullsafe \
-  java_nullsafe-annotation-graph \
   java_performance \
   java_performance-exclusive \
   java_pulse \

examples/demo/demo.sh

@@ -13,4 +13,3 @@ infer -- make -C 02 clean all
 infer explore --no-source-preview --select 0
 infer -- make -C 03 clean all
 infer explore --no-source-preview --select 1
-infer --eradicate-only -- make -C 04 clean all

infer/annotations/README.md

@@ -1,6 +1,6 @@
 # Infer annotations
 
-This project provides extra annotations for Java checkers, such as starvation or nullsafe.
+This project provides extra annotations for Java checkers, such as starvation.
 
 ## How to build JARs (suitable for release)
 

infer/annotations/src/main/java/com/facebook/infer/annotation/Assertions.java

@@ -55,9 +55,10 @@ public static <T> T assumeNotNull(@Nullable T object) {
   }
 
   /**
-   * Makes Nullsafe stop complaining when {@code object} is dereferenced or converted to a
-   * non-nullable. In contrast with {@code #assumeNotNull()}, indicates cases when the proper fix
-   * needs to be committed, but for some reason it is hard or impossible to do it staight away.
+   * Makes Nullsafe (a nullability type checker) stop complaining when {@code object} is
+   * dereferenced or converted to a non-nullable. In contrast with {@code #assumeNotNull()},
+   * indicates cases when the proper fix needs to be committed, but for some reason it is hard or
+   * impossible to do it staight away.
    */
   public static <T> T nullsafeFIXME(@Nullable T object, String explanationOrTask) {
     return object;

infer/documentation/checkers/Eradicate.md

@@ -69,7 +69,7 @@ void false_negative() {
   int* x = (int*) malloc(sizeof(int));
   if (x) {
     // unknown call to x makes Pulse forget that x was allocated, in case it frees x
-    unknown(x); 
+    unknown(x);
   }
 } // no memory leak reported: false negative!
 
@@ -94,7 +94,7 @@ $ infer debug --procedures --procedures-filter 'false_negative' --procedures-sum
 
 ## Pulse x Nullsafe
 
-[Nullsafe](/docs/next/checker-eradicate) is a type checker for `@Nullable` annotations for Java. Classes following the Nullsafe discipline are annotated with `@Nullsafe`.
+Nullsafe is a type checker for `@Nullable` annotations for Java. Classes following the Nullsafe discipline are annotated with `@Nullsafe`.
 
 Consider the classes `Person` and `Registry` from the previous example. Assuming that class `Person` is annotated with `@Nullsafe`. In this case, we also annotate `getEmergencyContact()` with `@Nullable`, to make explicit that this method can return the `null` value. There is still the risk that classes depending on `Person` have Null dereferences. In this case, Pulse would report a Null dereference on `Registry`. It could also be the case that class `Registry` is annotated with `@Nullsafe`. By default Pulse reports on `@Nullsafe` files too, see the `--pulse-nullsafe-report-npe` option (Facebook-specific: Pulse does not report on `@Nullsafe` files).