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

自主红队平台;多智能体攻击性安全元框架

多架构反汇编框架,提供轻量级、线程安全的 API,用于跨 20 多种硬件架构的二进制分析、逆向工程和恶意软件研究。

一个 Java 8+ Jar 和 Android APK 逆向工程套件(反编译、编辑、调试等功能)

借助 GDB 和 LLDB 轻松实现漏洞利用开发与逆向工程

一个强大且用户友好的二进制分析平台!

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

用于确定文件类型的程序,适用于 Windows、Linux 和 MacOS。

无需实际安装即可运行 iOS 应用!

知名 .NET 调试器和程序集编辑器 dnSpy 的非官方复兴版

Cheat Engine. 一个专注于修改的开发环境。

优秀的逆向工程资源列表

用于多线程应用确定性调试的录制与回放框架,支持反向执行、硬件观察点及高效的时间旅行调试。

模糊测试器 afl++ 是带有社区补丁的 afl、qemu 5.1 升级、无冲突覆盖率、增强的 laf-intel 和 redqueen、AFLfast++ 的能量调度、MOpt 变异器、unicorn_mode 以及更多功能!

GEF (GDB Enhanced Features) - 为 GDB 带来现代化体验,具备面向 Linux 上漏洞利用开发者与逆向工程师的高级调试功能

Cybersecurity oriented awesome list