Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.
Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.
Unitcon의 모든 벤치마크는 Java 8을 사용하여 컴파일된다.
따라서 Infer를 설치하고 사용하기 전, infer/src/base/Version.ml 파일에서 java_version 이 8인지 확인한다.
즉, java_version = int_of_string_opt "8" 이어야 한다.
See CONTRIBUTING.md.
Infer is MIT-licensed.
Note: Enabling Java support may require you to download and install components licensed under the GPL.