Analysis tools logo
No results for 'undefined'
Search powered by Algolia

Best 71 C static analysis tools

What is C?

C is an imperative procedural language. It was designed to be compiled to provide low-level access to memory and language constructs that map efficiently to machine instructions, all with minimal runtime support. Despite its low-level capabilities, the language was designed to encourage cross-platform programming. A standards-compliant C program written with portability in mind can be compiled for a wide variety of computer platforms and operating systems with few changes to its source code.

(Source)

What are the best C analysis tools?

6

CodeScene

CodeScene prioritizes technical debt, finds social patterns and identifies hidden risks in your code.

3

DeepCode

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.

1

Atom-Beautify

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

1

Depends

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

1

Semgrep

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

1

TscanCode

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

0

AppChecker

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

0

Application Inspector

Commercial Static Code Analysis which generates exploits to verify vulnerabilities.

0

ApplicationInspector

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

0

APPscreener

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.

0

Astrée

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

0

Axivion Bauhaus Suite

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.

0

CAST Highlight

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

0

CBMC

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

0

clang-tidy

clang static analyser.

0

CMetrics

Measures size and complexity for C files.

0

coala

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

0

Cobra

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

0

codeburner

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

0

codechecker

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

0

CodeFactor

Static Code Analysis for C#, C, C++, CoffeeScript, CSS, Groovy, GO, JAVA, JavaScript, Less, Python, Ruby, Scala, SCSS, TypeScript.

0

CodeSonar from GrammaTech

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

0

Corrode

Semi-automatic translation from C to Rust. Could reveal bugs in the original implementation by showing Rust compiler warnings and errors.

0

Coverity

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.

0

cppcheck

Static analysis of C/C++ code.

0

CppDepend

Measure, query and visualize your code and avoid unexpected issues, technical debt and complexity.

0

cpplint

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

0

cqmetrics

Quality metrics for C code.

0

CScout

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

0

DevSkim

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

0

Embold

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.

0

flawfinder

Finds possible security weaknesses.

0

flint++

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

0

Fortify

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.

0

Frama-C

A sound and extensible static analyzer for C code.

0

Goodcheck

Regexp based customizable linter.

0

graudit

Grep rough audit - source code auditing tool.

0

Helix QAC

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

0

IKOS

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

0

include-gardener

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.

0

Infer

A static analyzer for Java, C and Objective-C

0

Kiuwan

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.

0

Klocwork

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

0

LDRA

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

0

oclint

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

0

pfff

Facebook's tools for code analysis, visualizations, or style-preserving source transformation for many languages.

0

Phasar

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

0

Polyspace Bug Finder

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

0

Polyspace Code Prover

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.

0

pre-commit

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

0

Pronto

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

0

PVS-Studio

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.

0

relint

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

0

scan-build

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

0

Security Code Scan

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.

0

Semmle QL and LGTM

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).

0

shipshape

Static program analysis platform that allows custom analyzers to plug in through a common interface.

0

SmartDec Scanner

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.

0

SonarLint for Visual Studio

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.

0

splint

Annotation-assisted static program checker.

0

SVF

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

0

Synopsys

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).

0

Teamscale

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.

0

Undebt

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

0

Unibeautify

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.

0

vera++

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

0

Veracode

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

0

XCode

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

0

PC-lint

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

❤️ Sponsor this project

We are currently looking for partners who want to sponsor hosting and development of the project.

Check out our Github Sponsors page here

Missing an entry? Please let us know.

© analysis-tools.dev