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

73–96 of 143 · Most stars

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

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

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

Flog reports the most tortured code in an easy to read pain report. The higher the score, the more pain the code is in.

A Rake task gem that helps you find the unused routes and controller actions for your Rails 3+ app

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.

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

MARA is a Mobile Application Reverse engineering and Analysis Framework. It is a toolkit that puts together commonly used mobile application reverse engineering and analysis tools to assist in testing mobile applications against the OWASP mobile security threats.

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).

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

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

  • maven-plugin
  • maven
  • java
  • report

💀 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

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