facebook/infer v0.5.0

Infer version 0.5.0

on GitHub

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