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

Current version

infer requires the following formulae to be installed:
autoconf 2.69 Automatic configure script builder
automake 1.15.1 Tool for generating GNU Standards-compliant Makefiles
cmake 3.10.2 Cross-platform make
libtool 2.4.6_1 Generic library support script
ocaml 4.06.0 General purpose programming language in the ML family
opam 1.2.2_4 Package manager for OCaml
pkg-config 0.29.2 Manage compile and link flags for libraries

Recent formula history

ilovezfs infer: set JAVA_HOME to Java 8 with wrapper script
Jules Villard infer 0.13.0
ilovezfs Use “squiggly” heredocs.
ilovezfs infer: use 10.12 bottle on 10.13 (#18481)
ilovezfs infer 0.12.1

Formula code at GitHub