
GitHub CodeQL
7.5#1 in git gui clientsFrom $30 a monthFree planWebExtensionLinuxmacOS
Visit
| Fact | GitHub CodeQL | Infer |
|---|---|---|
| Purpose | CodeQL is a language and toolchain for code analysis that treats code as data. | Infer is a static analysis tool that produces a list of potential bugs from Java or C/C++/Objective-C code. |
| Supported languages | CodeQL supports C/C++, C#, Go, Java, Kotlin, JavaScript, TypeScript, Python, Ruby, Rust, Swift, and GitHub Actions workflows. | Infer is a static program analyzer for Java, C, C++, Objective-C, and Erlang, written in OCaml. |
CodeQL is for developers and security teams who want query-based code analysis in an IDE, CLI, or CI workflow. Its availability depends on supported languages, operating systems, and repository eligibility.
Infer suits developers and teams who want static checks for supported languages before code ships, including in CI workflows. It is not suitable for Windows-native use, and it only analyzes files captured during compilation.