Infer
6.7#5 in c and c++ static analysis toolsFree planFree planWebLinuxmacOSSelf-hosted
Visit
| Fact | Infer | Qodana |
|---|---|---|
| Languages | The documentation lists Java, C, C++, Objective-C, and Erlang; the latest release notes also describe Python and Swift frontends and an experimental Rust frontend. | The paid editions support Groovy, Java, Kotlin, Python, C, C#, C++, VB.NET, Go, JavaScript, PHP, Ruby, Rust, and TypeScript. |
| Purpose | Infer is a static analysis tool that produces a list of potential bugs from Java or C/C++/Objective-C code. | Qodana runs static code analysis from the IDE through CI to detect code smells, duplicates, complexity, vulnerabilities, and license issues. |
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.
Qodana suits development teams that want code analysis and pipeline checks across supported IDEs and CI systems. Organizations that need the service inside their own infrastructure can consider Self-Hosted.