Skip to content

Infer version 0.2.0
Compare
Choose a tag to compare
@jvillard jvillard released this 26 Jun 12:29
v0.2.0
7f72397

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.

Assets 2