EVERYTHING XIAOMI
Get listed
Side by side

GitHub CodeQL vs Infer

Infer

6.7#5 in c and c++ static analysis toolsFree plan
Free planWebLinuxmacOSSelf-hosted
Visit

What both publish

FactGitHub CodeQLInfer
PurposeCodeQL 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 languagesCodeQL 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.

GitHub CodeQL plans

  • Free for research and open sourceFree
  • CodeQL for open source and researchFree
  • GitHub Code Security$30 a month
  • GitHub Free with CodeQL code scanning—

Infer plans

  • Infer (free)Free

Pick GitHub CodeQL if…

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.

Pick Infer if…

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.

Charts they share