
DOMPurify
DOMPurify - a DOM-only, super-fast, uber-tolerant XSS sanitizer for HTML, MathML and SVG. DOMPurify works with a secure default, but offers a lot of…

DOMPurify - a DOM-only, super-fast, uber-tolerant XSS sanitizer for HTML, MathML and SVG. DOMPurify works with a secure default, but offers a lot of…

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

DeepAudit:人人拥有的 AI 黑客战队,让漏洞挖掘触手可及。国内首个开源的代码漏洞挖掘多智能体系统。小白一键部署运行,自主协作审计 + 自动化沙箱 PoC 验证。支持 Ollama 私有部署 ,一键生成报告。支持中转站。让安全不再昂贵,让审计不再复杂。

Quickly find differences and similarities in disassembled code

Project Wycheproof tests crypto libraries against known attacks.

Enterprise-grade static code analysis platform with multi-language support, security vulnerability detection, code quality metrics, and DevOps…

Demystifying Exploitable Bugs in Smart Contracts

Automated static analysis tools for binary programs

Resources related to GitHub Security Lab


A vulnerable version of Rails that follows the OWASP Top 10

PowerShell Obfuscation Detection Framework

Obfuscate a python code 2.x and 3.x

a javascript static security analysis tool

Python source code auditing and static analysis on a large scale

Build and query a graph database representation of source code

Workshop on firmware reverse engineering

Course materials for hackaday.io Ghidra training