Download Latest Version infer-linux-x86_64-v1.2.0.tar.xz (242.7 MB)
Email in envelope

Get an email when there's a new version of Infer

Home / v1.1.0
Name Modified Size InfoDownloads / Week
Parent folder
infer-linux64-v1.1.0.tar.xz 2021-03-25 378.1 MB
Infer version v1.1.0.tar.gz 2021-03-25 37.3 MB
Infer version v1.1.0.zip 2021-03-25 46.8 MB
README.md 2021-03-25 1.7 kB
Totals: 4 Items   462.2 MB 0

This is a new release of Infer, with a binary tarball for Linux. On MacOS, using Homebrew is recommended. Please follow these instructions.

Frontends

Build System Integrations

  • Clang upgraded to version 11.0

Checkers

  • Liveness: properly handle exceptional control flow
  • Pulse:
  • Added preliminary Java support
  • New Uninitialized value bug type, aiming to replace the previous Uninit checker as this one is inter-procedural and more precise.
  • OPTIONAL_EMPTY_ACCESS is now enabled by default
  • NEW checker Topl(early alpha): An experimental checker framework: write your own analysis as a state machine representing a temporal property over multiple memory objects at once, eg to write a taint analysis. Topl is based on Pulse.
  • Miscellaneous improvements to cost, inferbo, nullsafe, racerd, starvation

The sha256 checksums of the tarballs are:

$ shasum -a 256 infer-linux64-v1.1.0.tar.xz
5f5d453814422e93e2a70998d8946b09a2721628ff427f67ff0123dea87461d4  infer-linux64-v1.1.0.tar.xz
Source: README.md, updated 2021-03-25