List of tools for static code analysis

This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis). == Static code analysis tools == == Languages == === Ada === CodePeer ConQAT Fluctuat LDRA Testbed MALPAS Polyspace SofCheck Inspector Squore Understand === C, C++ === Astree Axivion Suite (Bauhaus) BLAST Clang Coccinelle Coverity CPAchecker Cppcheck Cppdepend Cpplint ECLAIR Eclipse Fluctuat Frama-C GCC Helix QAC Facebook Infer Klocwork Lint LDRA Testbed Parasoft C/C++test PC-lint Plus Polyspace PVS-Studio SLAM project Sparse SonarQube Splint Understand Visual Studio === C# === Axivion Suite (Bauhaus) Code Dx CodeScene CodeQL Coverity Fluid Attacks Kiuwan Klocwork .NET Compiler Platform PVS-Studio SonarQube Sotoarc StyleCop Squore Understand Visual Studio === IEC 61131-3 === CODESYS Static Analysis – integrated add-on for CODESYS (application code realized e.g.

Source: Wikipedia — List of tools for static code analysis (CC BY-SA 4.0)