Sign in

Repository Index

47,133 repositories indexed

Tag: Static analysis
Tag
Filters

Filters

Clear all filters

25–48 of 76 · Most stars

⚗️ Adds code analysis to Laravel improving developer productivity and code quality.

Copy/paste detector for source code. 220+ languages, Rust engine, SARIF/HTML/badge reporters, GitHub Action, MCP server for AI agents.

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

  • code-property-graph
  • compiler-theory
  • program-analysis
  • robdd

A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

Codebase intelligence for TypeScript and JavaScript. Health, complexity hotspots, duplication, architecture boundaries, circular dependencies, design-system drift, and unused code, from one graph. CLI, GitHub Action, LSP, MCP, and VS Code. Rust, MIT licensed.

A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C

Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

  • code-analyzer
  • code-style
  • coding-standards
  • formatter

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  • static-analysis
  • software-verification
  • abstract-interpretation
  • program-analysis