program-analysis

Windows 用户模式调试器，专为逆向工程与恶意软件分析优化

用于 Windows、Linux 和 macOS 的文件类型判别程序

Triton 是一个动态二进制分析库。构建自己的程序分析工具，自动化逆向工程，执行软件验证或仅仅模拟代码

Mythril 是一款基于符号执行的安全分析工具，针对 EVM 字节码。它可检测为 Ethereum 及其他 EVM 兼容区块链所建智能合约的安全漏洞。

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

DIE 引擎

快速查找反汇编代码中的差异与相似之处

基于抽象解释理论的 C/C++ 静态分析器

二进制分析平台

Jar Analyzer - 一个 JAR 包 GUI 分析工具，内置 AI 助手协助分析，支持 JAR DIFF 分析、方法调用关系搜索、方法调用链 DFS 算法分析、模拟 JVM 的污点分析验证 DFS 结果、字符串搜索、Java Web 组件入口分析、CFG 程序分析、JVM 栈帧分析、自定义表达式搜索等

最先进的源代码抄袭与作弊检测。检查一组程序中的抄袭情况。

静态代码分析

cwe_checker 在二进制可执行文件中寻找具漏洞的模式

Semgrep 社区版规则，由 Semgrep 与社区共同维护。在 Semgrep 规则授权下免费使用。

用于静态程序分析的 Tai-e 作业

官方的 angr 图形界面。

基于 LLVM 的静态分析框架。

T.J. Watson 分析库，提供 Java、Android 和 JavaScript 前端，并包含许多常见的静态程序分析功能。

实时理解任何代码库。为人类与 AI 打造的代码库系统智慧。

架构全面翻新的新版 Soot

精选的实用 LLVM（包含 Clang 等）相关资源列表。

一个包含逆向工程、二进制分析和汇编语言编程工具的综合速查表集合。此存储库是安全研究人员、逆向工程师和底层程序员的一站式参考资源。

使用 Rust 编写的二进制分析框架。

C 编程语言的编译器前端

[LLVM Static Slicer] 各种程序分析、依赖图构建以及 LLVM bitcode 的程序切片。