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.
- 0️⃣ [Java] ThreadSafety analyzer is now on by default; run it with