infer

• facebook/infer
  • MIT, OCaml
  • Java, C, C++, Objective-C

brew install infer

infer run -- javac Hello.java

infer run -- mvn compile