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.16.1 Tool for generating GNU Standards-compliant Makefiles
cmake 3.11.1 Cross-platform make
libtool 2.4.6_1 Generic library support script
ocaml 4.06.1 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

Viktor Szakats infer: secure url(s)
ilovezfs infer 0.13.1
ilovezfs infer: set JAVA_HOME to Java 8 with wrapper script
Jules Villard infer 0.13.0
ilovezfs Use “squiggly” heredocs.

Formula code at GitHub