
Un analizzatore statico per Java, C, C++ e Objective-C
Infer è uno strumento di analisi statica per Java, C++, Objective-C e C. Infer è scritto in OCaml.
Leggi la nostra pagina Getting Started per dettagli su come installare le versioni pacchettizzate di Infer. Per compilare Infer dal sorgente, consulta INSTALL.md.
Consulta CONTRIBUTING.md.
Infer è concesso in licenza MIT.
Nota: Abilitare il supporto per Java potrebbe richiedere il download e l'installazione di componenti concessi in licenza GPL.