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

✂️ Find unused files, dependencies and exports in your JavaScript and TypeScript projects. Knip it before you ship it!

  • dependency-analysis
  • lint
  • maintenance
  • typescript

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

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

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

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

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

PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.

An analyzer library for C# and VB that uses Roslyn to produce refactorings, code analysis, and other niceties.

  • hacktoberfest

DevSkim is a set of IDE plugins, language analyzers, and rules that provide security "linting" capabilities.

plpgsql_check is a linter tool (does source code static analyze) for the PostgreSQL language plpgsql (the native language for PostgreSQL store procedures).

Flay analyzes code for structural similarities. Differences in literal values, variable, class, method names, whitespace, programming style, braces vs do/end, etc are all ignored.

Static XSS audit skill with 14 layers of checks for React, TypeScript, and JavaScript projects.

💀 PHP unused code detection via PHPStan extension. Detects dead cycles, supports libs like Laravel, Symfony, Twig, Doctrine, PHPUnit etc. Can automatically remove dead PHP code. Able to detect dead code used only in tests. Finds unused methods, constants, properties and enum cases.

  • dead
  • phpstan
  • phpstan-rules
  • unused-code

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.

Compares two source sets and determines the appropriate semantic versioning to apply.

  • php
  • semver
  • inspection
  • ruleset