infer v0.11.0 Release Notes

    • 0️⃣ [Java] ThreadSafety analyzer is now on by default; run it with infer -a checkers .... This checker will try and detect races (unprotected concurrent accesses with at least one write) in classes bearing the @ThreadSafe annotation.
    • 🏗 Infer now builds using OCaml 4.04.0.