#1
黑盒 iOS 安全分析

FirmWire 是一个用于智能手机基带固件的模糊测试、调试和根本原因分析的全系统基带固件仿真平台。

用于分析 Golang 二进制文件的 IDApython 脚本

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

C/C++ 交互式逆向工程工具,用于 Android 应用程序,可实现快速的静态分析和 APK 文件的二进制检查。

通过解析 64 位 COFF 对象文件,在 Cobalt Strike 之外运行 Beacon 对象文件(BOF),并提供与 Beacon 兼容的参数生成及用于红队测试的辅助脚本。

Blackbox Protobuf 是一组用于处理已编码的 Protocol Buffers(protobuf)数据的工具,无需匹配的 protobuf 定义。

IDA Python 插件,用于在二进制文件中快速、基于位置地匹配开源库符号,从而实现对大型固件和恶意软件的高效逆向工程与漏洞分析。


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

一个用于检测并崩溃Cuckoo Sandbox的工具

SHAREM是一个shellcode分析框架,能够模拟超过45,000个WinAPI和几乎所有Windows系统调用。它还包含自己的自定义反汇编器,具有许多创新功能,例如能够显示编码shellcode的去混淆反汇编,或集成仿真数据以增强反汇编。

关于Rust和计算机安全的精选项目和资源列表

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


模块化软件验证工具链,将LLVM IR转换为Boogie中间验证语言,用于C程序中的有界和实验性无界断言检查。