
Un analizador estático para Java, C, C++ y Objective-C
Infer es una herramienta de análisis estático para Java, C++, Objective-C y C. Infer está escrito en OCaml.
Lea nuestra página de Introducción para obtener detalles sobre cómo instalar versiones empaquetadas de Infer. Para compilar Infer desde el código fuente, consulte INSTALL.md.
Consulte CONTRIBUTING.md.
Infer tiene licencia MIT.
Nota: Habilitar el soporte para Java puede requerir que descargue e instale componentes bajo la licencia GPL.