security-code-scan

Detector de patrones de vulnerabilidad para C y VB.NET - Sitio web Descarga Las versiones oficiales están disponibles como paquete nuget, extensión de Visual Studio y ejecutable independiente. Compilación git clone https://github.com/security-code-scan/security-code-scan.git cd security-code-scan...

move-vulnerability-database

Welcome to the Move Vulnerability Database MVD v3.0! A comprehensive collection of vulnerability patterns in the Move ecosystem. What's Inside Vulnerability Patterns - Categorized security issues with examples and severity ratings Appendix - Audit reports and protocol references Learning...

git-vuln-finder

git-vuln-finder Finding potential software vulnerabilities from git commit messages. The output format is a JSON with the associated commit which could contain a fix regarding a software vulnerability. The search is based on a set of regular expressions against the commit messages only. If CVE ID...

Codeguard-copilot

CodeGuard Copilot — Intelligent Security Ecosystem Your AI-Powered Security Guardian — Now Connected to Live Attacker Intelligence Features • Architecture • Raven Integration • Installation • Roadmap • Contributing What is CodeGuard Copilot? CodeGuard Copilot catches security vulnerabilities as y...

One Is a Fluke, 3 Is a Pattern: MCP Back-End Vulnerabilities

...

VulTriage: Triple-Path Context Augmentation for LLM-Based Vulnerability Detection

Automated vulnerability detection is a fundamental task in software security, yet existing learning-based methods still struggle to capture the structural dependencies, domain-specific vulnerability knowledge, and complex program semantics required for accurate detection. Recent Large Language...

InduGuard_vul_poc

ICS Vulnerability PoC Library — SCAA Benchmark Support Proof-...

Exploit for CVE-2025-48757

🛡️ Supabase Sentinel A Claude Skill that audits your Supaba...

Regular Expression Denial of Service Induced by Backreferences

This paper presents the first systematic study of denial-of-service vulnerabilities in Regular Expressions with Backreferences REwB. We introduce the Two-Phase Memory Automaton 2PMFA, an automaton model that precisely captures REwB semantics. Using this model, we derive necessary conditions under...

Automated Static Vulnerability Detection Via a Holistic Neuro-Symbolic Approach

Static vulnerability detection is still a challenging problem and demands excessive human efforts, e.g., manual curation of good vulnerability patterns. None of prior works, including classic program analysis or Large Language Model LLM-based approaches, have fully automated such vulnerability...