80 C Static Analysis Tools

Static and dynamic analysis tool supporting more than 25 languages and direct IDE integration. Free hosting for Open Source projects available on request. Free academic licenses available.

Static analysis of C/C++ code.

clang static analyser.

Free, open-source lightweight static analysis for many languages. Find and block bug variants with patterns that look like source code.

Sound static analyzer based on abstract interpretation for C/C++, detecting memory, type and concurrency defects, and MISRA violations.

Synopsys Coverity supports 20 languages and over 70 frameworks including Ruby on rails, Scala, PHP, Python, JavaScript, TypeScript, Java, Fortran, C, C++, C#, VB.NET.

CodeScene is a quality visualization tool for software. Prioritize technical debt, detect delivery risks, and measure organizational aspects. Fully automated.

A sound and extensible static analyzer for C code.

A ([conditionally free](https://www.viva64.com/en/b/0614/) for FOSS and individual developers) static analysis of C, C++, C# and Java code. For advertising purposes [you can propose a large FOSS project for analysis by PVS employees](https://github.com/viva64/pvs-studio-check-list). Supports CWE mapping, MISRA and CERT coding standards.

Analyzes C/C++ code using LLVM at compile-time.

DeepCode finds bugs, security vulnerabilities, performance and API issues based on AI. DeepCode's speed of analysis allow us to analyse your code in real time and deliver results when you hit the save button in your IDE. Supported languages are Java, C/C++, JavaScript, Python, and TypeScript. Integrations with GitHub, BitBucket and Gitlab.

A LLVM-based static analysis framework which comes with a taint and type state analysis.

A static analyzer for Java, C and Objective-C

Advanced, whole program, deep path, static analysis of C and C++ with easy-to-understand explanations and code and path visualization.

Enterprise-grade static analysis for embedded software. Supports MISRA, CERT, and AUTOSAR coding standards.

Quality and Security Static analysis for C/C++, Java and C#.

Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.

Static analysis for C/C++. Runs natively under Windows/Linux/MacOS. Analyzes code for virtually any platform, supporting C11/C18 and C++17.

Commercial Static Code Analysis.

Beautify HTML, CSS, JavaScript, PHP, Python, Ruby, Java, C, C++, C#, Objective-C, CoffeeScript, TypeScript, Coldfusion, SQL, and more in Atom editor.

Cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.

Identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software.

Find security vulnerabilities, variants, and critical code quality issues using queries over source code. Automatic PR code review; free for public GitHub/Bitbucket repo: [LGTM.com](https://LGTM.com).

Universal code beautifier with a GitHub app. Supports HTML, CSS, JavaScript, TypeScript, JSX, Vue, C++, Go, Objective-C, Java, Python, PHP, GraphQL, Markdown, and more.

Tracks down error-prone code locations, style violations, cloned or dead code, cyclic dependencies and more for C/C++, C#/.NET, Java and Ada 83/Ada 95.

Automated C++ checker that follows Google's style guide.

Finds possible security weaknesses.

A sound static analyzer for C/C++ code based on LLVM.

A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.

Provide code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++ source code.

A framework for managing and maintaining multi-language pre-commit hooks.

Annotation-assisted static program checker.

Linter for integrating annotated TODOs with your issue trackers

Static analysis for C/C++/C#, PHP and Java.

Commercial Static Code Analysis which generates exploits to verify vulnerabilities.

Creates reports of over 400 rule patterns for feature detection (e.g. the use of cryptography or version control in apps).

Qt-oriented static code analyzer based on the Clang framework. clazy is a compiler plugin which allows clang to understand Qt semantics. You get more than 50 Qt related compiler warnings, ranging from unneeded memory allocations to misusage of API, including fix-its for automatic refactoring.

Measures size and complexity for C files.

Language independent framework for creating code analysis - supports [over 60 languages](https://coala.io/languages) by default.

Structural source code analyzer by NASA's Jet Propulsion Laboratory.

Code quality and technical debt management platform that supports 10+ languages.

Provides a unified interface to sort and act on the issues it finds.

A defect database and viewer extension for the Clang Static Analyzer with web GUI.

Automated Code Analysis for repos on GitHub or BitBucket.

CI/CD-agnostic DevSecOps platform which combines industry-leading fuzzing engines for finding bugs and visualizing code coverage

Deep code analysis - semantic queries and dataflow for several languages with VSCode plugin support.

Quality metrics for C code.

Analyses the comprehensive dependencies of code elements for Java, C/C++, Ruby.

Regex-based static analysis tool for Visual Studio, VS Code, and Sublime Text - C/C++, C#, PHP, ASP, Python, Ruby, Java, and others.

ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.

A commercial static analysis platform that supports the scanning of C/C++, C#, VB.NET, VB6, ABAP/BSP, ActionScript, Apex, ASP.NET, Classic ASP, VB Script, Cobol, ColdFusion, HTML, Java, JS, JSP, MXML/Flex, Objective-C, PHP, PL/SQL, T-SQL, Python (2.6, 2.7), Ruby (1.9.3), Swift, Scala, VB, and XML.

Regexp based customizable linter.

Grep rough audit - source code auditing tool.

A multi-language static analyzer for C/C++/Obj-C/Python/Ruby to create a graph (in dot or graphml format) which shows all `#include` relations of a given set of files.

Open-source code analysis platform for C/C++ based on code property graphs

Identify and remediate cyber threats in a blazingly fast, collaborative environment, with seamless integration in your SDLC. Python, C\C++, Java, C#, PHP and more.

Deep code analysis for GitHub and Bitbucket to find security vulnerabilities and critical code quality issues (using Semmle QL). Automatic code review for pull requests; free for public repositories.

Benchmark against thousands of projects, and analyse code for structural quality with focus on maintainability.

A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C.

Quick automated code review of your changes. Supports more than 40 runners for various languages, including Clang, Elixir, JavaScript, PHP, Ruby and more.

A static file linter that allows you to write custom rules using regular expressions (RegEx).

Security code analyzer for C# and VB.NET. Detects various security vulnerability patterns: SQLi, XSS, CSRF, XXE, Open Redirect, etc. Integrates into Visual Studio 2015 and newer. Detects various security vulnerability patterns: SQLi, XSS, CSRF, XXE, Open Redirect, etc.

Complexity and quality metrics for for C and C preprocessor code.

SAST tool which is capable of identifying vulnerabilities and undocumented features. The analyzer scans the source code and executables without debug info (i.e. binaries). Supports: Java/Scala/Kotlin, PHP, C#, JavaScript, TypeScript, VBScript, HTML5, Python, Perl, C/C++, Objective-C/Swift, PL/SQL, T-SQL, ABAP, 1C, Apex, Go, Ruby, Groovy, Delphi, VBA, Visual Basic 6, Solidity, Vyper, COBOL.

SonarLint is an extension for Visual Studio 2015 and 2017 that provides on-the-fly feedback to developers on new bugs and quality issues injected into .NET code.

A static tool that enables scalable and precise interprocedural dependence analysis for C and C++ programs.

A fast and accurate static analysis solution for C/C++, C#, Lua codes provided by Tencent. Using GPLv3 license.

Language-independent tool for massive, automatic, programmable refactoring based on simple pattern definitions.

Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.

Find flaws in binaries and bytecode without requiring source. Support all major programming languages: Java, .NET, JavaScript, Swift, Objective-C, C, C++ and more.

Static code analysis for binary and source code - Java/Scala, PHP, Javascript, C#, PL/SQL, Python, T-SQL, C/C++, ObjectiveC/Swift, Visual Basic 6.0, Ruby, Delphi, ABAP, HTML5 and Solidity.

Commercial Static Code Analysis which runs locally, but uploads the results to its cloud for presentation.

A commercial static analysis platform that allows for scanning of multiple languages (C/C++, Android, C#, Java, JS, PHP, Python, Node.JS, Ruby, Fortran, and Swift).

XCode provides a pretty decent UI for [Clang's](http://clang-analyzer.llvm.org/xcode.html) static code analyzer (C/C++, Obj-C).

Intelligent software analytics platform that identifies design issues, code issues, duplication and metrics. Supports Java, C, C++, C#, JavaScript, TypeScript, Python, Go, Kotlin and more.

Commercial Static Code Analysis which doesn't require pre-compilation.