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 26 · 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.

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

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

A Golang tool that does static analysis, unit testing, code review and generate code quality report.

  • codereview
  • reporter
  • golang
  • golang-tools

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

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

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

Dawn is a static analysis security scanner for ruby written web applications. It supports Sinatra, Padrino and Ruby on Rails frameworks.

Static Application Security Testing (SAST) engine focused on covering the OWASP Top 10, to make source code analysis to find vulnerabilities right in the source code, focused on a agile and easy to implement software inside your DevOps pipeline. Support the following technologies: Java (Maven and Android), Kotlin (Android), Swift (iOS), .NET Full Framework, C#, and Javascript (Node.js).

Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the development environment as spell check and compiler warnings, preventing security bugs from entering your applications.

A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automatic deserialization, static query verification and type checking

  • graphql-schema
  • dotnet-cli
  • fable
  • graphql

Security linter for AI-generated code: catches the exact vulnerabilities Copilot, Cursor and ChatGPT repeatedly produce. SQL injection, hardcoded secrets, JWT bypass, command injection and 15+ more rules. Grade A–F. Zero config. CI/CD ready.