

可扩展的调试器UI工具包,为LLDB、GDB、VDB和WinDbg提供可自定义的寄存器、反汇编、堆栈、内存、断点和回溯视图。

基于模板的二进制格式模糊测试器,能够高速生成并解析有效的测试输入,集成了AFL++以实现覆盖引导的模糊测试。

Project Ares 是一个概念验证 (PoC) 加载器,使用 C/C++ 编写,基于事务性空洞技术

一个多平台模糊测试工具,用于探测用户态二进制文件、网络客户端和服务器

静态二进制插桩工具,可从可执行文件中转储COFF目标文件,支持在任意位置插入代码/数据,用于通过IDA Pro进行黑盒模糊测试和二进制补丁。

一款用于IDA和VS Code的集成工具,连接两者以轻松执行和调试IDAPython脚本。


一个用于测试Windows和Linux shellcode的应用程序

:cherry_blossom: 交互式 shellcode 环境,可轻松制作 shellcode

使用不同的API混淆特定的Windows API

🕵️ 用于对未知定义的 Protocol Buffers 进行逆向工程的工具

用于发现 Windows 可执行文件中 DLL 搜索顺序劫持候选者的自动化扫描器,具备导入表解析、运行时模块枚举以及通过 Microsoft Detours 实现 API 钩子等功能。

识别 Microsoft Defender 标记的字节。

用于识别混淆代码和其他有趣代码结构的 Binary Ninja 插件

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