retools:retools:用于规范的逆向工程工具包 源码

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