Static analyzer for Java, C, C++, and Objective-C

License: MIT

/api/formula/infer.json (JSON API)

Formula code on GitHub

Current versions:

stable 0.17.0
bottle 🍾 catalina, mojave, high_sierra

Depends on:

gmp 6.2.0 GNU multiple precision arithmetic library
mpfr 4.1.0 C library for multiple-precision floating-point computations
sqlite 3.33.0 Command-line interface for SQLite

Depends on when building from source:

autoconf 2.69 Automatic configure script builder
automake 1.16.2 Tool for generating GNU Standards-compliant Makefiles
cmake 3.18.3 Cross-platform make
libtool 2.4.6 Generic library support script
ocaml 4.10.0 General purpose programming language in the ML family
ocaml-findlib 1.8.1 OCaml library manager
ocaml-num 1.3 OCaml legacy Num library for arbitrary-precision arithmetic
opam 2.0.7 OCaml package manager
pkg-config 0.29.2 Manage compile and link flags for libraries

Requires: java >= 1.8 (build, test), macOS


Installs (30 days)
infer 271
Installs on Request (30 days)
infer 270
Build Errors (30 days)
infer 1
Installs (90 days)
infer 798
Installs on Request (90 days)
infer 794
Installs (365 days)
infer 4,880
Installs on Request (365 days)
infer 4,769
Fork me on GitHub