amoco

amoco

地位：	正在開發
版本：	2.9（3.0前）
文件:	http://amoco.readthedocs.io/en/latest/index.html

描述

Amoco是用於二進制符號分析的Python軟件包。

它的特徵：

• 用於解碼說明的通用框架，用於減少實施新體系結構支持所需的時間。例如，用於大多數IA32指令的解碼器（通用）適合少於800行Python。完整的SPARCV8 RISC解碼器（或ARM Thumb-1集）適合少於350行。 ARMV8指令集解碼器小於650行。
• 符號代數模塊，允許描述每個指令的語義併計算指令塊的功能表示。
• 一個通用的執行模型，該模型提供了一個抽象的存儲模型，可以透明地處理具體或符號值，以及其他與系統有關的功能。
• 各種類別實施常規的拆卸技術，例如線性掃描，遞歸遍歷或更多詳細技術，例如路徑 - 偏用技術，這些技術依賴於SAT/SMT求解器來繼續發現控制流程圖，甚至可以實現諸如DARE（定向自動化的隨機探索）之類的技術。
• 各種通用的助手和依賴Arch的漂亮打印機允許自定義的外觀配置（想想AT＆T與英特爾語法，絕對偏移，相對偏移，十進製或即時六角形等）。

Amoco仍在進行中。有關從開發分支合併或更徹底實施的功能列表，請參見TODO。

可以在http://amoco.readthedocs.io/en/latest/index.html上找到用戶文檔和API

托多

AMOCO的某些組成部分仍在將其推向釋放分支或進一步開發。更精確：

• X86 FPU指令語義尚未實施，
• Arm Simd，VFP，Neon，Trustzone，Jazelle指令集未實施，
• 一些基於求解器的拆卸策略尚未合併。
• IDB導入/導出功能未實現。

歡迎實現未完成/未完成的零件的貢獻。

開發人員注意

默認的QT樣式表的靈感來自出色的QDarkStyleSheet，並通過從生成的RC_ICONS.PY模塊提供的QResource API中使用其大多數圖標：

 <pyenv>/lib/python3。 <x>/site -packages/pyside6/rcc -g python icons.qrc> rc_icons.pypy

執照

請參閱許可證。

ChangElog

• v2.9.11
  • 將默認的UI術語引擎從碎屑更改為富度
  • 添加emudata orm對像以保存模擬器狀態
  • 在Emul UI中添加保存/還原命令
  • 實現CallStack邏輯
  • 在eMul UI中添加呼叫箱框架
  • 在Emul UI中添加DEBUG命令
  • 為結構添加structview類漂亮打印
  • 修復X86 MMU_CACHE邏輯（Flush＆Misses）
  • 將默認操作從codeql更改為ruff
  • 基於皺紋檢查的重構代碼
• v2.9.10
  • x86：添加對實數執行的支持
  • X86：增加對分段/分頁的全部支持
  • 添加Baremetal-X86用於BIOS固件分析的系統
  • 合併新的Arch.io模塊來定義iOS的存根
  • 合併cas.blobs模塊
  • 添加rep stos/lods/scas/movs的快速版本
  • 在eMul類中添加跟踪點方法
  • 增加對PE資源的支持
  • 改善Amoco應用程序load/emul命令
  • 添加set，顯示，nexti，直到在emul ui中
• v2.9.9
  • 添加PPC32（E200）體系結構
  • 添加對COFF可執行格式的支持
  • 為GDB跟踪文件添加解析器
  • 改善結構子包
• v2.9.8
  • 更新到Pyside6（QT6）
  • 添加Ole2格式
  • 更新結構子彈以允許選擇的指針尺寸
  • AVR體系結構的部分更新
• v2.9.7
  • 放下python <3.8支持
  • 改進結構軟件包，以用於BITFIELD支持和計算選定的指針尺寸（32或64位）的場外偏移
• v2.9.6
  • 合併QT GUI ImageView
  • 通過熵和infoview改善QT GUI BINFMTVIEW/HEXVIEW
  • 添加特定的Mach-O視圖
  • 改善對QT UI暗模式的支持
  • 添加Tricore架構
  • 添加W65C02體系結構
  • 添加WASM架構
  • 添加WASM二進制格式解析器
  • 將模塊移動到軟件包中
• v2.9.5
  • 合併QT GUI BINFMTVIEW/HEXVIEW
  • 修復各種ARM說明的解碼器和語義
  • 添加結構視圖以及特定的精靈和PE視圖
  • 添加對QT UI暗模式的支持
  • 添加MIPS裝載機
  • 在結構中添加Bitfield支持
• v2.9.4
  • 添加MIPS_LE/SPARC/RISCV的Linux32裝載機
  • 更新WIN32/WIN64系統接口
  • 添加映射器支持非交流管道
  • 修復MIPS R3000負載/商店延遲管道效果
  • 添加ArchView類
  • 添加RISCV64體系結構（RISCV.RV64I）
  • 為規格添加前提測試
  • 更新所有拱形規格以避免發生衝突
  • 改進/修復各種拱形格式
  • 修復X86解析器
• v2.9.3
  • 合併/更新DBGUI EMUL和SRV命令
  • 合併/更新模擬器視圖
  • 添加PSX系統
  • 添加MIPS架構（僅R3000）
  • 改善對配置更改的支持
  • 返工ext/存根接口
  • 固定SPARC格式
  • 修復PE32+ DataDirectories解析
• v2.9.2
  • 準備與DBGUI合併
  • 丟棄Python 2.7支持
  • 返工子包/模塊導入和記錄
  • 各種代碼消毒
  • 黑色來源
• v2.9.1
  • 添加MACH-O加載程序和System.OSX骨架
  • 改善仿真器模塊
  • 添加服務器和基本客戶端CMDCLI UI
  • 修復各種錯誤/警告
• v2.9.0
  • 添加模擬器模塊的骨骼（Emul類）
  • 重組系統模塊為子包
  • 添加系統，操作系統，任務和Definestub類
  • 添加AVR架構
  • 修改的塊類=> map屬性移動到CFG.Node類
  • 在系統中移動內存類。 MEMORY模塊
  • 在“ SA”子包中移動CFG分析類
  • 改進調試日誌
  • 用Amoco改進PE/ELF解析器。
  • 在小精靈類中添加checksec方法
  • 修復ARMV7語義和格式
• v2.6.3
  • 添加矮架構
  • 更新並改善精靈裝載器
  • 改善表達式簡化了Shifts+和OPS
  • 合併可變長度結構字段類“ varfield”
• v2.6.2
  • 修復對結構“ slop”的支持
  • 允許結構的自定義對齊
• v2.6.1
  • 默認使用本地結構尺寸/淨化
• v2.6.0
  • 添加V850（E2S）體系結構
  • 添加SH2-A架構
  • 增加支持分析i.mx6 HAB結構的支持
  • 合併AVR架構
  • 添加系統/結構類
  • 從Amoco樹中導出“爬網”（libclang c-to-tocusts）
  • 添加EBPF說明語義
  • 添加對（舊）BPF指令規格的支持
  • 增加對十六進制/SREC二進制格式的支持
  • 添加內存圖'合併'方法
  • 在CoreExec（模擬器）中添加“ step_instruction”方法
  • 增加對UFS結構的支持
  • 合併UI的信號調度程序
  • 改善Setuptools支持
  • 刪除毒品並僅依靠Travis
  • 改善ARMV7說明語義和代碼幫助者
  • 改進ARMV7指令規格和格式
  • 添加規格樹調試級記錄
  • 修復具有Bigendian可變長度指令的拱門的解碼器
  • 通過擴展Fetcher的指示提高解碼器的效率
  • 添加對SPARC的PYGMENTS支持，MSP430指令格式
  • 改善表達式擴大
  • 改進配置模塊
• v2.5.3
  • 第77號問題的完整修復（典型的X64瘋狂）
• v2.5.2
  • 問題＃77（github）的部分修復與X64 Arch上的LEA指令語義有關。
• v2.5.1
  • 添加RISC-V架構
  • 添加EBPF架構
  • 如果支持
  • 添加RISCV Architecture所需的不太分類（LTU）和更大或平等的（GEU）操作員
  • 修復更簡化的方法來表達
  • 用“ BITSLICE”可選參數改進簡化方法
  • 改進映射器內存界面
  • 修復smt model_to_mapper方法
  • 添加CFG“點”格式（基本）輸出
  • 在Elf和PE類中添加“ GetFileOffset”方法
  • 刪除全球末端標誌
  • 更新X86/X64格式，以與GNU兼容AS和Clang
  • 添加一些X86/X64指令語義（Movnti，Wbinvd，div，...）
  • 修復一些X86/X64稀有說明規格（PMOVMSKB，...）
• v2.5.0
  • 支持Python3（> = 3.5）
  • 允許加載多個CPU拱門（修復第21和＃64）
  • 更新readme和phinx文檔
• v2.4.6
  • 添加Sphinx文檔（第一個文件和DocStrings）
  • 為主要類添加功能方法
  • 改善精靈漂亮的印刷
  • 更改DB模塊以使用SQLalchemy而不是ZODB
  • 使所有對象可拾取（具有最高協議）
  • 添加新的x86＆x64格式
  • 修復許多X64規格和語義
  • 一些績效改進
  • 改善簡化MEM（VEC）和SLC（VEC）
  • 修復slc.simplify for'**'操作員
• v2.4.5
  • 添加x86/x64內部'模式'選擇器
  • 為標籤添加“實驗室”表達式
  • 通過“ GREP”方法改善內存Zone/MAP
  • 改善內存zone以允許“轉移”到某個地址
  • 改善X86 AT＆T格式
  • 添加X64解碼器測試
  • 修復X64 RIP搭配的地址模式
  • 修復許多X64規格
  • 添加X64包裝的教義語義
  • 修復各種X86 SSE說明
  • 修復各種X86問題（Fisttp/SETCC/PUSH IMM8/MOVQ）
• v2.4.4
  • 添加一些SSE教學語義
  • 添加UI.Graphics QT軟件包，帶有塊/func/xfunc項目類
  • 添加初始UI.Graphics GTK軟件包
  • 在UI.Views.BlockView類中移動VLTable
  • 修復各種X86/64解碼/構造/語義
• v2.4.3
  • 添加UI.Graphics軟件包（倒空）
  • 添加UI.Views模塊，並支持塊/func/xfunc
  • 將ui.render.vltable類添加到漂亮的打印表
  • 改進指令格式課程以訪問PP令牌
  • 清潔的ITERCFG和Lbackward算法
  • 添加VECW表達類以表示“加寬” VEC表達式
  • 改善VEC表達式的記憶寫作
  • 改善func.makemap（）中的延伸和固定點
  • 添加“類型”屬性（std/pc/flags/stack/other）
  • 定義X86 Arch的寄存器類型
  • 修復一些X86/64解碼/構造/語義
  • 更新Travis配置，修復Pytest vs.令牌。
• v2.4.2
  • 合併對Pygments的支持漂亮的打印方法（在UI.Render模塊中）
  • 添加X86 Hilighted語法格式化（在Arch.x86.formats中）
  • 展示表達式的漂亮打印接口（exp.pp（），exp.toks（））
  • 刪除默認配置類後備（configparser是標準）
  • 合併一些樣品和測試，這些樣本和測試已移植到Pytest軟件包
  • 使用setuptools，添加tox.ini和travis-ci配置
  • 修復一些x86/x64語義
  • 改善SPARC V8格式
  • 添加SPARC協處理器寄存器
  • 更新readme
• v2.4.1
  • 添加lbackward分析和func.makemap（）實現
  • 添加VEC表達類以表示一組表達式
  • 添加映射器合併並擴大功能
  • 允許在exp.to_smtlib（）中傳遞SMT Solver實例
  • 在基於X86的系統類中添加funchelpers方法
  • 添加會話/DB類和泡菜特定的方法
  • 在日誌類中添加“進度”方法以提供反饋
  • 在setup.py中添加所需的外部軟件包
  • 修復一些x86/x64語義
  • 改善SPARC V8格式
  • 更新readme
• v2.4.0
  • 合併Z3求解器接口，請參見Smt.py和Smtlib（）EXP方法
  • 合併回合分析和代碼彈性類。
  • 改善表達式：單獨的一元和二進制操作，“標準化”表達式
  • 使用MOMEME（）方法和耐熔化的構圖運算符改進映射器
  • 改善內存Zone類：返回頂級表達式部分，而不是提高內存eRROR。
  • 為類似外殼的輸入添加RAWEXEC類
  • 支持ELF/PE類中的字符串輸入。
  • 修復各種x86/x64錯誤
  • 防止調整ENV登記冊的大小
  • 添加Win64加載器
  • 調整conf的日誌級別和可選文件
  • 更新readme
• v2.3.5
  • 添加X64 Arch +完整X86/64 SSE解碼器
  • {88}/{8a} mov指令的hotfix x86/x64反轉
  • 修復各種X86解碼器和語義
  • 代碼化妝品
• v2.3.4
  • 合併ARMV7/拇指固定語義
  • 添加X86 FPU解碼器
  • 在內存圖中添加定位函數
  • 在地圖邊界上修復核心read_instruction
  • 修復PE導入解析和TLS表構建器
  • 更快的通用解碼器
  • hotfix各種x86解碼器
  • 添加一些X86 SSE解碼器
• v2.3.3
  • 支持MSP430和PIC18微控制器
  • 修復SPARC RETT，UDIV/SDIV和格式
  • 修復X86 JCXZ指令解碼
• v2.3.2
  • 合併Z80/GB體系結構，修復SPARC報告了問題
  • 添加SSE2解碼的示例（固定）
• v2.3.1
  • 添加許可證文件
  • 修復SPARC架構
  • 當地址不是deref時，請避免使用PTR
  • 修復eqn_helpers簡化規則
  • REDME更新了
  • 新的PE類（在COST.EXE上測試） +對多個入口點的支持。