Changelog History
Page 2
-
v0.13.1 Changes
February 02, 2018๐ 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.
๐ This is a fix for the 0.13.0 release, whose build broke due to changes in opam.
The sha256 checksums of the tarballs are:
$ shasum -a 256 -p infer-*-v0.13.1.tar.xz 02ff3c49c83d3a4e967696f8818b1cffcb042c26eefbb2ba8d78c27244b5940c ?infer-linux64-v0.13.1.tar.xz 182ff5b76ff561408dc52b32611346e097098651a491fb8a0a453a1d098d4299 ?infer-osx-v0.13.1.tar.xz
-
v0.13.0 Changes
October 19, 2017๐ 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.
The main changes are:
- 0๏ธโฃ Infer now runs multiple checkers at the same time by default, including the biabduction analysis that was the previous and only default. In particular, we are pleased to introduce RacerD for race detection in Java. The following checkers are activated by default: annotation reachability (Java), biabduction (C/C++/ObjC, Java), fragment retains view (Java), immutable cast (Java), liveness (C/C++/ObjC), printf args (Java), quandary (C/C++/ObjC, Java), RacerD (C/C++/ObjC, Java), SIOF (C/C++/ObjC). Each checker may report several issue types.
- โฌ๏ธ Upgraded to clang 5.0
- ๐ Richer DSL for writing linters (AL), and a new default linter for
const
pointers in Objective-C - ๐ Lots of perf improvements and bug fixes, and improved logging
Please note the following breaking changes:
-a eradicate
is now simply--eradicate
and can run alongside other checkersinferTraceBugs
is now theexplore
subcommand:infer explore --help
- infer now depends on sqlite
The sha256 checksums of the tarballs are:
$ shasum -a 256 -p infer-*-v0.13.0.tar.xz 79a7fe8b7a05ea2a685997d9188fef7319c7b3d72064f14dea7a5f23ec50efac ?infer-linux64-v0.13.0.tar.xz 1abec8df73581d35e018f81285197d82a6f3e6101c528fb8be14405765da155e ?infer-osx-v0.13.0.tar.xz
-
v0.12.1 Changes
August 30, 2017๐ This is a hotfix release to update infer's opam dependencies to cope with upgrades of cppo in opam (in particular, #718).
๐ 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.
The sha256 checksums of the tarballs are:
$ shasum -a 256 -p infer-*-v0.12.1.tar.xz d26dd519c19345530a92a6ae3f7058af3bd8ddfd7c2c945d116c6fd658be6c4 ?infer-linux64-v0.12.1.tar.xz ce76b87bf4f70be594aaddc7402609af6338623fbb448dacca610e10bcb7c60a ?infer-osx-v0.12.1.tar.xz
-
v0.12.0 Changes
- introduces subcommands and man pages for all subcommands
- This release introduces AL, a language for writing linters against the clang AST. AL lets you check syntactic properties of source code by traversing the AST of the program. Using the included domain-specific language (DSL), you can write your own set of checks.
-
v0.11.0 Changes
- 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
-
v0.10.0 Changes
- ๐ [Clang] C++ support.
- [Clang] Improved support for cmake and Xcode compilation databases. Use with
infer --compilation-database compile_commands.json
(for cmake and Buck), or withinfer --compilation-database-escaped compile_commands.json
(for xcbuild and xcpretty). - ๐ [C++] New SIOF Checker.
- [iOS] New linter for target SDK version. Use with
infer --iphoneos-target-sdk-version <min version you support> ...
or withinfer -a linters --iphoneos-target-sdk-version <min version you support> ...
. - ๐ [Java] New Thread Safety Checker.
- [Java] Smarter analysis of dynamic dispatch.
- [Java] Improved Maven integration.
- ๐ [Java]
@SuppressWarnings
support removed. Use@SuppressLint
instead.android.annotation.SuppressLint
is only available on Android, but do let us know if that is an issue for you.
-
v0.9.5 Changes
๐ fix for #577
-
v0.9.4 Changes
- ๐ [Java] preliminary support for Java 8: infer no longer skips methods containing Java 8 code
- ๐ [clang] support for clang compilation databases
- [Xcode] more robust integration using the compilation database (requires xcpretty)
- ๐ [iOS] added checks for some of the ComponentKit best practices
- ๐ lots of under-the-hood improvements, including perf improvements and bug fixes
-
v0.9.3 Changes
- ๐ Fix issues with using Infer with Clang 4.0 and Xcode 8
- ๐ Various fixes and performance improvements