
basalt
World's first hazard checker for NVIDIA Blackwell (sm_120), with an assembler and scheduler matched against their own compiler byte for byte. The…

World's first hazard checker for NVIDIA Blackwell (sm_120), with an assembler and scheduler matched against their own compiler byte for byte. The…


A Python pickling decompiler and static analyzer

Collection of Semgrep rules for static code analysis, detecting security vulnerabilities, and enforcing secure coding practices across multiple…

AI-powered Docker security scanner that explains vulnerabilities in plain English. An OWASP Lab Project.

Snyk CLI scans and monitors your projects for security vulnerabilities.

PoC for CVE-2026-63030 + CVE-2026-60137, AKA WP2Shell

Agentic Framework for Synthesizing CodeQL Queries

Code-quality and static-analysis platform with quality gates, multi-language scanning, and security-focused rules to detect vulnerabilities and…

Exploit for CVE-2022-22965 (Spring4Shell) targeting Spring Framework versions vulnerable to remote code execution via classLoader manipulation.

Adding this GitHub Action will scan your repository for sensitive data in your source code. We find things like passwords, server host strings, API…

Given JSON-like content, The JSON Sanitizer converts it to valid JSON.

Alat ini mendeteksi potensi kerentanan React2Shell (CVE-2025-55182) dalam proyek React dengan memeriksa: - File `package.json` dan file lock untuk…

Oracle Identity Manager 远程代码执行漏洞CVE-2025-61757

Scans project source code across 16 languages to flag dangerous functions linked to SQLi, XSS, SSRF, command injection, weak crypto, and other web…

Java bytecode analyzer customizable via JSON rules

AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.

Radare2 AI plugin using local or remote LLMs for decompilation, function explanation, vulnerability detection, renaming, and scripted reverse…