amocoダウンロードamocoソースコードのダウンロード

アモコ

状態：	開発中
バージョン：	2.9（3.0以前）
ドキュメント：	http://amoco.readthedocs.io/en/latest/index.html

説明

Amocoは、バイナリの象徴的な分析専用のPythonパッケージです。

特徴：

新しいアーキテクチャのサポートを実装するために必要な時間を短縮するために開発された、デコード命令の一般的なフレームワーク。たとえば、ほとんどのIA32命令（一般的な目的）のデコーダーは、800行未満のPythonに適合します。完全なSPARCV8 RISCデコーダー（または同様にアームサム1セット）は、350ライン未満に収まります。 ARMV8命令セットデコーダーは650行未満です。
すべての命令のセマンティクスを記述し、命令ブロックの機能的表現を計算できるシンボリック代数モジュール。
具体的またはシンボリック値を透過的に扱う抽象メモリモデルを提供する一般的な実行モデル、およびその他のシステム依存機能。
線形掃引、再帰トラバーサル、またはSAT/SMTソルバーに依存してコントロールフローグラフの発見を進めたり、DAREなどのテクニックを実装する（監督された自動ランダム探索）などのパスプレジケートなどのより詳細な手法などの通常の分解技術を実装するさまざまなクラス。
さまざまなジェネリックヘルパーとアーチ依存のプリティプリンターは、カスタムルックアンドフィール構成を可能にします（AT＆T対Intel構文、絶対対相対オフセット、小数またはヘックスの即時など）。

Amocoはまだ進行中です。 Develop Branchからマージされたり、より徹底的に実装されたりする機能のリストについては、TODOを参照してください。

ユーザーのドキュメントとAPIは、http：//amoco.readthedocs.io/en/latest/index.htmlにあります

doc/amo_emu_inherit.png

トト

AMOCOの一部のコンポーネントは、まだリリースブランチに押し込まれているか、さらに開発されているプロセスにあります。もっと正確に：

X86 FPU命令セマンティクスは実装されていません、
アームシム、VFP、ネオン、トラストゾーン、ジャゼル命令セットは実装されていません、
一部のソルバーベースの分解戦略はまだマージされていません。
IDBのインポート/エクスポート機能は実装されていません。

不完全な/不明瞭な部分を満たすための貢献は歓迎されます。

開発者ノート

デフォルトのQT StyleSheetは、優れたQDarkStylesheetに触発され、生成されたrc_icons.pyモジュールから利用可能になったqresource APIを介してそのアイコンのほとんどを使用します。

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

ライセンス

ライセンスをご覧ください。

Changelog

v2.9.11
- デフォルトのUI用語エンジンをPygmentsからRichに変更します
- Emudata ormオブジェクトを追加して、エミュレータ状態を保存します
- emul uiに保存/復元コマンドを追加します
- CallStackロジックを実装します
- emul uiにコールスタックフレームを追加します
- emul uiにデバッグコマンドを追加します
- StructViewクラスをStructsを追加して、かなり印刷します
- x86 mmu_cacheロジック（フラッシュ＆ミス）を修正
- DefaultアクションをCodeQLからRuffに変更します
- Ruff Checksに基づいてコードをリファクタリングします
V2.9.10
- X86：実際のモード実行のサポートを追加します
- X86：セグメンテーション/ページングの完全なサポートを追加します
- BIOSファームウェア分析のためにBareMetal-X86システムを追加します
- 新しいarch.ioモジュールをマージして、iOSのスタブを定義します
- cas.blobsモジュールをマージします
- rep stos/lods/scas/movsの高速バージョンを追加します
- EmulクラスにTracePointメソッドを追加します
- PEリソースのサポートを追加します
- AMOCOアプリのロード/EMULコマンドを改善します
- emul uiになるまで、set、display、nextiを追加します
v2.9.9
- PPC32（E200）アーキテクチャを追加します
- COFF実行可能ファーマットのサポートを追加します
- GDBトレースファイルにパーサーを追加します
- 構造体のサブパッケージを改善します
v2.9.8
- Pyside6（QT6）に更新する
- ole2形式を追加します
- Structsサブパッケージを更新して、選択したポインターサイズを許可します
- AVRアーキテクチャの部分的な更新
v2.9.7
- Python <3.8サポートをドロップします
- ビットフィールドサポートのための構造体パッケージと、選択したポインターサイズ（32または64ビット）のフィールドのオフセットの計算のためのパッケージを改善する
V2.9.6
- QT GUI ImageViewをマージします
- Entropy＆Infoviewを使用して、QT GUI BINFMTVIEW/HEXVIEWを改善します
- 特定のMACH-Oビューを追加します
- QT UIダークモードのサポートを改善します
- Tricoreアーキテクチャを追加します
- W65C02アーキテクチャを追加します
- WASMアーキテクチャを追加します
- WASMバイナリ形式のパーサーを追加します
- System.Structsモジュールをパッケージに移動します
v2.9.5
- QT GUI BINFMTVIEW/HEXVIEWをマージします
- さまざまなARM命令のデコーダーとセマンティクスを修正します
- 構造ビューと特定のELFおよびPEビューを追加します
- QT UIダークモードのサポートを追加します
- MIPSローダーを追加します
- 構造体にビットフィールドサポートを追加します
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/stubインターフェイスを作り直します
- SPARCフォーマッタの修正
- PE32+データディレクトリの解析の修正
v2.9.2
- dbguiとのマージを準備します
- Python 2.7のサポートをドロップします
- サブパッケージ/モジュールのインポートとロギングを再加工します
- さまざまなコードの消毒
- 黒人化源
V2.9.1
- Mach-O LoaderとSystem.osxスケルトンを追加します
- エミュレータモジュールを改善します
- サーバーと基本的なクライアントCMDCLI UIを追加します
- さまざまなエラー/警告を修正します
v2.9.0
- エミュレータモジュール（EMULクラス）のスケルトンを追加
- システムモジュールをサブパッケージに再編成します
- システム、OS、タスク、Definestubクラスを追加します
- AVRアーキテクチャを追加します
- 変更されたブロッククラス=>マップ属性はCFG.Nodeクラスに移動しました
- System.memoryモジュールでメモリクラスを移動しました
- 「SA」サブパッケージでCFG分析クラスを移動しました
- デバッグログを改善します
- AMOCO.StructsモジュールでPE/ELFパーサーを改善します
- ELFクラスにチェックセックメソッドを追加します
- ARMV7セマンティクスとフォーマットを修正します
v2.6.3
- ドワーフアーキテクチャを追加します
- ELFローダーを更新および改善します
- 式を改善して、シフト+およびOPSのsimplify
- 可変長structフィールドクラス「varfield」をマージする
v2.6.2
- 構造体「スロップ」のサポートを修正
- 構造体の自己定義のアライメントを許可します
v2.6.1
- デフォルトでネイティブ構造のサイズ/アリジュメントを使用します
v2.6.0
- V850（E2S）アーキテクチャを追加します
- SH2-Aアーキテクチャを追加します
- I.MX6 HAB構造を分析するためのサポートを追加します
- AVRアーキテクチャをマージします
- システム/structsクラスを追加します
- アモコの木から「クロール」を輸出する（libclang c-to-structs）
- EBPF命令セマンティクスを追加します
- （古い）BPF命令の仕様のサポートを追加します
- HEX/SRECバイナリ形式のサポートを追加します
- メモリマップ「マージ」メソッドを追加します
- coreexec（エミュレータ）に「step_instruction」メソッドを追加する
- UFS構造のサポートを追加します
- UIのシグナルディスパッチャをマージします
- SetUptoolsサポートを改善します
- トックスを削除し、トラビスのみに頼ってください
- ARMV7の指示セマンティクスとコードヘルパーを改善します
- ARMV7命令の仕様と形式を改善します
- スペックツリーデバッグレベルのロギングを追加します
- Bigendian可変長命令を備えたアーチのデコーダーを修正します
- 拡張フェッチャーのインジケーターを使用して、デコーダーの効率を向上させます
- SPARCのPygmentsサポート、MSP430命令フォーマッタを追加します
- 式の拡大を改善します
- 構成モジュールを改善します
v2.5.3
- 第77号の完全な修正（典型的なx64狂気）
v2.5.2
- X64 ArchのLEA命令セマンティクスに関連する問題＃77（GitHub）の部分的な修正。
v2.5.1
- RISC-Vアーキテクチャを追加します
- EBPFアーキテクチャを追加します
- サポートされている場合、ほとんどの演算子にUnicodeシンボルを使用してUnicode出力を使用します
- RISCVアーキテクチャが必要とする、より少ない署名（LTU）およびより大きいまたは等しくない（GEU）オペレーターを追加する
- COMP式のSimplifyメソッドを修正します
- 「bitslice」オプションパラメーターを使用して、Simplifyメソッドを改善します
- マッパーメモリインターフェイスを改善します
- SMT model_to_mapperメソッドを修正します
- CFG 'DOT'フォーマット（初等）出力を追加します
- 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およびsphinxドキュメントを更新します
v2.4.6
- Sphinxドキュメント（RSTファイルとdocstrings）を追加する
- メインクラスの関数メソッドを追加します
- ELFのきれいな印刷を改善します
- DBモジュールを変更して、ZODBではなくSQLALCHEMYを使用しました
- すべてのオブジェクトを選択可能にします（最高のプロトコルを使用）
- 新しいX86およびX64フォーマッタを追加します
- 多くのX64仕様とセマンティクスを修正します
- いくつかのパフォーマンスの改善
- MEM（VEC）とSLC（VEC）を簡素化する
- slc.simplifyを '**'演算子のsimplifyを修正します
v2.4.5
- x86/x64内部 'モード'セレクターを追加します
- ラベルに「ラボ」式を追加します
- 「グレップ」メソッドでメモリゾーン/マップを改善します
- MemoryZoneを改善して、一部のアドレスに「シフト」を許可します
- X86 AT＆Tフォーマッタを改善します
- x64デコーダーテストを追加します
- X64 RIP関連アドレス指定モードを修正します
- 多くのX64仕様を修正します
- x64パックインストラクションセマンティクスを追加します
- さまざまなX86 SSE命令を修正します
- さまざまなx86の問題を修正します（fisttp/setcc/push movq）
v2.4.4
- いくつかのSSE命令セマンティクスを追加します
- ブロック/func/xfuncアイテムクラスを備えたui.graphics qtパッケージを追加します
- 初期ui.graphics gtkパッケージを追加します
- ui.views.blockviewクラスでvltableを移動します
- さまざまなX86/64デコード/フォーミング/セマンティクスを修正します
v2.4.3
- ui.graphicsパッケージを追加（空）
- block/func/xfuncをサポートしてUI.Viewsモジュールを追加します
- ui.render.vltableクラスをかなり印刷テーブルに追加します
- PPトークンにアクセスするには、命令フォーマッタクラスを改善します
- クリーナーITERCFGおよびLBackwardアルゴリズム
- VECW式クラスを追加して、「拡張された」VEC式を表します
- VEC式のメモリ書き込みを改善します
- func.makemap（）の拡大と修正ポイントを改善する
- 「タイプ」属性を追加（STD/PC/Flags/Stack/その他）
- x86アーチのレジスタタイプを定義します
- いくつかのX86/64デコード/フォーミング/セマンティクスを修正します
- Travis Configを更新し、Pytest vs. Tokenを修正します。
v2.4.2
- pygmentsのサポートをマージしてくださいかなり印刷方法（ui.renderモジュール）
- X86 Hilighted Syntax Formatter（arch.x86.formats）を追加
- 式のきれいな印刷インターフェイス（exp.pp（）、exp.toks（））を公開する
- デフォルトのconfigクラスフォールバックを削除します（configparserが標準です）
- Pytestパッケージに移植されたいくつかのサンプルとテストをマージします
- setuptoolsを使用し、tox.iniとtravis-ci configを追加します
- いくつかのx86/x64セマンティクスを修正します
- SPARC V8形式を改善します
- SPARCコプロセッサレジスタを追加します
- readmeを更新します
v2.4.1
- lbackward分析とfunc.makemap（）実装を追加します
- VEC式クラスを追加して、一連の式を表す
- マッパーマージと拡大関数を追加します
- exp.to_smtlib（）でSMTソルバーインスタンスを渡すことを許可します
- x86ベースのシステムクラスにFunchelpersメソッドを追加します
- セッション/DBクラスとピクルス固有の方法を追加します
- ログクラスに「進行状況」メソッドを追加して、フィードバックを提供します
- Setup.pyに必要な外部パッケージを追加します
- いくつかのx86/x64セマンティクスを修正します
- SPARC V8形式を改善します
- readmeを更新します
v2.4.0
- Z3ソルバーインターフェイスをマージし、smt.pyおよびsmtlib（）expメソッドを参照してください
- fbackward分析とコードFUNCクラスをマージします。
- 式の改善：統一術とバイナリopsを分離し、「正規化」します
- メモリ（）メソッドとエイリアシング耐性の組成演算子でマッパーを改善します
- メモリゾーンクラスの改善：メモリエラーを上げる代わりに、トップの表現パーツを返します。
- シェルコードのような入力にrawexecクラスを追加します
- ELF/PEクラスで文字列入力をサポートします。
- さまざまなX86/X64バグを修正します
- ENVレジスタのサイズ変更から保護します
- Win64ローダーを追加します
- confからログレベルとオプションファイルを調整します
- readmeを更新します
v2.3.5
- x64アーチ +フルx86/64 SSEデコーダーを追加します
- hotfix x86/x64 {88}/{8a} mov命令の反転
- さまざまなX86デコーダーとセマンティクスを修正します
- コード化粧品
v2.3.4
- ARMV7/サム固定セマンティクスをマージします
- X86 FPUデコーダーを追加します
- メモリマップにLocate関数を追加します
- マップ境界にコア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 simplifierルールを修正します
- readmeが更新されました
- 新しいPEクラス（cost.exeでテスト） +複数のエントリポイントのサポート。