Static Analysis & Code Quality

— Asynchronous Lint Engine for Vim and NeoVim with support for many languages.

— Based on IntelliJ IDEA, and comes bundled with tools for Android including Android Lint.

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

:copyright: — 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).

— Unit test your Java or Kotlin architecture.

— ast-grep is a powerful tool designed for managing code at scale using Abstract Syntax Trees (AST). Think of it as a hybrid of grep, eslint, and codemod, with the ability to search, lint, and rewrite code based on its structure rather than plain text.

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

— A linter and formatter to help you to improve copywriting, correct spaces, words, punctuations between CJK (Chinese, Japanese, Korean).

:copyright: — 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.

— Open-Source static code analysis tool to discover, filter and prioritize security risks and vulnerabilities leading to sensitive data exposures (PII, PHI, PD). Highly configurable and easily extensible, built for security and engineering teams.

:copyright: — Better Code Hub checks your GitHub codebase against 10 engineering guidelines devised by the authority in software quality, Software Improvement Group.

— Checks your code and infra (various Git repositories supported, cloud stacks, CLI, Web Interface platform, integrationss available) for security and quality issues. Code Scanning/SAST/Linting using many tools/Scanners deduplicated with One Report (AI optional).

— A toolchain for web projects, aimed to provide functionalities to maintain them. Biome formats and lints code in a fraction of a second. It is the successor to Rome. It is designed to eventually replace Biome is designed to eventually replace Babel, ESLint, webpack, Prettier, Jest, and others.

:copyright: — BugProve is a firmware analysis platform featuring both static and dynamic analysis techniques to discover memory corruptions, command injections and other classes or common weaknesses in binary code. It also detects vulnerable dependencies, weak cryptographic parameters, misconfigurations, and more.

— Statically generates a call graph image and displays it on screen.

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

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

— A classpath and module path scanner for querying or visualizing class metadata or class relatedness.

:copyright: — AI-powered code reviews for Salesforce. Secure your developments, enforce best practice and control your technical debt in real-time.

:warning: — Language independent framework for creating code analysis - supports over 60 languages by default.

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

:copyright: — Code Analysis to ship Better Code, Faster.

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

:copyright: — Automated code review tool integrates with GitHub, Bitbucket and GitLab (even self-hosted). Available for JavaScript, TypeScript, Python, Ruby, Go, PHP, Java, Docker, and more. (open-source free)

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

:copyright: — Automated Code Analysis for repos on GitHub or BitBucket.

:copyright: — Automated code analysis tool to deal with technical depth. Integrates with Bitbucket and Gitlab. (free for Open Source Projects)

:copyright: — CodeIt.Right™ provides a fast, automated way to ensure that your source code adheres to (your) predefined design and style guidelines as well as best coding practices.

— Codemodder is a pluggable framework for building expressive codemods. Use Codemodder when you need more than a linter or code formatting tool. Use it to fix non-trivial security issues and other code quality problems.

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

— Ecosystem for structural matching JavaScript and TypeScript code. Offers search tool that understands code structure. Available as CLI tool and Visual Studio Code extension. It helps to search code faster and more accurately making you workflow more effective. Soon it will offer ESLint plugin to create your own rules in minutes to help with assuring codebase quality.

:copyright: — Code creation, debugging, navigation, refactoring, analysis and visualization tools that use the Roslyn engine in Visual Studio 2015 and up.

:copyright: — Code Quality and Security for Salesforce Developers. Made exclusively for the Salesforce platform, CodeScan’s code analysis solutions provide you with total visibility into your code health.

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

:copyright: — CodeSee is mapping and automating your app's services, directories, file dependencies, and code changes. It's like Google Map, but for code.t

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

:copyright: — Codety Scanner is a comprehensive source code scanner that embeds 5000+ static code analysis rules, which aim to detect code issues for 20+ programming languages and IaC tools.

:copyright: — Automated Code Reviews and Technical Debt management platform that supports 12+ languages.

:copyright: — Corgea is an AI-powered SAST scanner that helps developers find and fix insecure code. It finds business logic flaws, broken authentication, API vulnerabilities, and more with little false positives. Additionally, it automatically writes security fixes for them to approve. Corgea integrates with GitHub, GitLab, Azure DevOps, IDEs and CLI. It is free to try it.

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

:copyright: — 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.

— A Github Action for linting C/C++ code integrating clang-tidy and clang-format to collect feedback provided in the form of thread comments and/or annotations.

:warning: — Check your code quality for js, jsx, vue, css, less, scss, sass and styl files.

:warning: :copyright: — DeepCode was acquired by Snyk is now Snyk Code.

:copyright: — In-depth static analysis to find issues in verticals of bug risks, security, anti-patterns, performance, documentation and style. Native integrations with GitHub, GitLab and Bitbucket. Less than 5% false positives.

:copyright: — Deleaker is a memory leak detection tool for C++, .NET, and Delphi, integrating with Visual Studio, Qt Creator, and RAD Studio or running as a standalone application. It helps developers find and fix memory, GDI, and handle leaks efficiently.

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

:copyright: — Multi-language Static Application Security Testing (SAST) platform that detects critical vulnerabilities, including hardcoded secrets, weak cryptography, backdoors, SQL injections, insecure configurations, etc.

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

— A code formatter for .NET. Preferences will be read from an `.editorconfig` file, if present, otherwise a default set of preferences will be used. At this time dotnet-format is able to format C# and Visual Basic projects with a subset of supported `.editorconfig` options.

:copyright: — 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.

— Emerge is a source code and dependency visualizer that can be used to gather insights about source code structure, metrics, dependencies and complexity of software projects. After scanning the source code of a project it provides you an interactive web interface to explore and analyze your project by using graph structures.

— An extensible linter for JS, following the ECMAScript standard.

— A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance. Ezno's type checker is built from scratch. The checker is fully compatible with TypeScript type annotations and can work without any type annotations at all.

— The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)

:copyright: — 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.

— The Code Explorer mode in Freeplane is designed for analyzing the structure and dependencies of code compiled to JVM class files. It also allows displaying ArchUnit test results directly in Freeplane, if Freeplane is running and ArchUnit detects rule violations during the tests.

— Regexp based customizable linter.

:warning: — Finds N+1 queries (SQL calls in a for loop) in go code

— Grep rough audit - source code auditing tool.

:copyright: — Commercial Static Code Analysis.

:warning: — A static analysis tool written in scala for languages that run on JVM.

:warning: — Comments on style violations in GitHub pull requests. Supports Coffeescript, Go, HAML, JavaScript, Ruby, SCSS and Swift.

:warning: — Comment on commits coming into your repository and check for syntactic errors and general lint warnings.

:warning: — 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.

— A static analyzer for Java, C and Objective-C

— Keploy is an open-source testing platform that helps developers automate and streamline their testing process. It provides API, and integration testing agents, generating tests, mocks/stubs for APIs that actually work. Additionally, Keploy offers an AI-powered Unit Testing Agent that generates stable, useful unit tests directly in your GitHub PRs and in VSCode, helping catch errors and improve code quality.

:copyright: — 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.

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

:copyright: — Find security vulnerabilities, variants, and critical code quality issues using CodeQL queries over source code. Automatic PR code review; free for open source. Formerly semmle. It supports public Git repositories hosted on Bitbucket Cloud, GitHub.com, GitLab.com.

— Lizard is an extensible Cyclomatic Complexity Analyzer for many programming languages including C/C++ (doesn't require all the header files or Java imports). It also does copy-paste detection (code clone detection/code duplicate detection) and many other forms of static code analysis. Counts lines of code without comments, CCN (cyclomatic complexity number), token count of functions, parameter count of functions.

— Mega-Linter can handle any type of project thanks to its 70+ embedded Linters,

:copyright: — Mobb is a trusted, automatic vulnerability fixer that secures applications, reduces security backlogs, and frees developers to focus on innovation. Mobb is free for open-source projects.

— A static analyzer designed to easily reuse abstract domains across widely different languages (such as C and Python).

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

:copyright: — Commercial Static Code Analysis system doesn't require building the source code or pre-compilation.

— OpenRewrite fixes common static analysis issues reported through Sonar and other tools using a Maven and Gradle plugin or the Moderne CLI.

— OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.

— The Oxidation Compiler is creating a suite of high-performance tools for the JavaScript / TypeScript language re-written in Rust.

:copyright: — Automated Software Testing Solutions for unit-, API-, and web UI testing. Complies with MISRA, OWASP, and others.

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

:copyright: — Pixeebot finds security and code quality issues in your code and creates merge-ready pull requests with recommended fixes.

— A source code analyzer for Java, Salesforce Apex, Javascript, PLSQL, XML, XSL and others.

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

— Precaution is a static analysis security tool (SAST) designed to find potentially critical vulnerabilities in source code prior to production. It is available as a CLI, GitHub Action, and GitHub App.

— An opinionated code formatter.

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

:warning: — An engine for searching patterns in the source code, based on Unified AST or UST. At present time C#, Java, PHP, PL/SQL, T-SQL, and JavaScript are supported. Patterns can be described within the code or using a DSL.

— Pluggable and configurable code transformer with built-in eslint, babel plugins support for js, jsx typescript, flow, markdown, yaml and json.

:copyright: — A (conditionally free 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. Supports CWE mapping, OWASP ASVS, MISRA, AUTOSAR and SEI CERT coding standards.

— Code audit tool for Python and JavaScript. Wraps pycodestyle, pydocstyle, PyFlakes, Mccabe, Pylint, and more

:copyright: — Identify vulnerabilities that are unique to your code base before they reach production. Leverages the Code Property Graph (CPG) to run its analyses concurrently in a single graph of graphs. Automatically finds business logic flaws in dev like hardcoded secrets and logic bombs

— The free Visual Studio 2015 extension for C# and VB.NET refactorings, including code best practice analyzers.

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

:copyright: — Extends Visual Studio with on-the-fly code inspections for C#, VB.NET, ASP.NET, JavaScript, TypeScript and other technologies.

:copyright: — A static source code analyser for vulnerabilities in PHP scripts.

— Roslyn-based implementation of FxCop analyzers.

— Project that focuses on the identification of potential vulnerabilities such as SQL injection, cross-site scripting (XSS), CSRF, cryptography weaknesses, hardcoded passwords and many more.

— Validate and auto-generate TypeScript types from raw SQL queries in PostgreSQL. SafeQL is an ESLint plugin for writing SQL queries in a type-safe way.

:copyright: — Check the Android Source code thoroughly to uncover and address potential security concerns and vulnerabilities. Static application security testing (Static Code Analysis) tool Online

:copyright: — A proprietary code quality checker that can be integrated with GitHub.

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

— A fast, open-source, static analysis tool for finding bugs and enforcing code standards at editor, commit, and CI time. Its rules look like the code you already write; no abstract syntax trees or regex wrestling. Supports 17+ languages.

:copyright: — Quickly find and remediate high-priority security issues. Semgrep Supply Chain prioritizes the 2% of vulnerabilities that are reachable from your code.

— Scan is a free open-source DevSecOps platform for detecting security issues in source code and dependencies. It supports a broad range of languages and CI/CD pipelines.

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

:copyright: — Sigrid helps you to improve your software by measuring your system's code quality, and then compares the results against a benchmark of thousands of industry systems to give you concrete advice on areas where you can improve.

— A tool that finds similarities between or within files to support you encountering DRY principle violations.

:copyright: — Snyk Code finds security vulnerabilities based on AI. Its 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, JavaScript, Python, PHP, C#, Go and TypeScript. Integrations with GitHub, BitBucket and Gitlab. It is free to try and part of the Snyk platform also covering SCA, containers and IaC.

:copyright: — SonarQube Cloud enables your team to deliver clean code consistently and efficiently with a code review tool that easily integrates into the cloud DevOps platforms and extend your CI/CD workflow. SonarQube Cloud provides a free plan.

— SonarQube for IDE (formerly SonarLint) is a free IDE extension available for IntelliJ, VS Code, Visual Studio, and Eclipse, to find and fix coding issues in real-time, flagging issues as you code, just like a spell-checker. More than a linter, it also delivers rich contextual guidance to help developers understand why there is an issue, assess the risk, and educate them on how to fix it.

— SonarQube empowers development teams with a code quality and security solution that deeply integrates into your enterprise environment; enabling you to deploy clean code consistently and reliably. SonarQube provides a free and open source Community Build.

:copyright: — Reports known vulnerabilities in common dependencies and recommends updated packages to minimize breaking changes

:copyright: — Suite of static analysis tools consisting of the three components Sotoarc (Architecture Analysis), Sotograph (Quality Analysis), and Sotoreport (Quality report). Helps find differences between architecture and implementation, interface violations (e.g. external access of private parts of subsystems, detection of all classes, files, packages and subsystems which are strongly coupled by cyclical relationships and more. The Sotograph product family runs on Windows and Linux.

:copyright: — Static Code Analysis for C/C++, Java, C#, Python, and RPG III and RPG IV versions (including free-form).

— Performs static analysis on raw SQL queries in your Go code base to surface potential runtime errors. It checks for SQL syntax error, identifies unsafe queries that could potentially lead to SQL injections makes sure column count matches value count in INSERT statements and validates table- and column names.

:copyright: — Static Reviewer executes code checks according to the most relevant Secure Coding Standards, OWASP, CWE, CVE, CVSS, MISRA, CERT, for 40+ programming languages, using 1000+ built-in validation rules for Security, Deadcode & Best Practices Available a module for Software Composition Analysis (SCA) to find vulnerabilities in open source and third party libraries.

— Combination of multiple linters to install as a GitHub Action.

:copyright: — Static code analysis tool for Java,C,C++,C#,Go.

:copyright: — 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).

:copyright: — 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.

— Tencent Cloud Code Analysis (TCA for short, code-named CodeDog inside the company early) is a comprehensive platform for code analysis and issue tracking. TCA consist of three components, server, web and client. It integrates of a number of self-developed tools, and also supports dynamic integration of code analysis tools in various programming languages.

— Vulnerability Scanner and Risk Evaluation for containers, serverless and hosts at runtime. ThreatMapper generates runtime BOMs from dependencies and operating system packages, matches against multiple threat feeds, scans for unprotected secrets, and scores issues based on severity and risk-of-exploit.

— Linter for integrating annotated TODOs with your issue trackers

— A Simple and Comprehensive Vulnerability Scanner for Containers and other Artifacts, Suitable for CI. Trivy detects vulnerabilities of OS packages (Alpine, RHEL, CentOS, etc.) and application dependencies (Bundler, Composer, npm, yarn, etc.). Checks containers and filesystems.

:copyright: — Modern repositories include many technologies, each with its own set of linters. With 30+ linters and counting, Trunk makes it dead-simple to identify, install, configure, and run the right linters, static analyzers, and formatters for all your repos.

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

:copyright: — Code visualization tool that provides code analysis, standards testing, metrics, graphing, dependency analysis and more for Ada, VHDL, and others.

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

:copyright: — Code review tool with static code analysis and code-aware navigation for Java, PHP, JavaScript and Kotlin.

:copyright: — 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 analysis capabilities for Java bytecode and related languages and for JavaScript.

— A fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

:copyright: — WhiteHat Scout (for Developers) combined with WhiteHat Sentinel Source (for Operations) supporting WhiteHat Top 40 and OWASP Top 10.

:warning: — Pluggable TypeScript and JavaScript linter.

:copyright: — XCode provides a pretty decent UI for Clang's static code analyzer (C/C++, Obj-C).

— Static checker for GitHub Actions workflow files. Provides an online version.

:warning: — Spell, style and grammar checker.

— Catch insensitive, inconsiderate writing

— Inspects tar archives and tries to spot portability issues in regard to POSIX 2017 pax specification and common tar implementations.

— Discover, analyze, and certify container images. A service that analyzes Docker images and applies user-defined acceptance policies to allow automated container image validation and certification

— Run static analysis on Android projects.

:warning: — Combines lint errors of multiple projects into one output, check lint results of multiple sub-projects at once.

— Binary code analysis tool that also supports symbolic execution.

— Linter for Angular projects

— Checks playbooks for practices and behaviour that could potentially be improved.

— Check local CloudFormation templates against policy-as-code rules and generate rules from existing templates.

— Secure DevOps kit for Azure (AzSK) provides security IntelliSense, Security Verification Tests (SVTs), CICD scan vulnerabilities, compliance issues, and infrastructure misconfiguration in your infrastructure-as-code. Supports Azure via ARM.

— Secure DevOps kit for Azure (AzSK) provides security IntelliSense, Security Verification Tests (SVTs), CICD scan vulnerabilities, compliance issues, and infrastructure misconfiguration in your infrastructure-as-code. Supports Azure via ARM.

— Secure DevOps kit for Azure (AzSK) provides security IntelliSense, Security Verification Tests (SVTs), CICD scan vulnerabilities, compliance issues, and infrastructure misconfiguration in your infrastructure-as-code. Supports Azure via ARM.

— Secure DevOps kit for Azure (AzSK) provides security IntelliSense, Security Verification Tests (SVTs), CICD scan vulnerabilities, compliance issues, and infrastructure misconfiguration in your infrastructure-as-code. Supports Azure via ARM.

— Analyzes a raw binary firmware and determines features like endianness or the loading address. The tool is compatible with all architectures.

— A binary static analysis tool that provides security and correctness results for Windows portable executables.

:copyright: — Tool to analyze source code and binaries for reusable code, necessary licenses and potential security aspects.

— Ever wondered what's making your binary big? Bloaty McBloatface will show you a size profile of the binary so you can understand what's taking up space inside. Bloaty performs a deep analysis of the binary. Using custom ELF, DWARF, and Mach-O parsers, Bloaty aims to accurately attribute every byte of the binary to the symbol or compileunit that produced it. It will even disassemble the binary looking for references to anonymous data. F

:warning: — An HTML linter for Bootstrap projects.

— A static analysis security vulnerability scanner for Ruby on Rails applications.

— Provides a CLI linter that enforces good API design choices and structure

:warning: — Find out what takes most of the space in your executable. supports ELF (Linux, BSD), Mach-O (macOS) and PE (Windows) binaries.

— AWS Labs CloudFormation linter.

— A linter for AWS CloudFormation templates.

— ct is the tool for testing Helm charts. It is meant to be used for linting and testing pull requests. It automatically detects charts changed against the target branch.

— Linter / Analyzer for Makefiles.

— Linter / Analyzer for Makefiles.

— Static analysis tool for Terraform files (tf>=v0.12), preventing cloud misconfigs at build time.

— A linter for LaTex which catches some typographic errors LaTeX oversees.

:warning: — Linter, formatter and test suite helper. As a linter, it is a wrapper around `pep8`, `pydocstyle`, `flake8`, and `pylint`.

— Vulnerability Static Analysis for Containers.

— Cloud (IaC) Security plugin for JetBrains IDEs. Performs real-time inspections of Docker & Kubernetes IaC with 50+ rules based on Docker image/build security best practices, Kubernetes Pod Security Standards, and NSA/CISA Kubernetes Hardening Guidance.

— Cloud (IaC) Security plugin for JetBrains IDEs. Performs real-time inspections of Docker & Kubernetes IaC with 50+ rules based on Docker image/build security best practices, Kubernetes Pod Security Standards, and NSA/CISA Kubernetes Hardening Guidance.

— Cloud (IaC) Security plugin for JetBrains IDEs. Performs real-time inspections of Docker & Kubernetes IaC with 50+ rules based on Docker image/build security best practices, Kubernetes Pod Security Standards, and NSA/CISA Kubernetes Hardening Guidance.

— Clusterlint queries live Kubernetes clusters for resources, executes common and platform specific checks against these resources and provides actionable feedback to cluster operators. It is a non invasive tool that is run externally. Clusterlint does not alter the resource configurations.

— The open and extensible static analysis platform, for everyone.

:copyright: — Codecov is a company that provides code coverage tools for developers and engineering leaders to gain visibility into their code coverage.

:copyright: — AI-powered code review tool that helps developers write better code faster. CodeRabbit provides automated code reviews, identifies security vulnerabilities, and suggests code improvements. It integrates with GitHub and GitLab.

— Check code for common misspellings.

:warning: — Run arbitrary scripts inside containers, and gather useful information.

— checks if your commit messages meet the conventional commit format

— Fast detection of composer dependency issues.

— Fast detection of composer dependency issues.

— Cookstyle is a linting tool based on the RuboCop Ruby linting tool for Chef cookbooks.

— Credential Digger is a GitHub scanning tool that identifies hardcoded credentials (Passwords, API Keys, Secret Keys, Tokens, personal information, etc), and filtering the false positive data through a machine learning model called Password Model. This scanner is able to detect passwords and non structured tokens with a low false positive rate.

— Potentially interesting stats on stylesheets.

— A coding style formatter for CSS. Supports own configurations to make style sheets beautiful and consistent.

— Does basic syntax checking and finds problematic patterns or signs of inefficiency.

— cwe_checker finds vulnerable patterns in binary executables.

:warning: — Perform static analysis of known vulnerabilities in docker images/containers.

— A CLI tool to prevent Kubernetes misconfigurations by ensuring that manifests and Helm charts follow best practices as well as your organization’s policies

— A CLI tool to prevent Kubernetes misconfigurations by ensuring that manifests and Helm charts follow best practices as well as your organization’s policies

— A static analysis security scanner for ruby written web applications. It supports Sinatra, Padrino and Ruby on Rails frameworks.

— Scan Nix files for dead code (unused variable bindings)

:warning: — A set of utilities for working with PO files to ease development and improve quality.

— Official linter for Deno.

— An enterprise friendly way of detecting and preventing secrets in code.

:copyright: — Diffblue is a software company that provides AI-powered code analysis and testing solutions for software development teams.

:warning: — Lint and validate Dockerfile labels.

— Linting dotenv files like a charm.

— Lightning-fast linter for .env files. Written in Rust

— Linter for Ember or Handlebars templates.

:warning: — A static and dynamic analysis tool for Laravel applications that provides recommendations to improve the performance, security and code reliability of Laravel apps. Contains 120 automated checks.

:warning: — A static and dynamic analysis tool for Laravel applications that provides recommendations to improve the performance, security and code reliability of Laravel apps. Contains 120 automated checks.

— Lint your ERB or HTML files

— Lint your ERB or HTML files

— An automated code reviewing engine for PHP.

— A wrapper around `pyflakes`, `pycodestyle` and `mccabe`.

— flakeheaven is a python linter built around flake8 to enable inheritable and complex toml configuration.

— Static taint analysis tool for Android applications.

— A lint tool that checks Chef cookbooks for common problems.

— A linter for the Gherkin-Syntax written in Javascript.

— A software reverse engineering (SRE) suite of tools developed by NSA's Research Directorate in support of the Cybersecurity mission

— ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.

— ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.

— ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.

— ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.

— ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.

— ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.

— A SAST tool for detecting hardcoded secrets like passwords, api keys, and tokens in git repos.

— A tool to analyze Nginx configuration. The main goal is to prevent misconfiguration and automate flaw detection.

:warning: — Concurrently run Go lint tools and normalise their output. Use `golangci-lint` for new projects.

— A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.

— Golang security analysis with a focus on minimizing false positives. It is capable of tracing the source of variables and function arguments to determine whether input sources are safe.

— Concurrently runs many linters and normalises their output to a report.

— CSS Specificity Graph Generator.

:warning: — A Grunt wrapper for Bootlint, the HTML linter for Bootstrap projects.

:warning: — A gulp wrapper for Bootlint, the HTML linter for Bootstrap projects.

— Tool for writing clean and consistent HAML.

— A smarter Dockerfile linter that helps you build best practice Docker images.

:copyright: — HasMySecretLeaked is a project from GitGuardian that aims to help individual users and organizations search across 20 million exposed secrets to verify if their developer secrets have leaked on public repositories, gists, and issues on GitHub projects.

:copyright: — HasMySecretLeaked is a project from GitGuardian that aims to help individual users and organizations search across 20 million exposed secrets to verify if their developer secrets have leaked on public repositories, gists, and issues on GitHub projects.

:copyright: — macOS and Linux reverse engineering tool that lets you disassemble, decompile and debug applications. Hopper displays the code using different representations, e.g. the Control Flow Graph, and the pseudo-code of a procedure. Supports Apple Silicon.

:warning: — HTML Inspector is a code quality tool to help you and your team write better markup.

— Corrects and cleans up HTML and XML documents by fixing markup errors and upgrading legacy code to modern standards.

— Offline HTML5 validator.

— Offline HTML5 validator.

— A normaliser/beautifier for HTML that also understands embedded Ruby. Ideal for tidying up Rails templates.

— A normaliser/beautifier for HTML that also understands embedded Ruby. Ideal for tidying up Rails templates.

— A Static Code Analysis Tool for HTML.

:warning: — iblessing is an iOS security exploiting toolkit. It can be used for reverse engineering, binary analysis and vulnerability mining.

:warning: — iblessing is an iOS security exploiting toolkit. It can be used for reverse engineering, binary analysis and vulnerability mining.

:copyright: — Binary code analysis tool.

— Jakstab is an Abstract Interpretation-based, integrated disassembly and static analysis framework for designing analyses on executables and recovering reliable control flow graphs.

:copyright: — Decompile and debug binary code. Break down and analyze document files. Android Dalvik, MIPS, ARM, Intel x86, Java, WebAssembly & Ethereum Decompilers.

— A JSON parser and validator with a CLI. Standalone version of jsonlint.com

— The Kani Rust Verifier is a bit-precise model checker for Rust.

— Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible

— Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible

— Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible

— Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible

— Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible

— Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible

— A tool that listens to changes in Kubernetes resources and runs linting rules against them. Identify and debug erroneous objects and nudge objects in line with the policies as both change over time. Klint helps us encode checks and proactively alert teams when they need to take action.

— Krane is a simple Kubernetes RBAC static analysis tool.

— Krane is a simple Kubernetes RBAC static analysis tool.

— Fully cross-platform toolkit and library for MachO+Obj-C editing/analysis. Includes a cli kit, a curses GUI, ObjC header dumping, and much more.

— Fully cross-platform toolkit and library for MachO+Obj-C editing/analysis. Includes a cli kit, a curses GUI, ObjC header dumping, and much more.

:warning: — Hunt for security weaknesses in Kubernetes clusters.

:warning: — Hunt for security weaknesses in Kubernetes clusters.

— A linter for Kubernetes resources with a customizable rule set. You define a list of rules that you would like to validate against your resources and kube-lint will evaluate those rules against them.

— KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best practices.

— Static code analysis of your Kubernetes object definitions.

— A fast Kubernetes manifests validator with support for custom resources.

— KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best practices.

— Validates your Kubernetes configuration files and supports multiple Kubernetes versions.

— A tool for finding common mistakes in LaTeX documents.

— Style and grammar checker for 25+ languages. It finds many errors that a simple spell checker cannot detect.

— Adds static analysis to Laravel improving developer productivity and code quality. It is a wrapper around PHPStan.

— A Java library that allows existing tools to analyse the evolution of software systems by providing a common API for different version control systems and issue trackers.

— Static analysis tool for Debian packages.

— Lint an npm or yarn lockfile to analyze and detect security issues

— Lint an npm or yarn lockfile to analyze and detect security issues

:warning: — Open Source AppSec platform that automatically notifies you the next time vulnerabilities like Log4Shell or node-ipc happen. Track your dependencies and builds in a centralized service.

:warning: — A static analyzer, which checks portable executables for malicious content.

— Our security focused static analysis tool for Android and Java applications. Mariana Trench analyzes Dalvik bytecode and is built to run fast on large codebases (10s of millions of lines of code). It can find vulnerabilities as code changes, before it ever lands in your repository.

— Node.js -based style checker and lint tool for Markdown/CommonMark files.

:warning: — Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode. It translates ("lifts") executable binaries from native machine code to LLVM bitcode, which is very useful for performing program analysis methods.

— CommonMark compliant Markdown formatter

:warning: — A tool to check Markdown files and flag style issues.

— Format markdown code blocks using your favorite code formatters.

— Tool to check the validity of Puppet metadata.json files.

— Tool to check the validity of Puppet metadata.json files.

:warning: — Quick tool for fixing common misspellings, typos in source code.

— A spell-checker that groups possible misspellings and shows them in their contexts.

:warning: — A wrapper around `flake8`, `isort` and `modernize`.

— A symbolic execution framework with batteries included, can be used to find and exploit vulnerabilities in smart contracts automatically.

:copyright: — MythX is an easy to use analysis platform which integrates several analysis methods like fuzzing, symbolic execution and static analysis to find vulnerabilities with high precision. It can be integrated with toolchains like Remix or VSCode or called from the command-line.

— Static Linker/Compiler/Tool detector for Windows, Linux and MacOS.

— A static application testing (SAST) tool that can find insecure code patterns in your node.js applications using simple pattern matcher from libsast and syntax-aware semantic code pattern search tool semgrep.

— A static application testing (SAST) tool that can find insecure code patterns in your node.js applications using simple pattern matcher from libsast and syntax-aware semantic code pattern search tool semgrep.

— A static security code scanner for Node.js applications powered by libsast and semgrep that builds on the njsscan cli tool. It features a UI with various dashboards about an application's security status.

— A static security code scanner for Node.js applications powered by libsast and semgrep that builds on the njsscan cli tool. It features a UI with various dashboards about an application's security status.

— Helps you catch problems in your HTML/CSS/SVG

— Helps you catch problems in your HTML/CSS/SVG

— Linter for bitbake recipes used in open-embedded and YOCTO

— Suite of automated audit tools to examine the configuration and known vulnerabilities following the NIST-certified Security Content Automation Protocol (SCAP).

:copyright: — Enterprise vulnerability scanner for Android and iOS apps. It allows app owners and developers to secure each new version of a mobile app by integrating Oversecured into the development process.

:copyright: — Enterprise vulnerability scanner for Android and iOS apps. It allows app owners and developers to secure each new version of a mobile app by integrating Oversecured into the development process.

:warning: — Packj (pronounced package) is a command line (CLI) tool to vet open-source software packages for "risky" attributes that make them vulnerable to supply chain attacks. This is the tool behind our large-scale security analysis platform Packj.dev that continuously vets packages and provides free reports.

:warning: — A toolkit to detect some code smells in analyzed Android applications.

:warning: — Stylesheet analysis tool.

— A static analysis framework for Web Components.

— A verifier for FreeBSD and DragonFlyBSD port directories.

— A verifier for FreeBSD and DragonFlyBSD port directories.

— A tool for transforming styles with JS plugins. These plugins can lint your CSS, support variables and mixins, transpile future CSS syntax, inline images, and more.

— Analytics for CSS, part of Project Wallace.

:warning: — Promformat is a PromQL formatter written in Python.

— PromQL validator written in Python. It can be used to validate that PromQL expressions are written as expected.

— A linter for English prose with a focus on writing style instead of grammar.

— A wrapper around `pylint`, `pep8`, `mccabe` and others.

— Pluggable linter and fixer to enforce Protocol Buffer style and conventions.

:copyright: — Identifies code flaws and detects vulnerabilities to prevent web attacks. Demonstrates remote code execution by presenting possible exploits.

:copyright: — Code review as a service with built-in static analysis. Increase velocity and reduce technical debt through quality code review by expert engineers backed by best-in-class automation.

:warning: — Check that your Puppet manifests conform to the style guide.

:warning: — Pure is a static analysis file format checker that checks ZIP files for dangerous compression ratios, spec deviations, malicious archive signatures, mismatching local and central directory headers, ambiguous UTF-8 filenames, directory and symlink traversals, invalid MS-DOS dates, overlapping headers, overflow, underflow, sparseness, accidental buffer bleeds etc.

:warning: — Tool to look for several security related Android application vulnerabilities.

:warning: — Runs quality checks on your code using community tools, and makes sure your numbers don't get any worse over time.

:copyright: — Container native application protection to provide visibility and control of containerized applications.

:copyright: — Container native application protection to provide visibility and control of containerized applications.

:warning: — Automated code review & repair. It helps you to keep track of issues and metrics in your software projects, and can be easily extended to support new types of analyses.

:warning: — Automated code review & repair. It helps you to keep track of issues and metrics in your software projects, and can be easily extended to support new types of analyses.

— Redex provides a framework for reading, writing, and analyzing .dex files, and a set of optimization passes that use this framework to improve the bytecode. An APK optimized by Redex should be smaller and faster.

— Identifies and prioritizes God Classes and Highly Coupled classes in Java codebases you should refactor first.

— Identifies and prioritizes God Classes and Highly Coupled classes in Java codebases you should refactor first.

— Pluggable Markdown code style linter written in JavaScript.

— A tool for posting review comments from any linter in any code hosting service.

:copyright: — Discovers vulnerabilities for all components in your environment, filters out 85% non-exploitable vulnerabilities and creates a remediation plan and open tickets to upgrade components that violate your security policy and/or patch automatically in CI.

— Tool for checking common errors in rpm packages.

— Audit Rust binaries for known bugs or security vulnerabilities. This works by embedding data about the dependency tree (Cargo.lock) in JSON format into a dedicated linker section of the compiled executable.

:warning: — A Node-only Sass linter for both sass and scss syntax.

— Security Scorecards - Security health metrics for Open Source

:warning: — Linter for SCSS files.

:copyright: — Identifies vulnerabilities in open source code projects hosted on Github, Google Code, MS CodePlex, SourceForge, and more. The tool comes with over 130 default searches that identify SQL injection, cross-site scripting (XSS), insecure remote and local file includes, hard-coded passwords, etc.

:warning: — A lightweight static code analyzer designed for developers and security teams. It allows you to analyze and transform source code with an intuitive DSL similar to sed, but for code.

— Configurable tool for analyzing Slim templates.

— Static analysis framework that runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses.

— Solhint is an open source project created by https://protofire.io. Its goal is to provide a linting utility for Solidity code.

— Solium is a linter to identify and fix style and security issues in Solidity smart contracts.

— CSS Specificity Graph Generator.

— A flexible JSON/YAML linter, with out-of-the-box support for OpenAPI v2/v3 and AsyncAPI v2.

— A flexible JSON/YAML linter, with out-of-the-box support for OpenAPI v2/v3 and AsyncAPI v2.

— An npm module that checks for Javascript Styleguide issues.

— Lints and suggestions for the Nix programming language. "statix check" highlights antipatterns in Nix code. "statix fix" can fix several such occurrences.

:copyright: — Ansible Playbook Scanning Tool that analyzes and offers recommendations for your playbooks.

:copyright: — Ansible Playbook Scanning Tool that analyzes and offers recommendations for your playbooks.

:copyright: — Ansible Playbook Scanning Tool that analyzes and offers recommendations for your playbooks.

— Linter for SCSS/CSS files.

:copyright: — Detect security risks, find bugs and provide actionable metrics for PHP projects.

:copyright: — Detect security risks, find bugs and provide actionable metrics for PHP projects.

:copyright: — A secure DevOps platform for cloud and container forensics. Built on an open source stack, Sysdig provides Docker image scanning and created Falco, the open standard for runtime threat detection for containers, Kubernetes and cloud.

— A lightweight, compliance- and security focused, BDD test framework against Terraform.

— Collection of security and best practice tests for static code analysis of Terraform templates.

— A Language Server Protocol implementation for TeX/LaTeX, including lint capabilities.