Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
- static-analysis
- static-code-analysis
- java
- go
55,140 visible repositories in the index
1–6 of 6 · Most stars
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Copy/paste detector for source code. 220+ languages, Rust engine, SARIF/HTML/badge reporters, GitHub Action, MCP server for AI agents.
Pretty good call graphs for dynamic languages
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Static analysis CLI tool for Magento 2 codebases - detects anti-patterns, code quality issues, and architectural problems. SARIF output for CI/CD integration.
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.