
Un analyseur statique pour Java, C, C++ et Objective-C
Infer est un outil d'analyse statique pour Java, C++, Objective-C et C. Infer est écrit en OCaml.
Consultez notre page Démarrage pour plus de détails sur l'installation des versions packagées d'Infer. Pour compiler Infer à partir des sources, voir INSTALL.md.
Voir CONTRIBUTING.md.
Infer est sous licence MIT.
Remarque : L'activation du support Java peut nécessiter de télécharger et d'installer des composants sous licence GPL.