Infer
6.7#5 in c and c++ static analysis toolsFree planFree planWebLinuxmacOSSelf-hosted
Visit
| Fact | Infer | Understand |
|---|---|---|
| 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. | Supported language families include Ada, assembly, C/C++, C#, Fortran, Java, JOVIAL, Pascal/Delphi, Python, VHDL, Visual Basic and web languages. |
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.
Understand suits developers and teams working with supported languages who need code navigation, analysis, or CI automation. Its offline operation and local AI option may suit projects with strict data-handling needs.