amoco:另一个分析二进制文件的工具 源码

阿莫科 状态: 正在开发中 地点: 版本: 2.9(3.0以下) 文件: 描述 Amoco是专用于二进制符号分析的python(> = 3.7)软件包。 它具有以下特点: 开发用于解码指令的通用框架,旨在减少实现对新架构的支持所需的时间。 例如,大多数IA32指令(通用)的解码器都适合少于800行的Python。 完整的SPARCv8 RISC解码器(或ARM THUMB-1集)可容纳少于350行。 ARMv8指令集解码器少于650行。 一个符号代数模块,它可以描述每条指令的语义并计算指令块的功能表示。 通用执行模型,它提供抽象的内存模型来透明地处理具体的或符号值,以及其