Infer version 0.11.0
This is a source release of Infer packaged with pre-built binaries for clang and facebook-clang-plugins for Linux and MacOS. To use it follow these instructions.
Highlights:
- [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.
For the full list of changes included see here.
The sha256 checksums of the tarballs are:
$ shasum -a 256 -p infer-*-v0.11.0.tar.xz
c2a893d66befc2652a28e9e6481f680fe863512f8c507b52616c5731878c22f0 ?infer-linux64-v0.11.0.tar.xz
0c435efa311cb70a79b5b8ae9cc4e714651e6653c5542a58cc624f2439d68e36 ?infer-osx-v0.11.0.tar.xz