Open-Awesome
CategoriesAlternativesStacksSelf-HostedExplore
Open-Awesome

© 2026 Open-Awesome. Curated for the developer elite.

TermsPrivacyAboutGitHubRSS
  1. Home
  2. Tags
  3. Static Analysis

Static Analysis

663 projects

Showing 36 of 663 projects

Compat
CompatTypeScript

An ESLint plugin that checks your JavaScript code for browser compatibility issues against configurable target browsers.

#developer-tools#api#cross-browser
Stars3.2k
Forks118
Last commit1 month ago
IKOS
IKOSC++

A static analyzer for C/C++ that detects runtime errors using abstract interpretation theory.

#software-verification#c-cpp#program-verification
Stars3.2k
Forks217
Last commit8 days ago
IKOS
IKOSC++

A static analyzer for C/C++ that detects runtime errors using abstract interpretation theory.

#buffer-overflow#formal-methods#software-verification
Stars3.2k
Forks217
Last commit8 days ago
Laravel Pint
Laravel PintPHP

An opinionated PHP code style fixer built on PHP-CS-Fixer for clean and consistent code formatting.

#developer-tools#code-formatter#php-cs-fixer
Stars3.1k
Forks188
Last commit5 days ago
goreporter
goreporterGo

A Go tool that performs static analysis, unit testing, and code review to generate comprehensive code quality reports.

#unit-test#developer-tools#unit-testing
Stars3.1k
Forks263
Last commit7 years ago
goreporter
goreporterGo

A Go tool that runs multiple linters concurrently to perform static analysis, unit testing, and generate comprehensive code quality reports.

#unit-test#developer-tools#unit-testing
Stars3.1k
Forks263
Last commit7 years ago
kani
kaniRust

A bit-precise model checker for verifying safety and correctness properties in Rust code.

#safety-critical#verification#ci-cd
Stars3.1k
Forks148
Last commit6 days ago
OCaml
OCaml

A curated collection of awesome OCaml tools, frameworks, libraries, articles, books, and resources.

#programming-language#functional-programming#developer-tools
Stars3.1k
Forks174
Last commit1 month ago
Kube-Score
Kube-ScoreGo

Static code analysis tool for Kubernetes YAML and Helm charts that provides recommendations to improve reliability and security.

#helm#devops#reliability
Stars3.1k
Forks197
Last commit19 days ago
deptrac
deptracPHP

A static code analysis tool for PHP that enforces architectural layers and dependencies between classes.

#dev-tools#architecture-enforcement#ci-cd
Stars2.9k
Forks154
Last commit12 days ago
Standard Ruby
Standard RubyRuby

A Ruby linter and formatter with an unconfigurable, opinionated ruleset built on RuboCop.

#developer-tools#automated-fixes#linter
Stars2.9k
Forks229
Last commit5 days ago
perfectionist sorting
perfectionist sortingTypeScript

ESLint plugin for automatically sorting imports, objects, types, JSX props, and other code structures to enforce consistency.

#developer-tools#typescript#eslint-rules
Stars2.9k
Forks62
Last commit
php-static-analysis-tools
php-static-analysis-tools

A curated directory of static analysis tools for PHP, covering bug detection, coding standards, metrics, and automated fixes.

#phplint#developer-tools#security-analysis
Stars2.9k
Forks245
Last commit1 month ago
pylyzer
pylyzerRust

A fast static code analyzer and language server for Python, written in Rust, offering type checking and rich editor integration.

#developer-tools#language-server#type-inference
Stars2.9k
Forks43
Last commit1 year ago
wemake-python-styleguide
wemake-python-styleguidePython

The strictest and most opinionated Python linter, a flake8 plugin designed to enforce consistent, maintainable, and bug-resistant code.

#hacktoberfest#developer-tools#linter
Stars2.9k
Forks422
Last commit
StyleCopAnalyzers
StyleCopAnalyzersC#

An implementation of StyleCop's code style and consistency rules as Roslyn analyzers for .NET projects.

#coding-standards#csharp#visual-studio
Stars2.8k
Forks508
Last commit5 months ago
RustViz
RustVizRust

Generates interactive visualizations of ownership and borrowing in Rust programs to aid learning.

#svg-generation#memory-management#learning-aid
Stars2.8k
Forks78
Last commit29 days ago
Enjarify
EnjarifyPython

A tool for translating Dalvik bytecode to Java bytecode, enabling Java analysis tools to work with Android applications.

#python-tool#bytecode-conversion#java-bytecode
Stars2.7k
Forks540
Last commit6 years ago
nvim-lint
nvim-lintLua

An asynchronous linter plugin for Neovim that complements the built-in Language Server Protocol support.

#vimscript#hacktoberfest#developer-tools
Stars2.7k
Forks308
Last commit3 days ago
Bearer
BearerGo

A static application security testing (SAST) tool that scans source code to discover, filter, and prioritize security and privacy risks.

#privacy-compliance#code-security#data-flow-analysis
Stars2.7k
Forks142
Last commit1 day ago
Bearer
BearerGo

Static application security testing (SAST) tool that scans source code to discover, filter, and prioritize security and privacy risks.

#privacy-compliance#code-security#data-flow-analysis
Stars2.7k
Forks142
Last commit1 day ago
Pronto
ProntoRuby

A Ruby gem for quick automated code review by analyzing only relevant changes in pull requests or local diffs.

#developer-tools#ruby-gem#gitlab
Stars2.7k
Forks249
Last commit1 month ago
Pronto
ProntoRuby

A Ruby gem for automated code review that runs analysis quickly by checking only relevant changes in pull requests.

#developer-tools#gitlab-ci#ruby-gem
Stars2.7k
Forks249
Last commit1 month ago
Standard
StandardTypeScript

ESLint configuration for enforcing JavaScript Standard Style rules in your projects.

#standardjs#developer-tools#standard
Stars2.7k
Forks547
Last commit7 days ago
KICS
KICSOpen Policy Agent

KICS is an open-source static analysis tool that finds security vulnerabilities, compliance issues, and misconfigurations in Infrastructure as Code.

#hacktoberfest#kubernetes#security-scanning
Stars2.6k
Forks373
Last commit10 days ago
verus
verusRust

A tool for statically verifying the correctness of Rust code using formal specifications and automated solvers.

#systems-programming#correctness#safety-critical
Stars2.6k
Forks173
Last commit1 day ago
Alloy
AlloyJavaScript

A progressive, automated ESLint configuration for React, Vue, and TypeScript projects that separates style concerns.

#developer-tools#prettier-integration#alloyteam
Stars2.6k
Forks310
Last commit2 years ago
PHP Metrics
PHP MetricsPHP

A static analysis tool for PHP that generates beautiful and understandable HTML reports of code metrics.

#quality#composer#html-reports
Stars2.6k
Forks262
Last commit8 months ago
refurb
refurbPython

A Python linter focused on modernizing and improving code elegance, readability, and simplicity.

#ast-analysis#readability#developer-tools
Stars2.5k
Forks58
Last commit2 months ago
errcheck
errcheckGo

A static analysis tool that finds unchecked errors in Go code.

#developer-tools#error#linter
Stars2.5k
Forks146
Last commit27 days ago
Safe
SafePHP

PHP core functions rewritten to throw exceptions instead of returning false on errors.

#rector#developer-tools#functions
Stars2.5k
Forks167
Last commit3 months ago
weggli
weggliRust

A fast semantic search tool for C/C++ codebases that uses AST pattern matching to help security researchers find interesting functionality.

#vulnerability-discovery#c#pattern-matching
Stars2.5k
Forks142
Last commit1 year ago
(Not So) Smart Cosmos, examples of common Cosmos app vulnerabilities
(Not So) Smart Cosmos, examples of common Cosmos app vulnerabilitiesSolidity

Guidelines, best practices, and training material for writing secure smart contracts across multiple blockchain platforms.

#vulnerability-examples#security-guidelines#multi-chain
Stars2.5k
Forks385
Last commit
Building Secure Contracts
Building Secure ContractsSolidity

Guidelines, best practices, and training material for writing secure smart contracts across multiple blockchain platforms.

#vulnerability-examples#security-guidelines#multi-chain
Stars2.5k
Forks385
Last commit
pfff
pfffOCaml

A set of tools and APIs for static analysis, code visualization, navigation, and style-preserving source transformations across multiple languages.

#code-querying#multi-language#source-transformation
Stars2.4k
Forks203
Last commit7 years ago
Find Security Bugs
Find Security BugsJava

A SpotBugs plugin for detecting security vulnerabilities in Java web and Android applications.

#taint-analysis#owasp#spotbugs-plugin
Stars2.4k
Forks481
Last commit2 months ago
PreviousPage 5 of 19

Related Tags

Community-curated · Updated weekly · 100% open source

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.

Submit a projectStar on GitHub
8 days ago
1 day ago
1 month ago
1 month ago
Next
#Code Quality343
#Developer Tools247
#Linting142
#Linter116
#Ci Cd98
#Javascript91
#Eslint72
#Eslint Plugin67
#Go67
#Python66
#Security65
#Code Analysis62