This repository lists static analysis tools for all programming languages, build tools, config files and more.
The official website, analysis-tools.dev is based on this repository and adds rankings, user comments, and additional resources like videos for each tool.
Static program analysis is the analysis of computer software that is performed without actually executing programs — Wikipedia
The most important thing I have done as a programmer in recent years is to aggressively pursue static code analysis. Even more valuable than the hundreds of serious bugs I have prevented with it is the change in mindset about the way I view software reliability and code quality. — John Carmack (Creator of Doom)
This project would not be possible without the generous support of our sponsors.
 |
 |
 |
 |
If you also want to support this project, head over to our Github sponsors page.
- ©️ stands for proprietary software. All other tools are Open Source.
- ℹ️ indicates that the community does not recommend to use this tool for new projects anymore. The icon links to the discussion issue.
⚠️ means that this tool was not updated for more than 1 year, or the repo was archived.
Pull requests are very welcome!
Also check out the sister project, awesome-dynamic-analysis.
Show languages
- abaplint - Linter for ABAP, written in TypeScript.
- abapOpenChecks - Enhances the SAP Code Inspector with new and customizable checks.
- Codepeer ©️ - Detects run-time and logic errors.
- Polyspace for Ada ©️ - Provide code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code.
- SPARK ©️ - Static analysis and formal verification toolset for Ada.
- Understand ©️ - IDE that provides code analysis, standards testing, metrics, graphing, dependency analysis and more for Ada and VHDL.
- STOKE - A programming-language agnostic stochastic optimizer for the x86_64 instruction set. It uses random search to explore the extremely high-dimensional space of all possible program transformations.
- gawk --lint - Warns about constructs that are dubious or nonportable to other awk implementations.
- Astrée ©️ - Sound static analyzer based on abstract interpretation for C/C++, detecting memory, type and concurrency defects, and MISRA violations.
- CBMC - Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.
- clang-tidy - clang static analyser.
- clazy - 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.
- CMetrics - Measures size and complexity for C files.
- CodeSonar from GrammaTech ©️ - Advanced, whole program, deep path, static analysis of C and C++ with easy-to-understand explanations and code and path visualization.
- cppcheck - Static analysis of C/C++ code.
- CppDepend
⚠️ ©️ - Measure, query and visualize your code and avoid unexpected issues, technical debt and complexity. - cpplint - Automated C++ checker that follows Google's style guide.
- cqmetrics - Quality metrics for C code.
- CScout - Complexity and quality metrics for for C and C preprocessor code.
- ESBMC - 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.
- flawfinder - Finds possible security weaknesses.
- flint++ - Cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.
- Frama-C - A sound and extensible static analyzer for C code.
- Helix QAC ©️ - Enterprise-grade static analysis for embedded software. Supports MISRA, CERT, and AUTOSAR coding standards.
- IKOS - A sound static analyzer for C/C++ code based on LLVM.
- Joern - Open-source code analysis platform for C/C++ based on code property graphs
- LDRA ©️ - A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.
- 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.
- Phasar - A LLVM-based static analysis framework which comes with a taint and type state analysis.
- Polyspace Bug Finder ©️ - Identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software.
- 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.
- scan-build - Analyzes C/C++ code using LLVM at compile-time.
- splint - Annotation-assisted static program checker.
- SVF - A static tool that enables scalable and precise interprocedural dependence analysis for C and C++ programs.
- vera++ - Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.
- .NET Analyzers - An organization for the development of analyzers (diagnostics and code fixes) using the .NET Compiler Platform.
- ArchUnitNET - A C# architecture test library to specify and assert architecture rules in C# for automated testing.
- Code Analysis Rule Collection
⚠️ - Contains a set of diagnostics, code fixes and refactorings built on the Microsoft .NET Compiler Platform "Roslyn". - code-cracker - An analyzer library for C# and VB that uses Roslyn to produce refactorings, code analysis, and other niceties.
- CSharpEssentials - C# Essentials is a collection of Roslyn diagnostic analyzers, code fixes and refactorings that make it easy to work with C# 6 language features.
- Designite ©️ - Designite supports detection of various architecture, design, and implementation smells, computation of various code quality metrics, and trend analysis.
- Gendarme - Gendarme inspects programs and libraries that contain code in ECMA CIL format (Mono and .NET).
- NDepend ©️ - Measure, query and visualize your code and avoid unexpected issues, technical debt and complexity.
- Puma Scan - Puma Scan provides real time secure code analysis for common vulnerabilities (XSS, SQLi, CSRF, LDAPi, crypto, deserialization, etc.) as development teams write code in Visual Studio.
- Roslynator - A collection of 190+ analyzers and 190+ refactorings for C#, powered by Roslyn.
- VSDiagnostics - A collection of static analyzers based on Roslyn that integrates with VS.
- Wintellect.Analyzers - .NET Compiler Platform ("Roslyn") diagnostic analyzers and code fixes.
- Astrée ©️ - Sound static analyzer based on abstract interpretation for C/C++, detecting memory, type and concurrency defects, and MISRA violations.
- CBMC - Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.
- clang-tidy - clang static analyser.
- clazy - 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.
- CMetrics - Measures size and complexity for C files.
- CodeSonar from GrammaTech ©️ - Advanced, whole program, deep path, static analysis of C and C++ with easy-to-understand explanations and code and path visualization.
- cppcheck - Static analysis of C/C++ code.
- CppDepend
⚠️ ©️ - Measure, query and visualize your code and avoid unexpected issues, technical debt and complexity. - cpplint - Automated C++ checker that follows Google's style guide.
- cqmetrics - Quality metrics for C code.
- CScout - Complexity and quality metrics for for C and C preprocessor code.
- ESBMC - 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.
- flawfinder - Finds possible security weaknesses.
- flint++ - Cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.
- Frama-C - A sound and extensible static analyzer for C code.
- Helix QAC ©️ - Enterprise-grade static analysis for embedded software. Supports MISRA, CERT, and AUTOSAR coding standards.
- IKOS - A sound static analyzer for C/C++ code based on LLVM.
- Joern - Open-source code analysis platform for C/C++ based on code property graphs
- LDRA ©️ - A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.
- 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.
- Phasar - A LLVM-based static analysis framework which comes with a taint and type state analysis.
- Polyspace Bug Finder ©️ - Identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software.
- 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.
- scan-build - Analyzes C/C++ code using LLVM at compile-time.
- splint - Annotation-assisted static program checker.
- SVF - A static tool that enables scalable and precise interprocedural dependence analysis for C and C++ programs.
- vera++ - Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.
- clj-kondo - A linter for Clojure code that sparks joy. It informs you about potential errors while you are typing.
- coffeelint - A style checker that helps keep CoffeeScript code clean and consistent.
- ameba - A static code analysis tool for Crystal.
- crystal - The Crystal compiler has built-in linting functionality.
- effective_dart - Linter rules corresponding to the guidelines in Effective Dart
- lint - An opinionated, community-driven set of lint rules for Dart and Flutter projects. Like pedantic but stricter
- Linter for dart - Style linter for Dart.
- Fix Insight ©️ - A free IDE Plugin for static code analysis. A Pro edition includes a command line tool for automation purposes.
- Pascal Analyzer ©️ - A static code analysis tool with numerous reports. A free Lite version is available with limited reporting.
- Pascal Expert ©️ - IDE plugin for code analysis. Includes a subset of Pascal Analyzer reporting capabilities and is available for Delphi versions 2007 and later.
- D-scanner - D-Scanner is a tool for analyzing D source code.
- credo - A static code analysis tool with a focus on code consistency and teaching.
- sobelow - Security-focused static analysis for the Phoenix Framework.
- elm-analyse - A tool that allows you to analyse your Elm code, identify deficiencies and apply best practices.
- elm-review - Analyzes whole Elm projects, with a focus on shareable and custom rules written in Elm that add guarantees the Elm compiler doesn't give you.
- elvis - Erlang Style Reviewer.
- Primitive Erlang Security Tool (PEST) - A tool to do a basic scan of Erlang source code and report any function calls that may cause Erlang source code to be insecure.
- FSharpLint - Lint tool for F#.
- i-Code CNES for Fortran - An open source static code analysis tool for Fortran 77, Fortran 90 and Shell.
- aligncheck - Find inefficiently packed structs.
- bodyclose - Checks whether HTTP response body is closed.
- deadcode - Finds unused code.
- dingo-hunter - Static analyser for finding deadlocks in Go.
- dogsled - Finds assignments/declarations with too many blank identifiers.
- dupl - Reports potentially duplicated code.
- errcheck - Check that error return values are used.
- flen - Get info on length of functions in a Go package.
- go tool vet --shadow - Reports variables that may have been unintentionally shadowed.
- go vet - Examines Go source code and reports suspicious.
- go-consistent - Analyzer that helps you to make your Go programs more consistent.
- go-critic - Go source code linter that maintains checks which are currently not implemented in other linters.
- go/ast - Package ast declares the types used to represent syntax trees for Go packages.
- gochecknoglobals - Checks that no globals are present.
- goconst - Finds repeated strings that could be replaced by a constant.
- gocyclo - Calculate cyclomatic complexities of functions in Go source code.
- gofmt -s - Checks if the code is properly formatted and could not be further simplified.
- goimports - Checks missing or unreferenced package imports.
- GolangCI-Lint - Alternative to
Go Meta Linter: GolangCI-Lint is a linters aggregator. - golint - Prints out coding style mistakes in Go source code.
- goroutine-inspect - An interactive tool to analyze Golang goroutine dump.
- gosec (gas) - Inspects source code for security problems by scanning the Go AST.
- gotype - Syntactic and semantic analysis similar to the Go compiler.
- ineffassign - Detect ineffectual assignments in Go code.
- interfacer
⚠️ - Suggest narrower interfaces that can be used. - lll - Report long lines.
- maligned - Detect structs that would take less memory if their fields were sorted.
- misspell - Finds commonly misspelled English words.
- nakedret - Finds naked returns.
- nargs - Finds unused arguments in function declarations.
- prealloc - Finds slice declarations that could potentially be preallocated.
- revive - Fast, configurable, extensible, flexible, and beautiful linter for Go. Drop-in replacement of golint.
- safesql - Static analysis tool for Golang that protects against SQL injections.
- staticcheck - Go static analysis that specialises in finding bugs, simplifying code and improving performance.
- structcheck - Find unused struct fields.
- test - Show location of test failures from the stdlib testing module.
- unconvert - Detect redundant type conversions.
- unparam - Find unused function parameters.
- varcheck - Find unused global variables and constants.
- wsl - Enforces empty lines at the right places.
- CodeNarc - A static analysis tool for Groovy source code, enabling monitoring and enforcement of many coding standards and best practices.
- brittany - Haskell source code formatter
- HLint - HLint is a tool for suggesting possible improvements to Haskell code.
- Stan - Stan is a command-line tool for analysing Haskell projects and outputting discovered vulnerabilities in a helpful way with possible solutions for detected problems.
- Weeder - A tool for detecting dead exports or package imports in Haskell code.
- Haxe Checkstyle - A static analysis tool to help developers write Haxe code that adheres to a coding standard.
- Checker Framework - Pluggable type-checking for Java.
- checkstyle - Checking Java source code for adherence to a Code Standard or set of validation rules (best practices).
- ck - Calculates Chidamber and Kemerer object-oriented metrics by processing the source Java files.
- ckjm - Calculates Chidamber and Kemerer object-oriented metrics by processing the bytecode of compiled Java files.
- CogniCrypt - Checks Java source and byte code for incorrect uses of cryptographic APIs.
- DesigniteJava ©️ - DesigniteJava supports detection of various architecture, design, and implementation smells along with computation of various code quality metrics.
- Error-prone - Catch common Java mistakes as compile-time errors.
- fb-contrib - A plugin for FindBugs with additional bug detectors.
- forbidden-apis - Detects and forbids invocations of specific method/class/field (like reading from a text stream without a charset). Maven/Gradle/Ant compatible.
- google-java-format - Google Style Reformat.
- HuntBugs
⚠️ - Bytecode static analyzer tool based on Procyon Compiler Tools aimed to supersede FindBugs. - IntelliJ IDEA ©️ - Comes bundled with a lot of inspections for Java and Kotlin and includes tools for refactoring, formatting and more.
- JArchitect ©️ - Measure, query and visualize your code and avoid unexpected issues, technical debt and complexity.
- JBMC - Bounded model-checker for Java (bytecode), verifies user-defined assertions, standard assertions, several coverage metric analyses.
- NullAway - Type-based null-pointer checker with low build-time overhead; an Error Prone plugin.
- OWASP Dependency Check - Checks dependencies for known, publicly disclosed, vulnerabilities.
- qulice - Combines a few (pre-configured) static analysis tools (checkstyle, PMD, Findbugs, ...).
- Soot - A framework for analyzing and transforming Java and Android applications.
- Spoon - Spoon is a metaprogramming library to analyze and transform Java source code (incl Java 9, 10, 11, 12, 13, 14). It parses source files to build a well-designed AST with powerful analysis and transformation API. Can be integrated in Maven and Gradle.
- SpotBugs - SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
- aether - Lint, analyze, normalize, transform, sandbox, run, step through, and visualize user JavaScript, in node or the browser.
- Closure Compiler - A compiler tool to increase efficiency, reduce size, and provide code warnings in JavaScript files.
- ClosureLinter
⚠️ - Ensures that all of your project's JavaScript code follows the guidelines in the Google JavaScript Style Guide. It can also automatically fix many common errors. - complexity-report
⚠️ - Software complexity analysis for JavaScript projects. - DeepScan ©️ - An analyzer for JavaScript which targets runtime errors and quality issues rather than coding conventions.
- es6-plato - Visualize JavaScript (ES6) source complexity.
- escomplex - Software complexity analysis of JavaScript-family abstract syntax trees.
- Esprima - ECMAScript parsing infrastructure for multipurpose analysis.
- flow - A static type checker for JavaScript.
- hegel - A static type checker for JavaScript with a bias on type inference and strong type systems.
- jshint ℹ️ - Detect errors and potential problems in JavaScript code and enforce your team's coding conventions.
- JSLint ℹ️ - The JavaScript Code Quality Tool.
- JSPrime
⚠️ - Static security analysis tool. - plato
⚠️ - Visualize JavaScript source complexity. - retire.js - Scanner detecting the use of JavaScript libraries with known vulnerabilities.
- RSLint - A (WIP) JavaScript linter written in Rust designed to be as fast as possible, customizable, and easy to use.
- tern - A JavaScript code analyzer for deep, cross-editor language support.
- xo - Opinionated but configurable ESLint wrapper with lots of goodies included. Enforces strict and readable code.
- yardstick
⚠️ - Javascript code metrics.
- StaticLint - Static Code Analysis for Julia
- detekt - Static code analysis for Kotlin code.
- diktat - Strict coding standard for Kotlin and a linter that detects and auto-fixes code smells.
- ktlint - An anti-bikeshedding Kotlin linter with built-in formatter.
- luacheck - A tool for linting and static analysis of Lua code.
- mlint ©️ - Check MATLAB code files for possible problems.
- churn-php
⚠️ - Helps discover good candidates for refactoring. - dephpend - Dependency analysis tool.
- deprecation-detector - Finds usages of deprecated (Symfony) code.
- deptrac - Enforce rules for dependencies between software layers.
- DesignPatternDetector - Detection of design patterns in PHP code.
- EasyCodingStandard - Combine PHP_CodeSniffer and PHP-CS-Fixer.
- GrumPHP - Checks code on every commit.
- Mondrian - A set of static analysis and refactoring tools which use graph theory.
- parallel-lint - This tool checks syntax of PHP files faster than serial check with a fancier output.
- Parse - A Static Security Scanner.
- pdepend - Calculates software metrics like cyclomatic complexity for PHP code.
- phan - A modern static analyzer from etsy.
- PHP Architecture Tester - Easy to use architecture testing tool for PHP.
- PHP Assumptions - Checks for weak assumptions.
- PHP Coding Standards Fixer - Fixes your code according to standards like PSR-1, PSR-2, and the Symfony standard.
- PHP Insights - Instant PHP quality checks from your console. Analysis of code quality and coding style as well as overview of code architecture and its complexity.
- Php Inspections (EA Extended) - A Static Code Analyzer for PHP.
- PHP Refactoring Browser - Refactoring helper.
- PHP Semantic Versioning Checker - Suggests a next version according to semantic versioning.
- PHP-Parser - A PHP parser written in PHP.
- php-speller - PHP spell check library.
- PHP-Token-Reflection - Library emulating the PHP internal reflection.
- php7cc
⚠️ - PHP 7 Compatibility Checker. - php7mar
⚠️ - Assist developers in porting their code quickly to PHP 7. - PHP_CodeSniffer - Detects violations of a defined set of coding standards.
- phpca - Finds usage of non-built-in extensions.
- phpcf - Finds usage of deprecated PHP features.
- phpcpd - Copy/Paste Detector for PHP code.
- phpdcd
⚠️ - Dead Code Detector (DCD) for PHP code. - PhpDependencyAnalysis - Builds a dependency graph for a project.
- phpdoc-to-typehint - Add scalar type hints and return types to existing PHP projects using PHPDoc annotations.
- phpDocumentor - Analyzes PHP source code to generate documentation.
- phploc - A tool for quickly measuring the size and analyzing the structure of a PHP project.
- PHPMD - Finds possible bugs in your code.
- PhpMetrics - Calculates and visualizes various code quality metrics.
- phpmnd - Helps to detect magic numbers.
- PHPQA - A tool for running QA tools (phploc, phpcpd, phpcs, pdepend, phpmd, phpmetrics).
- phpqa - jakzal - Many tools for PHP static analysis in one container.
- phpqa - jmolivas - PHPQA all-in-one Analyzer CLI tool.
- phpsa - Static analysis tool for PHP.
- PHPStan - PHP Static Analysis Tool - discover bugs in your code without running it!
- Progpilot - A static analysis tool for security purposes.
- Psalm - Static analysis tool for finding type errors in PHP applications.
- Qafoo Quality Analyzer - Visualizes metrics and source code.
- Tuli - A static analysis engine.
- twig-lint - twig-lint is a lint tool for your twig files.
- WAP - Tool to detect and correct input validation vulnerabilities in PHP (4.0 or higher) web applications and predicts false positives by combining static analysis and data mining.
- Perl::Critic - Critique Perl source code for best-practices.
- bandit - A tool to find common security issues in Python code.
- bellybutton - A linting engine supporting custom project-specific rules.
- Black - The uncompromising Python code formatter.
- cohesion - A tool for measuring Python class cohesion.
- Dlint - A tool for ensuring Python code is secure.
- fixit - A framework for creating lint rules and corresponding auto-fixes for source code.
- InspectorTiger - IT, Inspector Tiger, is a modern python code review tool / framework. It comes with bunch of pre-defined handlers which warns you about improvements and possible bugs. Beside these handlers, you can write your own or use community ones.
- jedi - Autocompletion/static analysis library for Python.
- Landscape
⚠️ ©️ - Static code analysis for Python. - linty fresh - Parse lint errors and report them to Github as comments on a pull request.
- mccabe - Check McCabe complexity.
- mypy - A static type checker that aims to combine the benefits of duck typing and static typing, frequently used with MonkeyType.
- py-find-injection
⚠️ - Find SQL injection vulnerabilities in Python code. - pycodestyle - (Formerly
pep8) Check Python code against some of the style conventions in PEP 8. - pydocstyle - Check compliance with Python docstring conventions.
- pyflakes - Check Python source files for errors.
- pylint - Looks for programming errors, helps enforcing a coding standard and sniffs for some code smells. It additionally includes
pyreverse(an UML diagram generator) andsymilar(a similarities checker). - pyre-check - A fast, scalable type checker for large Python codebases.
- pyright - Static type checker for Python, created to address gaps in existing tools like mypy.
- pyroma - Rate how well a Python project complies with the best practices of the Python packaging ecosystem, and list issues that could be improved.
- Pysa - A tool based on Facebook's pyre-check to identify potential security issues in Python code identified with taint analysis.
- PyT - Python Taint
⚠️ - A static analysis tool for detecting security vulnerabilities in Python web applications. - pytype - A static type analyzer for Python code.
- radon - A Python tool that computes various metrics from the source code.
- unimport - A linter, formatter for finding and removing unused import statements.
- vulture - Find unused classes, functions and variables in Python code.
- wemake-python-styleguide - The strictest and most opinionated python linter ever.
- wily - A command-line tool for archiving, exploring and graphing the complexity of Python source code.
- xenon - Monitor code complexity using
radon.
- cyclocomp - Quantifies the cyclomatic complexity of R functions / expressions.
- goodpractice - Analyses the source code for R packages and provides best-practice recommendations.
- lintr - Static Code Analysis for R.
- styler - Formatting of R source code files and pretty-printing of R code.
- SourceMeter ©️ - Static Code Analysis for RPG III and RPG IV versions (including free-form).
- cane - Code quality threshold checking as part of your build.
- Fasterer - Common Ruby idioms checker.
- flay - Flay analyzes code for structural similarities.
- flog - Flog reports the most tortured code in an easy to read pain report. The higher the score, the more pain the code is in.
- laser
⚠️ - Static analysis and style linter for Ruby code. - pelusa - Static analysis Lint-type tool to improve your OO Ruby code.
- Querly - Pattern Based Checking Tool for Ruby.
- Railroader - An open source static analysis security vulnerability scanner for Ruby on Rails applications.
- rails_best_practices - A code metric tool for Rails projects
- reek - Code smell detector for Ruby.
- RuboCop - A Ruby static code analyzer, based on the community Ruby style guide.
- Rubrowser - Ruby classes interactive dependency graph generator.
- ruby-lint
⚠️ - Static code analysis for Ruby. - rubycritic - A Ruby code quality reporter.
- rufo - An opinionated ruby formatter, intended to be used via the command line as a text-editor plugin, to autoformat files on save or on demand.
- Saikuro - A Ruby cyclomatic complexity analyzer.
- SandiMeter
⚠️ - Static analysis tool for checking Ruby code for Sandi Metz' rules. - Sorbet - A fast, powerful type checker designed for Ruby.
- Standard Ruby - Ruby Style Guide, with linter & automatic code fixer
- Steep - Gradual Typing for Ruby.
- C2Rust - C2Rust helps you migrate C99-compliant code to Rust. The translator (or transpiler) produces unsafe Rust code that closely mirrors the input C code.
- cargo-audit - Audit Cargo.lock for crates with security vulnerabilities reported to the RustSec Advisory Database.
- cargo-inspect - Inspect Rust code without syntactic sugar to see what the compiler does behind the curtains.
- clippy - A code linter to catch common mistakes and improve your Rust code.
- electrolysis - A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover.
- herbie - Adds warnings or errors to your crate when using a numerically unstable floating point expression.
- linter-rust - Linting your Rust-files in Atom, using rustc and cargo.
- MIRAI - And abstract interpreter operating on Rust's mid-level intermediate language, and providing warnings based on taint analysis.
- Prusti - A static verifier for Rust, based on the Viper verification infrastructure. By default Prusti verifies absence of panics by proving that statements such as unreachable!() and panic!() are unreachable.
- Rust Language Server - Supports functionality such as 'goto definition', symbol search, reformatting, and code completion, and enables renaming and refactorings.
- rust-analyzer - Supports functionality such as 'goto definition', type inference, symbol search, reformatting, and code completion, and enables renaming and refactorings.
- rust-audit - 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.
- rustfix - Read and apply the suggestions made by rustc (and third-party lints, like those offered by clippy).
- rustfmt - A tool for formatting Rust code according to style guidelines.
- sqlcheck - Automatically identify anti-patterns in SQL queries.
- sqlint - Simple SQL linter.
- tsqllint - T-SQL-specific linter.
- TSqlRules - TSQL Static Code Analysis Rules for SQL Server.
- linter - Linter is a Scala static analysis compiler plugin which adds compile-time checks for various possible bugs, inefficiencies, and style problems.
- Scalastyle - Scalastyle examines your Scala code and indicates potential problems with it.
- scapegoat - Scala compiler plugin for static code analysis.
- WartRemover - A flexible Scala code linting tool.
- i-Code CNES for Shell - An open source static code analysis tool for Shell and Fortran (77 and 90).
- kmdr - CLI tool for learning commands from your terminal. kmdr delivers a break down of commands with every attribute explained.
- shellcheck - ShellCheck, a static analysis tool that gives warnings and suggestions for bash/sh shell scripts.
- SwiftFormat - A library and command-line formatting tool for reformatting Swift code.
- SwiftLint - A tool to enforce Swift style and conventions.
- Tailor
⚠️ - A static analysis and lint tool for source code written in Apple's Swift programming language.
- Frink - A Tcl formatting and static check program (can prettify the program, minimise, obfuscate or just sanity check it).
- Nagelfar - A static syntax checker for Tcl.
- tclchecker - A static syntax analysis module (as part of TDK).
- Codelyzer - A set of tslint rules for static code analysis of Angular 2 TypeScript projects.
- ESLint - An extensible linter for the TypeScript language.
- tslint-clean-code - A set of TSLint rules inspired by the Clean Code handbook.
- tslint-microsoft-contrib - A set of tslint rules for static code analysis of TypeScript projects maintained by Microsoft.
- TypeScript Call Graph - CLI to generate an interactive graph of functions and calls from your TypeScript files
- Test Design Studio ©️ - A full IDE with static code analysis for Micro Focus Unified Functional Testing VBScript-based automated tests.
- vint - Fast and Highly Extensible Vim script Language Lint implemented by Python.
- ale - Asynchronous Lint Engine for Vim and NeoVim with support for many languages.
- Android Studio - Based on IntelliJ IDEA, and comes bundled with tools for Android including Android Lint.
- AppChecker ©️ - Static analysis for C/C++/C#, PHP and Java.
- Application Inspector ©️ - Commercial Static Code Analysis which generates exploits to verify vulnerabilities.
- ApplicationInspector - Creates reports of over 400 rule patterns for feature detection (e.g. the use of cryptography or version control in apps).
- AppScan Source ©️ - Commercial Static Code Analysis.
- 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.
- ArchUnit - Unit test your Java or Kotlin architecture.
- Atom-Beautify - Beautify HTML, CSS, JavaScript, PHP, Python, Ruby, Java, C, C++, C#, Objective-C, CoffeeScript, TypeScript, Coldfusion, SQL, and more in Atom editor.
- 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.
- Better Code Hub ©️ - Better Code Hub checks your GitHub codebase against 10 engineering guidelines devised by the authority in software quality, Software Improvement Group.
- brakeman - A static analysis security vulnerability scanner for Ruby on Rails applications.
- cargo-bloat - Find out what takes most of the space in your executable. supports ELF (Linux, BSD), Mach-O (macOS) and PE (Windows) binaries.
- CAST Highlight ©️ - Commercial Static Code Analysis which runs locally, but uploads the results to its cloud for presentation.
- checkmake - Linter / Analyzer for Makefiles.
- Checkmarx CxSAST ©️ - Commercial Static Code Analysis which doesn't require pre-compilation.
- ciocheck - Linter, formatter and test suite helper. As a linter, it is a wrapper around
pep8,pydocstyle,flake8, andpylint. - ClassGraph - A classpath and module path scanner for querying or visualizing class metadata or class relatedness.
- Clayton ©️ - AI-powered code reviews for Salesforce. Secure your developments, enforce best practice and control your technical debt in real-time.
- coala - Language independent framework for creating code analysis - supports over 60 languages by default.
- Cobra ©️ - Structural source code analyzer by NASA's Jet Propulsion Laboratory.
- Codacy ©️ - Code Analysis to ship Better Code, Faster.
- Code Inspector ©️ - Code quality and technical debt management platform that supports 10+ languages.
- Code Intelligence ©️ - CI/CD-agnostic DevSecOps platform which combines industry-leading fuzzing engines for finding bugs and visualizing code coverage
- Codeac ©️ - 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)
- codeburner - Provides a unified interface to sort and act on the issues it finds.
- codechecker - A defect database and viewer extension for the Clang Static Analyzer with web GUI.
- CodeFactor ©️ - Automated Code Analysis for repos on GitHub or BitBucket.
- CodeFlow ©️ - Automated code analysis tool to deal with technical depth. Integrates with Bitbucket and Gitlab. (free for Open Source Projects)
- CodeIt.Right ©️ - 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.
- CodePatrol ©️ - Automated SAST code reviews driven by security, supports 15+ languages and includes security training.
- codeql - Deep code analysis - semantic queries and dataflow for several languages with VSCode plugin support.
- CodeRush ©️ - Code creation, debugging, navigation, refactoring, analysis and visualization tools that use the Roslyn engine in Visual Studio 2015 and up.
- CodeScan ©️ - 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.
- CodeScene ©️ - CodeScene is a quality visualization tool for software. Prioritize technical debt, detect delivery risks, and measure organizational aspects. Fully automated.
- Corrode
⚠️ - Semi-automatic translation from C to Rust. Could reveal bugs in the original implementation by showing Rust compiler warnings and errors. Superseded by C2Rust. - 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.
- cqc - Check your code quality for js, jsx, vue, css, less, scss, sass and styl files.
- dawnscanner - A static analysis security scanner for ruby written web applications. It supports Sinatra, Padrino and Ruby on Rails frameworks.
- 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.
- DeepSource ©️ - 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.
- Depends - Analyses the comprehensive dependencies of code elements for Java, C/C++, Ruby.
- DevSkim - Regex-based static analysis tool for Visual Studio, VS Code, and Sublime Text - C/C++, C#, PHP, ASP, Python, Ruby, Java, and others.
- 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.
- exakat - An automated code reviewing engine for PHP.
- Find Security Bugs - The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
- flake8 - A wrapper around
pyflakes,pycodestyleandmccabe. - 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.
- Go Meta Linter
⚠️ - Concurrently run Go lint tools and normalise their output. Usegolangci-lintfor new projects. - Goodcheck - Regexp based customizable linter.
- goreporter - Concurrently runs many linters and normalises their output to a report.
- graudit - Grep rough audit - source code auditing tool.
- Hopper
⚠️ - A static analysis tool written in scala for languages that run on JVM. - Hound CI - Comments on style violations in GitHub pull requests. Supports Coffeescript, Go, HAML, JavaScript, Ruby, SCSS and Swift.
- iblessing - iblessing is an iOS security exploiting toolkit. It can be used for reverse engineering, binary analysis and vulnerability mining.
- imhotep - Comment on commits coming into your repository and check for syntactic errors and general lint warnings.
- 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
#includerelations of a given set of files. - Infer - A static analyzer for Java, C and Objective-C
- InsiderSec - A open source Static Application Security Testing tool (SAST) written in GoLang for Java (Maven and Android), Kotlin (Android), Swift (iOS), .NET Full Framework, C# and Javascript (Node.js).
- 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.
- Klocwork ©️ - Quality and Security Static analysis for C/C++, Java and C#.
- LGTM.com ©️ - 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.
- Lumnify ©️ - Benchmark against thousands of projects, and analyse code for structural quality with focus on maintainability.
- multilint - A wrapper around
flake8,isortandmodernize. - Nitpick CI ©️ - Automated PHP code review.
- NodeJSScan - NodeJsScan is a static security code scanner for Node.js applications.
- Nu Html Checker - Helps you catch problems in your HTML/CSS/SVG
- oclint - A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C.
- Oversecured ©️ - A mobile app vulnerability scanner, designed for security researchers and bug bounty hackers. It also allows integrations into the DevOps process for businesses.
- pfff
⚠️ - Facebook's tools for code analysis, visualizations, or style-preserving source transformation for many languages. - PMD - A source code analyzer for Java, Salesforce Apex, Javascript, PLSQL, XML, XSL and others.
- Polymer-analyzer - A static analysis framework for Web Components.
- portlint - A verifier for FreeBSD and DragonFlyBSD port directories.
- pre-commit - A framework for managing and maintaining multi-language pre-commit hooks.
- Prettier - An opinionated code formatter.
- Pronto - Quick automated code review of your changes. Supports more than 40 runners for various languages, including Clang, Elixir, JavaScript, PHP, Ruby and more.
- prospector - A wrapper around
pylint,pep8,mccabeand others. - PT.PM
⚠️ - 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. - PVS-Studio ©️ - 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, MISRA and CERT coding standards.
- pylama - Code audit tool for Python and JavaScript. Wraps pycodestyle, pydocstyle, PyFlakes, Mccabe, Pylint, and more
- quality - Runs quality checks on your code using community tools, and makes sure your numbers don't get any worse over time.
- Qualys Container Security ©️ - Container native application protection to provide visibility and control of containerized applications.
- QuantifiedCode
⚠️ - 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. - Refactoring Essentials - The free Visual Studio 2015 extension for C# and VB.NET refactorings, including code best practice analyzers.
- relint - A static file linter that allows you to write custom rules using regular expressions (RegEx).
- ReSharper ©️ - Extends Visual Studio with on-the-fly code inspections for C#, VB.NET, ASP.NET, JavaScript, TypeScript and other technologies.
- Reshift ©️ - A source code analysis tool for detecting and managing Java security vulnerabilities.
- Reviewdog - A tool for posting review comments from any linter in any code hosting service.
- RIPS ©️ - A static source code analyser for vulnerabilities in PHP scripts.
- Roslyn Analyzers - Roslyn-based implementation of FxCop analyzers.
- Roslyn Security Guard - 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.
- Scrutinizer ©️ - A proprietary code quality checker that can be integrated with GitHub.
- 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.
- Semgrep - Free, open-source lightweight static analysis for many languages. Find and block bug variants with patterns that look like source code.
- 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.
- SensioLabs Insight ©️ - Detect security risks, find bugs and provide actionable metrics for PHP projects.
- ShiftLeft ©️ - 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
- ShiftLeft Scan - 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.
- shipshape
⚠️ - Static program analysis platform that allows custom analyzers to plug in through a common interface. - Sider ©️ - An automated code reviewing tool. Improving developers' productivity.
- 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.
- Snyk ©️ - Vulnerability scanner for dependencies of node.js apps (free for Open Source Projects).
- SonarCloud ©️ - Multi-language cloud-based static code analysis. History, trends, security hot-spots, pull request analysis and more. Free for open source.
- 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.
- SonarQube - SonarQube is an open platform to manage code quality.
- Spectral - A flexible JSON/YAML linter, with out of the box support for OpenAPI v2/v3 and AsyncAPI v2.
- standard - An npm module that checks for Javascript Styleguide issues.
- Super-Linter - Combination of multiple linters to install as a GitHub Action.
- 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).
- 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.
- todocheck - Linter for integrating annotated TODOs with your issue trackers
- TscanCode - A fast and accurate static analysis solution for C/C++, C#, Lua codes provided by Tencent. Using GPLv3 license.
- Twiggy - Analyzes a binary's call graph to profile code size. The goal is to slim down wasm binary size.
- Undebt - Language-independent tool for massive, automatic, programmable refactoring based on simple pattern definitions.
- 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.
- Upsource ©️ - Code review tool with static code analysis and code-aware navigation for Java, PHP, JavaScript and Kotlin.
- 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.
- Violations Lib - Java library for parsing report files from static code analysis. Used by a bunch of Jenkins, Maven and Gradle plugins.
- WALA - Static analysis capabilities for Java bytecode and related languages and for JavaScript.
- WhiteHat Application Security Platform ©️ - WhiteHat Scout (for Developers) combined with WhiteHat Sentinel Source (for Operations) supporting WhiteHat Top 40 and OWASP Top 10.
- Wotan - Pluggable TypeScript and JavaScript linter.
- Xanitizer ©️ - Xanitizer finds security vulnerabilities in web applications. It supports Java, Scala, JavaScript and TypeScript.
- XCode ©️ - XCode provides a pretty decent UI for Clang's static code analyzer (C/C++, Obj-C).
- yamllint - Checks YAML files for syntax validity, key repetition and cosmetic problems such as lines length, trailing spaces, and indentation.
- BinSkim - A binary static analysis tool that provides security and correctness results for Windows portable executables.
- Black Duck ©️ - Tool to analyze source code and binaries for reusable code, necessary licenses and potential security aspects.
- bloaty - 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
- cwe_checker - cwe_checker finds vulnerable patterns in binary executables.
- Ghidra - A software reverse engineering (SRE) suite of tools developed by NSA's Research Directorate in support of the Cybersecurity mission
- IDA Free ©️ - Binary code analysis tool.
- Jakstab - Jakstab is an Abstract Interpretation-based, integrated disassembly and static analysis framework for designing analyses on executables and recovering reliable control flow graphs.
- JEB Decompiler ©️ - Decompile and debug binary code. Break down and analyze document files. Android Dalvik, MIPS, ARM, Intel x86, Java, WebAssembly & Ethereum Decompilers.
- Manalyze - A static analyzer, which checks portable executables for malicious content.
- Nauz File Detector - Static Linker/Compiler/Tool detector for Windows, Linux and MacOS.
- CSS Stats - Potentially interesting stats on stylesheets.
- CSScomb - A coding style formatter for CSS. Supports own configurations to make style sheets beautiful and consistent.
- CSSLint - Does basic syntax checking and finds problematic patterns or signs of inefficiency.
- GraphMyCSS.com - CSS Specificity Graph Generator.
- Parker - Stylesheet analysis tool.
- PostCSS - 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.
- Project Wallace CSS Analyzer - Analytics for CSS, part of Project Wallace.
- sass-lint
⚠️ - A Node-only Sass linter for both sass and scss syntax. - scsslint
⚠️ - Linter for SCSS files. - Specificity Graph - CSS Specificity Graph Generator.
- Stylelint - Linter for SCSS/CSS files.
- dotenv-linter - Linting dotenv files like a charm.
- gixy - A tool to analyze Nginx configuration. The main goal is to prevent misconfiguration and automate flaw detection.
- ansible-lint - Checks playbooks for practices and behaviour that could potentially be improved.
- AWS CloudFormation Guard - Check local CloudFormation templates against policy-as-code rules and generate rules from existing templates.
- cfn-lint - AWS Labs CloudFormation linter.
- cfn_nag - A linter for AWS CloudFormation templates.
- checkov - Static analysis tool for Terraform files (tf>=v0.12), preventing cloud misconfigs at build time.
- cookstyle - Cookstyle is a linting tool based on the RuboCop Ruby linting tool for Chef cookbooks.
- foodcritic - A lint tool that checks Chef cookbooks for common problems.
- Puppet Lint - Check that your Puppet manifests conform to the style guide.
- terraform-compliance - A lightweight, compliance- and security focused, BDD test framework against Terraform.
- terrascan - Collection of security and best practice tests for static code analysis of Terraform templates.
- tflint - A Terraform linter for detecting errors that can not be detected by
terraform plan.
- anchore - Discover, analyze, and certify container images.
- clair - Vulnerability Static Analysis for Containers.
- collector - Run arbitrary scripts inside containers, and gather useful information.
- dagda - Perform static analysis of known vulnerabilities in docker images/containers.
- Docker Label Inspector - Lint and validate Dockerfile labels.
- Haskell Dockerfile Linter - A smarter Dockerfile linter that helpsyou build best practice Docker images.
- kube-score - Static code analysis of your Kubernetes object definitions.
- kubeval - Validates your Kubernetes configuration files and supports multiple Kubernetes versions.
- Code Climate - The open and extensible static analysis platform, for everyone.
- PullRequest ©️ - 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.
- deno_lint - Official linter for Deno.
- gherkin-lint - A linter for the Gherkin-Syntax written in Javascript.
- Bootlint - An HTML linter for Bootstrap projects.
- grunt-bootlint - A Grunt wrapper for Bootlint, the HTML linter for Bootstrap projects.
- gulp-bootlint - A gulp wrapper for Bootlint, the HTML linter for Bootstrap projects.
- HTML Inspector
⚠️ - HTML Inspector is a code quality tool to help you and your team write better markup. - HTML Tidy - Corrects and cleans up HTML and XML documents by fixing markup errors and upgrading legacy code to modern standards.
- HTMLHint - A Static Code Analysis Tool for HTML.
- ChkTeX - A linter for LaTex which catches some typographic errors LaTeX oversees.
- lacheck - A tool for finding common mistakes in LaTeX documents.
- TeXLab - A Language Server Protocol implementation for TeX/LaTeX, including lint capabilities.
- markdownlint - Node.js -based style checker and lint tool for Markdown/CommonMark files.
- mdl - A tool to check Markdown files and flag style issues.
- remark-lint - Pluggable Markdown code style linter written in JavaScript.
- Android Lint - Run static analysis on Android projects.
- android-lint-summary - Combines lint errors of multiple projects into one output, check lint results of multiple sub-projects at once.
- FlowDroid - Static taint analysis tool for Android applications.
- paprika - A toolkit to detect some code smells in analyzed Android applications.
- qark - Tool to look for several security related Android application vulnerabilities.
- redex - 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.
- lintian - Static analysis tool for Debian packages.
- rpmlint - Tool for checking common errors in rpm packages.
- protolint - Pluggable linter and fixer to enforce Protocol Buffer style and conventions.
- Attackflow Extension ©️ - Attackflow plugin for Visual Studio, which enables developers to find critical security bugs at real time in the source code without any prior knowledge.
- Gitleaks - A SAST tool for detecting hardcoded secrets like passwords, api keys, and tokens in git repos.
- mythril - A symbolic execution framework with batteries included, can be used to find and exploit vulnerabilities in smart contracts automatically.
- MythX ©️ - 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.
- slither - 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 - Solhint is an open source project created by https://protofire.io. Its goal is to provide a linting utility for Solidity code.
- solium - Solium is a linter to identify and fix style and security issues in Solidity smart contracts.
- LibVCS4j - 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.
- ember-template-lint - Linter for Ember or Handlebars templates.
- haml-lint - Tool for writing clean and consistent HAML.
- slim-lint - Configurable tool for analyzing Slim templates.
- dennis - A set of utilities for working with PO files to ease development and improve quality.
- Vetur - Vue tooling for VS Code, powered by vls (vue language server). Vetur has support for formatting embedded HTML, CSS, SCSS, JS, TypeScript, and more. Vetur only has a "whole document formatter" and cannot format arbitrary ranges.
- After the Deadline
⚠️ - Spell, style and grammar checker. - alex - Catch insensitive, inconsiderate writing
- codespell - Check code for common misspellings.
- languagetool - Style and grammar checker for 25+ languages. It finds many errors that a simple spell checker cannot detect.
- misspell-fixer - Quick tool for fixing common misspellings, typos in source code.
- Misspelled Words In Context - A spell-checker that groups possible misspellings and shows them in their contexts.
- proselint - A linter for English prose with a focus on writing style instead of grammar.
- vale - A customizable, syntax-aware linter for prose.
- write-good - A linter with a focus on eliminating "weasel words".
- go-tools - A collection of tools and libraries for working with Go code, including linters and static analysis
- Clean code linters - A collection of linters in github collections
- Code Quality Checker Tools For PHP Projects - A collection of PHP linters in github collections
- linters - An introduction to static code analysis
- php-static-analysis-tools - A reviewed list of useful PHP static analysis tools
- Tools for C/C++ - A list of static analysis tools for C/C++
- Wikipedia - A list of tools for static code analysis.
To the extent possible under law, Matthias Endler has waived all copyright and related or neighboring rights to this work. Title image Designed by Freepik.