Sign in

Repository Index

47,133 repositories indexed

Tags: Static analysis
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–18 of 18 · Most stars

Codebase intelligence for AI and humans: code health scores, auto-generated docs, git analytics, dead code detection, and architectural decisions via MCP.

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.

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

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

Complex code hides connections, workflows, and business risks.Unvibe complex code. Trace business workflows.

  • business-logic
  • code-analysis
  • code-understanding
  • codebase-analysis

Identifies and prioritizes Class and Package Cycles and Anti-pattens in Java & Kotlin codebases you should refactor first.

  • maven-plugin
  • maven
  • java
  • report

Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.

eBPF verifier based on abstract interpretation

  • abstract-interpretation
  • static-analyzer
  • ebpf
  • ebpf-verifier

Roslyn-based analysis for code using the Serilog logging library. Checks for common mistakes and usage problems.

  • serilog
  • roslyn
  • analysis
  • refactor

Dependency analysis and optimization toolkit for modern JavaScript and TypeScript codebases. Enforce dependency graph hygiene and remove unused code with a very fast CLI.

  • dependency-analysis
  • reverse-dependencies
  • dependency-resolution
  • file-dependencies