Sign in

Repository Index

47,133 repositories indexed

Tag: Static analysis
Tag
Filters

Filters

Clear all filters

1–6 of 6 · Most stars

Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, security risks, prompt injection, data exfiltration, and supply-chain risks in Claude Code, Codex, and MCP skills before you install them.

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

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

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

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

  • clang
  • cpp
  • c
  • clang-tidy

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.