Name | Modified | Size | Downloads / 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
- New JSON input format for SIL. This new format was contributed from Infer#, whose C# frontend for Infer emits SIL as JSON using this format.
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