
dd
基于JIT的用户态Linux内核,可在Apple Silicon macOS上无需虚拟机原生运行容器。作为Docker Engine API的直接替代,提供容器隔离、overlay镜像和端口发布功能。

从 Cert Central 受损证书数据库中自动生成 YARA 规则。

用于逆向工程和模糊测试基于Protobuf的应用程序的工具集

Source code for the Binaries of OWASP WrongSecrets

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

自动化安全研究框架,集成静态分析、二进制分析、模糊测试、基于大语言模型的漏洞验证、漏洞利用生成及补丁编写,支持攻击与防御操作。

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

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

🔍 一款为逆向工程师、程序员以及那些珍视凌晨3点工作时视网膜的人而设计的十六进制编辑器。

pefile 是一个用于读取和处理 PE(可移植可执行文件)文件的 Python 模块。

一个 JavaScript 引擎模糊测试器

跨平台库,用于解析、修改和抽象ELF、PE和MachO可执行格式。支持C++、Python和Rust API,并具备反汇编器、汇编器和调试信息功能。

Open source Windows x64 PE packer and crypter. Compresses and encrypts executables with a custom virtual machine into a self extracting stub.

类 UNIX 逆向工程框架与命令行工具集

用户模式的 x86_64 二进制模拟器,用于恶意软件分析和逆向工程。支持 PE、ELF、内存转储和原始二进制文件,具备系统调用追踪、网络转储以及沙箱环境中的交互式调试功能。

B2R2 是一个完全用 F# 编写的托管二进制分析框架。它提供了丰富的算法、函数和工具,用于逆向工程、程序分析和二进制级检查。

网络瑞士军刀 - 用于加密、编码、压缩和数据分析的网络应用