用 Python 写的逆向工程框架，集汇编、反汇编、模拟执行和符号执行于一体，方便分析二进制程序。

Triton 是一个动态二进制分析库，提供指令语义提升、符号执行和污点分析能力，用来搭建逆向工程与软件验证工具。

开源的交互式反汇编器，支持符号执行和模拟执行，帮助逆向工程师分析二进制程序。

一套用于计算机系统课程教学的自编译 C 编译器、自执行 RISC-V 模拟器和自托管 RISC-V 虚拟机监控器，帮助学生在动手实现中理解编译、执行与虚拟化的完整链路。