retools：用于规范的逆向工程工具包 旨在进行逆向工程任务的工具（反汇编程序，仿真器，二进制解析器）的集合，更具体地说，是与错误查找相关的工具。 当前，我们以ARMv7和Mach-O为目标，尽管将来计划更多的体系结构和格式。 retools在某种程度上是独特的，因为相关指令的大多数语义都是从规范PDF中解析出来的，而不是由手工生成的。 当前，反汇编程序，仿真器和二进制解析器已部分完成，随着我获得更多时间，将使用符号执行引擎和检测/挂钩框架。 关于框架 retools被设计为模块化的，也就是