Install command:
brew install infer

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.1 GNU multiple precision arithmetic library
mpfr 4.1.0 C library for multiple-precision floating-point computations
sqlite 3.34.0 Command-line interface for SQLite

Depends on when building from source:

autoconf 2.69 Automatic configure script builder
automake 1.16.3 Tool for generating GNU Standards-compliant Makefiles
cmake 3.19.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.4 OCaml legacy Num library for arbitrary-precision arithmetic
opam 2.0.7 OCaml package manager
openjdk@8 1.8.0+282 Development kit for the Java programming language
pkg-config 0.29.2 Manage compile and link flags for libraries

Requires: macOS


Installs (30 days)
infer 245
Installs on Request (30 days)
infer 244
Build Errors (30 days)
infer 16
Installs (90 days)
infer 1,909
Installs on Request (90 days)
infer 1,862
Installs (365 days)
infer 5,080
Installs on Request (365 days)
infer 4,984
Fork me on GitHub