
raptor
Autonomous security research framework integrating static analysis, binary analysis, fuzzing, LLM-powered vulnerability validation, exploit…

Autonomous security research framework integrating static analysis, binary analysis, fuzzing, LLM-powered vulnerability validation, exploit…

OpenAI's Codex Security CLI and TypeScript SDK for finding, validating, and fixing security vulnerabilities. npm:…

Vulnerability research assistant that extracts pseudocode from the IDA Hex-Rays decompiler.

PHP Static Analysis Tool - discover bugs in your code without running it!

An extensible multilanguage static code analyzer.

A static analyzer for Java, C, C++, and Objective-C

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

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

OpenAnt from Knostic is the leading open source LLM-based vulnerability discovery product, helping defenders proactively find verified security flaws…

Research-only AI watermark robustness toolkit: local reverse proxy strips C2PA/EXIF/XMP, Unicode, image/audio stego, OOXML/PDF metadata, and scans…

Static analysis tool for detecting ReDoS (Regular Expression Denial of Service) vulnerabilities in JavaScript and Scala codebases, providing…

Curated directory of Node.js security tools, static analyzers, vulnerability scanners, and educational resources covering OWASP Top 10, supply chain…

Synthetic CWE-120 stack buffer overflow variant of CVE-2020-8597 (pppd EAP) as a CodeQL static-analysis target

A collection of my Semgrep rules to facilitate vulnerability research.

解决网络安全漏洞

Curated Semgrep rule repository for GitLab SAST, providing static analysis patterns to detect security vulnerabilities across multiple programming…

AI-driven pentest harness with black-box, white-box, grey-box, host/cloud, and LLM red-team modes; validates findings with cross-model voting and…