infer

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

https://fbinfer.com/

License: MIT

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

Linux 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
ncurses 6.2 Text-based UI library
xz 5.2.5 General-purpose data compression with high compression ratio
zlib 1.2.11 General-purpose lossless data-compression library

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
m4 1.4.18 Macro processing language
unzip 6.0 Extraction utility for .zip compressed archives
patchelf 0.11 Modify dynamic ELF executables

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

Analytics:

Installs (30 days)
infer 0
Installs on Request (30 days)
infer 0
Build Errors (30 days)
infer 0
Installs (90 days)
infer 2
Installs on Request (90 days)
infer 2
Installs (365 days)
infer 81
Installs on Request (365 days)
infer 80
Fork me on GitHub