facebook/infer

A static analyzer for Java, C, C++, and Objective-C

OCamlSMTJavaC++Objective-CStandard MLOthercjavaobjective-ccppstatic-code-analysisstatic-analysiscode-quality
This is stars and forks stats for /facebook/infer repository. As of 25 Apr, 2024 this repository has 14370 stars and 2222 forks.

Infer Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml. Installation Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md. Contributing See CONTRIBUTING.md. License Infer is MIT-licensed. Note: Enabling Java support may require you to download and install components licensed under the GPL.
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
openvinotoolkit/cvatTypeScriptPythonJavaScript10.2k+262.5k+8
open-policy-agent/gatekeeper-libraryOpen Policy AgentGoShell56503000
Checkmarx/kicsOpen Policy AgentHCLGo1.7k+3268+1
jrsoftware/issrcPascalInno SetupC3.7k+138810
stascorp/rdpwrapPascalC++Batchfile13.1k+315.6k+9
peazip/PeaZipPascalInno SetupBatchfile3.1k+142130
HeidiSQL/HeidiSQLPascalTeXPHP4.1k+6408+2
doublecmd/doublecmdPascalAssemblyC1.9k+111560
Embarcadero/Dev-CppPascalC++HTML2.2k+7271+4
salvadordf/CEF4DelphiPascalOther1.1k+23470