Static Analysis
Showing 36 of 865 projects
A static analysis tool that checks Kubernetes YAML files and Helm charts for security and production readiness best practices.
A comprehensive set of code analysis tools, refactorings, and client libraries for C# development, built on the Roslyn compiler platform.
A Rust code completion utility for editors and IDEs, providing auto-complete and eldoc functionality.
An extremely fast PHP linter, formatter, and static analyzer written in Rust.
A bit-precise model checker for verifying safety and correctness properties in Rust code.
A GitHub Action to set up PHP with extensions, configuration, coverage drivers, and tools for CI/CD workflows.
An ESLint plugin that checks your JavaScript code for browser compatibility issues against configurable target browsers.
A static analyzer for C/C++ that detects runtime errors using abstract interpretation theory.
A static analyzer for C/C++ that detects runtime errors using abstract interpretation theory.
An opinionated PHP code style fixer built on PHP-CS-Fixer for clean and consistent code formatting.
A Go tool that runs multiple linters concurrently to perform static analysis, unit testing, and generate comprehensive code quality reports.
A Go tool that performs static analysis, unit testing, and code review to generate comprehensive code quality reports.
A curated collection of awesome OCaml tools, frameworks, libraries, articles, books, and resources.
Static code analysis tool for Kubernetes YAML and Helm charts that provides recommendations to improve reliability and security.
A static code analysis tool for PHP that enforces architectural layers and dependencies between classes.
A Ruby linter and formatter with an unconfigurable, opinionated ruleset built on RuboCop.
ESLint plugin for automatically sorting imports, objects, types, JSX props, and other code structures to enforce consistency.
A curated directory of static analysis tools for PHP, covering bug detection, coding standards, metrics, and automated fixes.
The strictest and most opinionated Python linter, a flake8 plugin designed to enforce consistent, maintainable, and bug-resistant code.
A fast static code analyzer and language server for Python, written in Rust, offering type checking and rich editor integration.
An implementation of StyleCop's code style and consistency rules as Roslyn analyzers for .NET projects.
Generates interactive visualizations of ownership and borrowing in Rust programs to aid learning.
An asynchronous linter plugin for Neovim that complements the built-in Language Server Protocol support.
A tool for statically verifying the correctness of Rust code using formal specifications and automated solvers.
A tool for translating Dalvik bytecode to Java bytecode, enabling Java analysis tools to work with Android applications.
Static application security testing (SAST) tool that scans source code to discover, filter, and prioritize security and privacy risks.
A static application security testing (SAST) tool that scans source code to discover, filter, and prioritize security and privacy risks.
KICS is an open-source static analysis tool that finds security vulnerabilities, compliance issues, and misconfigurations in Infrastructure as Code.
A Ruby gem for automated code review that runs analysis quickly by checking only relevant changes in pull requests.
A Ruby gem for quick automated code review by analyzing only relevant changes in pull requests or local diffs.
ESLint configuration for enforcing JavaScript Standard Style rules in your projects.
A progressive, automated ESLint configuration for React, Vue, and TypeScript projects that separates style concerns.
A static analysis tool for PHP that generates beautiful and understandable HTML reports of code metrics.
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
A Python linter focused on modernizing and improving code elegance, readability, and simplicity.
A static analysis tool that finds unchecked errors in Go code.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.