All Versions
33
Latest Version
Avg Release Cycle
113 days
Latest Release
-

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 checkers
    • inferTraceBugs is now the explore 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.
  • 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 with infer --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 with infer -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