Static Analysis
Showing 36 of 233 projects
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.
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.
An opinionated PHP code style fixer built on PHP-CS-Fixer for clean and consistent code formatting.
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 bit-precise model checker for verifying safety and correctness properties in Rust code.
An extremely fast PHP linter, formatter, and static analyzer written in Rust.
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.
A curated directory of static analysis tools for PHP, covering bug detection, coding standards, metrics, and automated fixes.
A fast static code analyzer and language server for Python, written in Rust, offering type checking and rich editor integration.
ESLint plugin for automatically sorting imports, objects, types, JSX props, and other code structures to enforce consistency.
The strictest and most opinionated Python linter, a flake8 plugin designed to enforce consistent, maintainable, and bug-resistant code.
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.
A tool for translating Dalvik bytecode to Java bytecode, enabling Java analysis tools to work with Android applications.
An asynchronous linter plugin for Neovim that complements the built-in Language Server Protocol support.
A Ruby gem for quick automated code review by analyzing only relevant changes in pull requests or local diffs.
A Ruby gem for automated code review that runs analysis quickly by checking only relevant changes in pull requests.
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 application security testing (SAST) tool that scans source code to discover, filter, and prioritize security and privacy risks.
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 static analysis tool for PHP that generates beautiful and understandable HTML reports of code metrics.
A Python linter focused on modernizing and improving code elegance, readability, and simplicity.
A tool for statically verifying the correctness of Rust code using formal specifications and automated solvers.
PHP core functions rewritten to throw exceptions instead of returning false on errors.
A fast semantic search tool for C/C++ codebases that uses AST pattern matching to help security researchers find interesting functionality.
A static analysis tool that finds unchecked errors in Go code.
Guidelines, best practices, and training material for writing secure smart contracts across multiple blockchain platforms.
Guidelines, best practices, and training material for writing secure smart contracts across multiple blockchain platforms.
A set of tools and APIs for static analysis, code visualization, navigation, and style-preserving source transformations across multiple languages.
A SpotBugs plugin for detecting security vulnerabilities in Java web and Android applications.
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.