
z3
High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…


SecureAI-Scan is a CLI tool that scans TypeScript and JavaScript codebases for security issues specific to AI-powered apps — prompt injection, MCP…


CLI tool and library for generating a Software Bill of Materials from container images and filesystems

JavaScript & Node.js open-source SAST scanner. A static analyser for detecting most common malicious patterns 🔬.

Hunt every Endpoint in your code, expose Shadow APIs, map the Attack Surface.

.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

Security Governance for Agentic AI

Comprehensive OWASP guide for mobile app security testing, reverse engineering, and verifying MASVS/MASWE weaknesses through static, dynamic, and…

Community Cryptography Specification Project

Protect against malicious open source packages 🤖

Takes third-party HTML and produces HTML that is safe to embed in your web application. Fast and easy to configure.

Open-source antivirus for AI agents: block risky tools, secret access, prompt injection, malicious packages, MCP servers, plugins, and skills at…

0-day malware detection for binaries, source & scripts (that doesn't suck)

Android DEX → Java decompiler in Rust, built for speed — full apps in seconds, queries in milliseconds. Progressive analysis, javac-verified output,…

DeepSeek v4.1 flash 逆向工具(无限五代) 求 Star 收藏 ⭐欢迎大家提交项目的改进

The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection — papers…