工具

sunghoojung/reverse-engineering-browser

基于自定义 Brave 构建的本地优先 macOS 研究浏览器，可捕获网络流量、指纹、脚本和运行时证据，用于对 Web 应用进行逆向工程。

yaklang/javajive

纯 Go Java 反编译器和序列化操作器

atomdrift-project/scan

针对二进制文件、源代码和脚本的0-day恶意软件检测（真正好用的）

githubsecuritylab/seclab-taskflows-fuzzing

一个由 GitHub Security Lab Taskflow Agent 驱动的 LLM 驱动模糊测试流水线

ch0pin/rdx

A native APK and DEX decompiler written in Rust

gmh5225/ghidra_svr_bridge

Binary Ninja 插件，通过 Java 桥接子进程与 Ghidra Server 仓库进行双向分析同步。

gmh5225/gmh5225

基于LLVM的安全研究工具链：NeverC，一个C23交叉编译器，以及NeverD，一个二进制分析与反编译引擎，可将PE、ELF、Mach-O、EVM和SBF提升为LLVM IR。

9pings/fad-checker

Buildless dependency auditor that scans 10 ecosystems offline, reporting CVEs prioritized by CISA KEV and EPSS, EOL packages, licenses, committed…

nationwide-group-oss/cryptoptic

基于 CodeQL 的扫描器，可清点跨仓库和 GitHub 组织中的加密函数调用，并以 SARIF 格式生成加密物料清单（CBOM）。

gmh5225/fracture-

🐈‍⬛ 用于逆向工程 JVM 应用程序的 WIP 套件

whgojp/javaseclab

全面的 Java 漏洞实验环境，包含易受攻击和已修复的代码、攻击场景、source/sink 审计笔记，以及用于安全培训和工具评估的安全编码指南。

swiftdevcollective/xcodeprojectsecurity

一个用于扫描 Xcode 项目文件中可能存在的安全问题的 macOS 应用。

veridiff/veridiff

用于原生代码的动态分支分歧查找器——跟踪两次 Frida 执行并找出它们发生分歧的确切指令。

gmh5225/evmbench-certora-agent-harness

使用LLM和Certora Prover生成并优化智能合约CVL规范的迭代式代理框架，将验证器输出反馈回去，直到成功或达到最大迭代次数。

ylca0/idalib-cli

面向 Agent 的原生 CLI，封装 IDA Pro IDALib，用于无状态、JSON 输出的二进制分析：反汇编、Hex-Rays 反编译、CFG、交叉引用、字符串，以及批量或并行 IDB 处理。

auditinfra-io/o1js-scan

用于检测 o1js/Mina zkApps 和 Noir 电路中 zk 电路健全性漏洞的无依赖静态分析器

vighnesh91/ipaforge

Dependency-free Python CLI to unpack, inspect, edit, and rebuild iOS .ipa archives, converting plists and strings to XML while preserving Mach-O…