infer

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

https://fbinfer.com/

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

Linux formula code on GitHub

Current versions:

stable 0.17.0
bottle 🍾 catalina, mojave, high_sierra, x86_64_linux

Depends on:

gmp 6.1.2 GNU multiple precision arithmetic library
mpfr 4.0.2 C library for multiple-precision floating-point computations
sqlite 3.30.1 Command-line interface for SQLite
ncurses 6.1 Text-based UI library
python@2 2.7.17 Interpreted, interactive, object-oriented programming language
xz 5.2.4 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.1 Tool for generating GNU Standards-compliant Makefiles
cmake 3.16.2 Cross-platform make
adoptopenjdk 1.8.0.212 Prebuilt binaries produced from OpenJDK class libraries
libtool 2.4.6 Generic library support script
ocaml 4.08.1 General purpose programming language in the ML family
opam 2.0.5 The 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.10 Modify dynamic ELF executables

Analytics:

Installs (30 days)
infer 4
Installs on Request (30 days)
infer 4
Build Errors (30 days)
infer 3
Installs (90 days)
infer 41
Installs on Request (90 days)
infer 40
Installs (365 days)
infer 187
Installs on Request (365 days)
infer 187
Fork me on GitHub