infer

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

https://fbinfer.com/

/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.0.2 C library for multiple-precision floating-point computations
sqlite 3.31.1 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.17.0 Cross-platform make
libtool 2.4.6 Generic library support script
ocaml 4.09.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.6 The OCaml package manager
pkg-config 0.29.2 Manage compile and link flags for libraries

Requires: java >= 1.8 (build, test)

Analytics:

Installs (30 days)
infer 459
Installs on Request (30 days)
infer 453
Build Errors (30 days)
infer 8
Installs (90 days)
infer 1,268
Installs on Request (90 days)
infer 1,237
Installs (365 days)
infer 6,061
infer --HEAD 12
Installs on Request (365 days)
infer 5,946
infer --HEAD 12
Fork me on GitHub