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–24 of 64 · Most stars

Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.

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

⚗️ 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

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.

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

Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.

TranslatedDesktop Android leak audit: permissions, endpoints, data flows, reversible fixes. Phone privacy audit: uses adb to scan an Android app's permissions, reporting endpoints, and data flows, and provides reversible remediation.

A semi-opinionated library which is a source generator and a code analyser. It Source generates Value Objects

  • csharp-sourcegenerator
  • hacktoberfest
  • patterns
  • contributions-welcome