
Um analisador estático para Java, C, C++ e Objective-C
Infer é uma ferramenta de análise estática para Java, C++, Objective-C e C. O Infer é escrito em OCaml.
Leia nossa página de Primeiros Passos para detalhes sobre como instalar versões empacotadas do Infer. Para compilar o Infer a partir do código-fonte, veja INSTALL.md.
Veja CONTRIBUTING.md.
O Infer é licenciado sob a MIT.
Nota: Habilitar o suporte a Java pode exigir que você baixe e instale componentes licenciados sob a GPL.