Infer

Infer is ranked #3 of 38 in static analysis tools on Freedom251. It runs on Linux, macOS, Self-hosted, Web. There is a free plan.

Infer plans and pricing

All plans

Infer (free) Free Static analysis for supported programming languages; downloadable binary, source build, or Docker image fbinfer.com · 2 Oct 2026

Compared on static analysis tools

Free plan: Yes
Security analysis: Yes

Best Infer alternatives

See all 12

MATLAB Grader Free plan LinuxMacWebWin

Free6.7 CodeChecker apiextensionLinuxMacself-hosted

6.6 PMD Free plan LinuxMacself-hostedWin

Free6.6 Qodana Free plan apiLinuxMacself-hostedWeb

$5/mo6.6 Semgrep Code Free plan apiextensionLinuxMacself-hosted

$30/mo6.6 Snyk Open Source Free plan apiLinuxMacWebWin

$25/mo6.6

Infer

Purpose: Infer is a static analysis tool that produces a list of potential bugs from Java or C/C++/Objective-C code.
Java checks: For Android and Java, Infer checks null pointer exceptions, resource leaks, annotation reachability, missing lock guards, and concurrency race conditions.
C-family checks: For C, C++, and iOS/Objective-C, Infer checks null pointer dereferences, memory leaks, coding conventions, and unavailable APIs.
Supported languages: Infer is a static program analyzer for Java, C, C++, Objective-C, and Erlang, written in OCaml.
Deep analysis: Infer can detect issues such as null pointer dereferences and data races by reasoning across multiple functions or methods in different files.
Pulse: Pulse is an interprocedural memory safety analysis that can detect null dereferences in Java.
Cost analysis: Cost analysis computes asymptotic function complexity and supports C/C++/Objective-C and Java, with Hack experimental and no Python, Rust, or Swift support.
Integrations: Infer documents integrations for Buck, cmake, Gradle, Make, Maven, Xcodebuild, xctool, and compilation databases.
Deployment: Infer runs in Meta's continuous-integration pipeline to verify select properties of code modifications for projects including Facebook, Messenger, Instagram, and WhatsApp.
Installation: Infer can be installed from binary releases, built from source, or run using Docker images.
Browser demo: Infer can be tried on a small example in a browser through Codeboard.
Windows support: Infer is not supported on Windows; the documentation suggests using a Linux virtual machine if the project can compile on Linux.
Support: Support is provided through GitHub issues and the #infer IRC channel on Libera Chat.
License: The Infer repository states that Infer is MIT-licensed, while noting that enabling Java support may require GPL-licensed components.
Price from: Free

Visit site Alternatives

Where it ranks on Freedom251

Best Static Analysis Tools in 2026#3 of 38
Best C and C++ Static Analysis Tools in 2026#3 of 24

Is Infer yours?

Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.

Claim it free Promote Infer

Sources

fbinfer.com· checked 1 Oct 2026
fbinfer.com/docs/next/about-Infer/· checked 1 Oct 2026
fbinfer.com/docs/next/checker-pulse/· checked 1 Oct 2026
fbinfer.com/docs/next/checker-cost/· checked 1 Oct 2026
fbinfer.com/docs/next/analyzing-apps-or-projects/· checked 1 Oct 2026
fbinfer.com/docs/next/getting-started/· checked 1 Oct 2026
fbinfer.com/docs/support/· checked 1 Oct 2026
github.com/facebook/infer/blob/main/README.md· checked 1 Oct 2026
fbinfer.com/docs/about-Infer/· checked 2 Oct 2026
fbinfer.com/docs/infer-workflow/· checked 2 Oct 2026
fbinfer.com/docs/steps-for-ci/· checked 2 Oct 2026
fbinfer.com/docs/analyzing-apps-or-projects/· checked 2 Oct 2026