Trending repositories for topic static-code-analysis
An extremely fast Python linter and code formatter, written in Rust.
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Intero...
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint
Bandit is a tool designed to find common security issues in Python code.
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly confi...
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
flake8 is a python tool that glues together pycodestyle, pyflakes, mccabe, and third-party plugins to check the style and quality of some python code.
Open Source, Language Agnostic Automatic Test Generation + LLM Mutation Testing
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Intero...
Open Source, Language Agnostic Automatic Test Generation + LLM Mutation Testing
A new version of Soot with a completely overhauled architecture
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
An extremely fast Python linter and code formatter, written in Rust.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint
prealloc is a Go static analysis tool to find slice declarations that could potentially be preallocated.
Bandit is a tool designed to find common security issues in Python code.
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Next-gen phpDoc parser with support for intersection types and generics
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly confi...
flake8 is a python tool that glues together pycodestyle, pyflakes, mccabe, and third-party plugins to check the style and quality of some python code.
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Intero...
An extremely fast Python linter and code formatter, written in Rust.
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly confi...
Bandit is a tool designed to find common security issues in Python code.
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
PHP Static Analysis Tool - discover bugs in your code without running it!
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Next-gen phpDoc parser with support for intersection types and generics
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Intero...
CodeCharta is a visualization tool that transforms complex software architecture and code metrics into interactive, customizable visual maps, empowering everyone to communicate and analyze your codeba...
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
An extremely fast Python linter and code formatter, written in Rust.
🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint
PHPStan rules for detecting usage of deprecated classes, methods, properties, constants and traits.
NsDepCop is a static code analysis tool that enforces namespace and assembly dependency rules in C# projects.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Open Source, Language Agnostic Automatic Test Generation + LLM Mutation Testing
Code Scanning/SAST/Static Analysis/Linting using many tools/Scanners with One Report (Code, IaC) - Betterscan
Java code commit impact, java code change impact analysis，java代码改动影响范围分析工具，精准测试，回归测试范围划定
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly confi...
Next-gen phpDoc parser with support for intersection types and generics
Bandit is a tool designed to find common security issues in Python code.
An extremely fast Python linter and code formatter, written in Rust.
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Intero...
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Bandit is a tool designed to find common security issues in Python code.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
PHP Static Analysis Tool - discover bugs in your code without running it!
🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly confi...
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
flake8 is a python tool that glues together pycodestyle, pyflakes, mccabe, and third-party plugins to check the style and quality of some python code.
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Intero...
Empower Your Code Quality with Self-Hosted Automated Analysis and Review
tool designed for identifying vulnerabilities in open source codebases at scale. It can gather and filter on key repository metrics such as popularity and project size
CodeCharta is a visualization tool that transforms complex software architecture and code metrics into interactive, customizable visual maps, empowering everyone to communicate and analyze your codeba...
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
An extremely fast Python linter and code formatter, written in Rust.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Simple and powerful standalone project for clang-based tools using libtooling (e.g. refactoring, auto-completion, etc.)
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
An extension of RuboCop focused on code performance checks.
The official VS Code extension for the RuboCop linter and code formatter.
Java code commit impact, java code change impact analysis，java代码改动影响范围分析工具，精准测试，回归测试范围划定
Open Source, Language Agnostic Automatic Test Generation + LLM Mutation Testing
Open Source, Language Agnostic Automatic Test Generation + LLM Mutation Testing
tool designed for identifying vulnerabilities in open source codebases at scale. It can gather and filter on key repository metrics such as popularity and project size
RuboCop extension focused on higher-level concepts, like checking that code reads from top to bottom
An extremely fast Python linter and code formatter, written in Rust.
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Intero...
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Bandit is a tool designed to find common security issues in Python code.
PHP Static Analysis Tool - discover bugs in your code without running it!
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly confi...
🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint
flake8 is a python tool that glues together pycodestyle, pyflakes, mccabe, and third-party plugins to check the style and quality of some python code.
Kubernetes object analysis with recommendations for improved reliability and security. kube-score actively prevents downtime and bugs in your Kubernetes YAML and Charts. Static code analysis for Kuber...
tool designed for identifying vulnerabilities in open source codebases at scale. It can gather and filter on key repository metrics such as popularity and project size
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Intero...
Empower Your Code Quality with Self-Hosted Automated Analysis and Review
🤝 A friendly error formatter extension for PHPStan that provides more readable and informative output, including code snippets and color highlighting.
Java code commit impact, java code change impact analysis，java代码改动影响范围分析工具，精准测试，回归测试范围划定
Performant static analyzer for PHP, which is extremely easy to use. It helps you catch common mistakes in your PHP code.
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
The official VS Code extension for the RuboCop linter and code formatter.
OpenRewrite recipes for identifying and fixing static analysis issues.
An extremely fast Python linter and code formatter, written in Rust.
CodeCharta is a visualization tool that transforms complex software architecture and code metrics into interactive, customizable visual maps, empowering everyone to communicate and analyze your codeba...
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
Corax for Java: A general static analysis framework for java code checking.
Code Scanning/SAST/Static Analysis/Linting using many tools/Scanners with One Report (Code, IaC) - Betterscan
