#1高性能SMT求解器,用于自动定理证明、约束求解和程序验证。支持多种理论和语言绑定,用于形式化分析。

社区最全面、持续更新的关于大语言模型用于软件漏洞检测的研究索引——涵盖函数级、仓库级、智能体及智能合约检测的论文,以及数据集、基准测试和综述。

A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.

Agent skills for solving CTF challenges - web exploitation, binary pwn, crypto, reverse engineering, forensics, OSINT, and more

研究包,演示通过 CVE-2026-0006 APV 解码器堆溢出在 Android media.swcodec 中实现的泄漏辅助 ROP 链,包含载荷生成器和 tombstone 证据。

开源XDR和SIEM平台,用于跨端点和云工作负载的威胁检测、日志分析、文件完整性监控、漏洞评估和合规管理。

适用于 Windows、Linux 和 MacOS 的 PE 文件查看器/编辑器。


高性能机密扫描器。命令行工具、Go 语言库、Burp Suite 扩展和 Chrome 扩展。487条检测规则,支持实时凭据验证。

用于安全协议的多集重写与约束求解符号验证工具,可证明保密性、认证性和等价性属性。

用于构建动态分析工具的运行时插桩框架:支持 Windows、Linux、Android 和 ARM 平台上的跟踪、性能剖析、代码覆盖率、内存调试、模糊测试和反汇编。

A collection of android security related resources


精心策划的易受攻击和恶意Windows驱动程序数据库,包含YARA、Sigma、ClamAV和Sysmon检测规则,用于主动威胁狩猎和事件响应。

实时Windows系统监控工具,具备高级进程、网络和磁盘分析,堆栈跟踪调试,恶意软件检测以及服务管理功能。便携且免费。