77 Python Static Analysis Tools

The uncompromising Python code formatter.

A static type checker that aims to combine the benefits of duck typing and static typing, frequently used with [MonkeyType](https://github.com/Instagram/MonkeyType).

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

SonarQube is an open platform to manage code quality.

Looks for programming errors, helps enforcing a coding standard and sniffs for some code smells. It additionally includes `pyreverse` (an UML diagram generator) and `symilar` (a similarities checker).

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

Autocompletion/static analysis library for Python.

A tool to find common security issues in Python code.

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

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

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

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.

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.

The strictest and most opinionated python linter ever.

(Formerly `pep8`) Check Python code against some of the style conventions in PEP 8.

Static type checker for Python, created to address gaps in existing tools like mypy.

A linter, formatter for finding and removing unused import statements.

Code Analysis to ship Better Code, Faster.

Check compliance with Python docstring conventions.

Find unused classes, functions and variables in Python code.

Check Python source files for errors.

A tool based on Facebook's pyre-check to identify potential security issues in Python code identified with taint analysis.

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

A fast, scalable type checker for large Python codebases.

A static type analyzer for Python code.

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.

A tool for ensuring Python code is secure.

Check McCabe complexity.

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

Rate how well a Python project complies with the best practices of the Python packaging ecosystem, and list issues that could be improved.

Linter for integrating annotated TODOs with your issue trackers

Monitor code complexity using [`radon`](https://github.com/rubik/radon).

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

A linting engine supporting custom project-specific rules.

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

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

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)

Automated Code Analysis for repos on GitHub or BitBucket.

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

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

A tool for measuring Python class cohesion.

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

A framework for creating lint rules and corresponding auto-fixes for source code.

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.

Grep rough audit - source code auditing tool.

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

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.

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.

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

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

Parse lint errors and report them to Github as comments on a pull request.

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

A wrapper around `flake8`, `isort` and `modernize`.

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

A Python tool that computes various metrics from the source code.

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

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

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.

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

An automated code reviewing tool. Improving developers' productivity.

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.

Vulnerability scanner for dependencies of node.js apps (free for Open Source Projects).

Multi-language cloud-based static code analysis. History, trends, security hot-spots, pull request analysis and more. Free for open source.

Combination of multiple linters to install as a GitHub Action.

A command-line tool for archiving, exploring and graphing the complexity of Python source code.

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

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

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

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

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

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

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