infer

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.

New features:

• [android] fixed intermittent infinite loop
• [iOS] new check for capturing a C++ reference in an Objective-C block

For the full list of changes included see here.

The sha256 checksums of the tarballs are:

$ shasum -a 256 -p infer-*-v0.6.0.tar.xz
26abc0312c892b53e4b93c22c2c051381ce1012a3d8458e8e2574b27302eec37 infer-linux64-v0.6.0.tar.xz
8a1c4d0425c0ef3efcf4683cdbeebba63f3dd2fd5e75df4f04142dc9a5a5f15d infer-osx-v0.6.0.tar.xz

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.

New features:

• [android] detection of context leaks
• [android] support for @PerformanceCritical and @Expensive method annotations. Infer will check that an expensive method is never called during the execution of a performance critical method (run it with infer -a checkers -- ...).
• [iOS] new check to catch strong delegate properties, likely to create retain cycles
• [iOS] new check to catch direct accesses to atomic properties, which can cause race conditions
• [all] performance improvements all-around

For the full list of changes included see here.

The sha256 checksums of the tarballs are:

$ shasum -a 256 infer-*-v0.5.0*.tar.xz
9d6eefeb63742bd408bc5769e93f34b378b36c0561c8e80035797c1be0c6fc66  infer-linux64-v0.5.0.tar.xz
6a8547ac0b75a5e2bbeccae2169e39f753a60adbcacb6c94599fd31343a71ce7  infer-osx-v0.5.0.tar.xz

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.

For the full list of changes included see here.

The sha256 checksums of the tarballs are:

$ sha256sum infer-*-v0.4.0.tar.xz
bb84656153b59ff43f477c2432039195b614ecb5c19ed2a3f73aea7921696730  infer-osx-v0.4.0.tar.xz
14f6e6d96a450d7acb17de0b26b136851d1b2815edd267e5865ea0af7aaf2887  infer-linux64-v0.4.0.tar.xz

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.

For the full list of changes included see here.

The sha256 checksums of the tarballs are:

$ sha256sum infer-*-v0.3.0.tar.xz
325013468da5b221e81ad3f1ba348e07a87f061c698e46b32d20f94d599ab463  infer-linux64-v0.3.0.tar.xz
cfd17c647098baff2875f3ff4db994f2ee02e7b5577cde5fe59ee21ec57a2d44  infer-osx-v0.3.0.tar.xz

Notable fixes and improvements:

• [java] analyze class files with $$ in the name (closes #3 more)
• [java] don't fail on compilation warnings (closes #18)
• [clang] support __nullable et al. (closes #4)
• add an Infer:Checkers for printf arguments

Action required to compile from source when upgrading from a previous version:

• The version of javalib that Infer requires has changed. You'll need
  to upgrade it using opam: opam update && opam upgrade. You'll also
  need to run make -C infer clean before recompiling Infer.
• The version of the facebook-clang-plugins that Infer requires has
  changed. You'll need to update the plugins before recompiling Infer:
  from the directory where Infer sources live, run ./update-fcp.sh && ../facebook-clang-plugin/clang/setup.sh && ./compile-fcp.sh.

See the full list of changes here.

This release fixes a number of bugs. Non-exhaustive list below.

• [java] no more crash on class names containing "$$" (closes #3)
• [java] model for assert (closes #68)
• [objective-c] support for @import (closes #2)
• [c family] Infer now always reports on the right line numbers (closes #31)
• [c family] fix c++ compilation errors (closes #37)