facebook/infer v0.2.0

Infer version 0.2.0

on GitHub

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.