amoco

Amoco

حالة:	قيد التنمية
إصدار:	2.9 (قبل 3.0)
المستند:	http://amoco.readthedocs.io/en/latest/index.html

وصف

Amoco هي حزمة Python مخصصة للتحليل الرمزي للثنائيات.

يميز:

• إطار عام لفك تشفير التعليمات ، تم تطويره لتقليل الوقت اللازم لتنفيذ الدعم للبنية الجديدة. على سبيل المثال ، يناسب فك الترميز لمعظم تعليمات IA32 (الغرض العام) في أقل من 800 سطر من الثعبان. يناسب وحدة فك ترميز SPARCV8 RISC الكاملة (أو مجموعة الإبهام -1 الذراع أيضًا) في أقل من 350 سطرًا. وحدة فك ترميز مجموعة تعليمات ARMV8 أقل من 650 سطر.
• وحدة الجبر الرمزية التي تسمح بوصف دلالات كل تعليمات وحساب تمثيل وظيفي لكتل ​​التعليمات.
• نموذج تنفيذ عام يوفر نموذج ذاكرة مجردة للتعامل مع القيم الخرسانية أو الرمزية بشفافية ، والميزات الأخرى التي تعتمد على النظام.
• فصول مختلفة تنفذ تقنيات التفكيك المعتادة مثل المسح الخطية أو التجارب العودية أو أكثر تقنيات مفصلية مثل مسار مسار والتي تعتمد على حلول SAT/SMT للمضي قدما في اكتشاف رسم بياني تدفق التحكم أو حتى لتنفيذ تقنيات مثل DARE (توجيهات استكشاف عشوائي تلقائيًا).
• العديد من المساعدين العامين والطابعات الجميلة المعتمدة على القوس للسماح بتكوينات مخصصة للمظهر والملعين (فكر في بناء الجملة AT&T مقابل Intel ، المطلقة مقابل الإزاحة النسبية ، العشرية أو السداسية الفورية ، إلخ).

Amoco لا يزال يعمل قيد التقدم . انظر TODO للحصول على قائمة بالميزات التي سيتم دمجها من فرع تطوير أو لتنفيذها بشكل أكثر شمولية.

يمكن العثور على وثائق المستخدم و API على http://amoco.readthedocs.io/en/latest/index.html

تودو

لا تزال بعض مكونات AMOCO في طور الدفع إلى فرع الإطلاق أو تم تطويره بشكل أكبر. بتعبير أدق:

• لا يتم تنفيذ دلالات تعليمات FPU X86 ،
• لا يتم تطبيق مجموعات تعليمات ARM Simd و VFP و Neon و Trustzone و Jazelle ،
• لم يتم دمج بعض استراتيجيات تفكيك القائمة على الحلول بعد.
• لا يتم تنفيذ ميزات الاستيراد/التصدير IDB.

المساهمات في الوفاء بأجزاء غير مكتملة/غير مفيدة نرحب بها.

ملاحظات المطور

ورقة أنماط QT الافتراضية مستوحاة من ورقة QDarkstylesheles الممتازة وتستخدم معظم أيقوناتها من خلال واجهة برمجة تطبيقات QResource المتاحة من وحدة RC_ICONS.Py التي تم إنشاؤها:

 <pyenv>/lib/python3. <x>/حزم الموقع/pyside6/rcc -gثون icons.qrc> rc_icons.py

رخصة

يرجى الاطلاع على الترخيص.

Changelog

• v2.9.11
  • قم بتغيير محرك مصطلح واجهة المستخدم الافتراضية من القوارير إلى الغني
  • أضف كائن emudata orm لحفظ حالة المحاكي
  • أضف أوامر حفظ/استعادة في واجهة المستخدم EMUL
  • تنفيذ منطق Callstack
  • أضف إطار Callstack في واجهة المستخدم EMUL
  • إضافة أمر تصحيح في EMUL UI
  • إضافة فئة structview للهياكل طباعة جميلة
  • إصلاح x86 mmu_cache منطق (Flush & Misses)
  • تغيير الإجراء الافتراضي من CodeQL إلى Ruff
  • رمز Refactor استنادًا إلى شيكات Ruff
• v2.9.10
  • x86: أضف دعمًا لتنفيذ الوضع الحقيقي
  • x86: أضف الدعم الكامل للتجزئة/الترحيل
  • أضف نظام BareMetal-X86 لتحليل البرامج الثابتة BIOS
  • دمج وحدة Arch.io الجديدة لتحديد كعب IOS '
  • دمج CAS.BLOBS الوحدة النمطية
  • أضف إصدارات سريعة من REP STOS/LODS/SCAS/MOVS
  • أضف طريقة tracepoint في فئة Emul
  • أضف دعمًا لموارد PE
  • تحسين أوامر تطبيق تطبيق AMOCO/EMUL
  • أضف مجموعة ، عرض ، nexti ، حتى في واجهة المستخدم EMUL
• v2.9.9
  • أضف بنية PPC32 (E200)
  • أضف دعمًا للتنسيق القابل للتنفيذ
  • أضف محللًا لملفات GDB Trace
  • تحسين هياكل الحجز الفرعي
• v2.9.8
  • تحديث إلى Pyside6 (QT6)
  • إضافة تنسيق OLE2
  • تحديث هياكل الحجز الفرعي للسماح بأحجام المؤشرات المختارة
  • التحديث الجزئي لهندسة AVR
• v2.9.7
  • إسقاط بيثون <3.8 دعم
  • تحسين حزمة الهياكل لدعم Bitfield وحساب إزاحة الحقول لحجم المؤشر المختار (32 أو 64 بت)
• v2.9.6
  • دمج QT GUI ImageView
  • تحسين QT GUI BINFMTVIEW/hexview مع Entropy & Infoview
  • إضافة عرض Mach-O محدد
  • تحسين دعم الوضع الظلام QT UI
  • إضافة العمارة التريكور
  • أضف W65C02 العمارة
  • إضافة العمارة WASM
  • أضف محلل التنسيق الثنائي WASM
  • نقل وحدة.
• v2.9.5
  • دمج QT GUI binfmtview/hexview
  • إصلاح وحدة فك ترميز تعليمات الذراع المختلفة ودلو دلالاتها
  • أضف عرض الهيكل ووجهات النظر المحددة من قزم و PE
  • أضف دعمًا لوضع QT UI Dark
  • أضف MIPS Loaders
  • أضف دعم Bitfield في الهياكل
• v2.9.4
  • إضافة Linux32 Loaders لـ MIPS_LE/SPARC/RISCV
  • تحديث واجهات نظام Win32/Win64
  • أضف دعم Mapper لخط أنابيب غير متداخل
  • إصلاح MIPS R3000 تحميل/تخزين آثار خط الأنابيب المتأخر
  • إضافة فئة Archview
  • أضف RISCV64 Architecture (riscv.rv64i)
  • أضف اختبار الشروط المسبقة للمواصفات
  • قم بتحديث جميع مواصفات القوس لتجنب الاصطدامات
  • تحسين/إصلاح تنسيقات القوس المختلفة
  • إصلاح X86 Parser
• v2.9.3
  • دمج/تحديث أوامر DBGUI EMUL و SRV
  • دمج/تحديث طرق عرض المحاكي
  • إضافة نظام PSX
  • أضف بنية MIPS (R3000 فقط)
  • تحسين دعم التغييرات في التكوين
  • إعادة صياغة واجهة Ext/Cub
  • إصلاح sparc formatter
  • إصلاح PE32+ DATADIRECTIONIES التحليل
• v2.9.2
  • تحضير دمج مع DBGUI
  • إسقاط Python 2.7 دعم
  • إعادة صياغة الحزمة الفرعية/الوحدة النمطية وتسجيلها
  • رمز مختلف التعقيم
  • مصادر مقلوبة
• v2.9.1
  • أضف Mach-O loader و system.osx الهيكل العظمي
  • تحسين وحدة المحاكي
  • أضف الخادم والعميل الأساسي cmdcli واجهة المستخدم
  • إصلاح الأخطاء/التحذيرات المختلفة
• v2.9.0
  • أضف الهيكل العظمي من وحدة المحاكي (فئة EMUL)
  • إعادة تنظيم وحدات النظام في الحالات الفرعية
  • إضافة نظام ونظام التشغيل والمهمة والفئات effectub
  • إضافة العمارة AVR
  • تم نقل سمة MAP Class => MAP إلى CFG.NODE فئة
  • نقلت فئات الذاكرة في System.Memory Module
  • نقل فصول تحليل CFG في الحزمة الفرعية "SA"
  • تحسين سجلات التصحيح
  • تحسين محلات PE/ELF مع وحدة Amoco.Structs
  • أضف طريقة checksec في فئة ELF
  • إصلاح الدلالات والتنسيقات ARMV7
• v2.6.3
  • أضف بنية القزم
  • تحديث وتحسين اللودر ELF
  • تحسين التعبير تبسيط للتحولات+و OPS
  • دمج فئة الحقول البنية ذات الطول المتغير "varfield"
• v2.6.2
  • إصلاح الدعم للهياكل "Slop"
  • السماح بمحاذاة محددة ذاتيا للهياكل
• v2.6.1
  • استخدم حجم الهيكل الأصلي/aligment بشكل افتراضي
• v2.6.0
  • أضف V850 (E2S) العمارة
  • أضف SH2-A الهندسة المعمارية
  • أضف دعمًا لتحليل هياكل HAB I.MX6
  • دمج AVR العمارة
  • إضافة فصول النظام/الهياكل
  • تصدير "الزحف" من شجرة Amoco (Libclang C إلى الهيكل)
  • إضافة تعليمات EBPF الدلالات
  • أضف دعمًا لـ (Old) BPF تعليمات المواصفات
  • أضف دعمًا للتنسيق الثنائي HEX/SREC
  • أضف طريقة "دمج" الذاكرة
  • أضف طريقة "Step_instruction" في CoreExec (المحاكي)
  • أضف دعمًا لهياكل UFS
  • دمج إشارات مرسل لاستخدام واجهة المستخدم
  • تحسين دعم setuptools
  • قم بإزالة Tox والاعتماد على Travis فقط
  • تحسين تعليمات ARMV7 دلالات ومساعدين الكود
  • تحسين تعليمات ARMV7 المواصفات والتنسيقات
  • أضف تسجيل مستوى تصحيح الأخطاء
  • إصلاح وحدة فك ترميز القوس مع تعليمات طول متغير كبير
  • تحسين فعالية فك التشفير مع مؤشر الإحضار الممتد
  • أضف دعم Pygments لـ SPARC ، تعليمات MSP430
  • تحسين التعبيرات المتسع
  • تحسين وحدة التكوين
• v2.5.3
  • الإصلاح الكامل للمسألة رقم 77 (جنون X64 النموذجي)
• v2.5.2
  • الإصلاح الجزئي للمسألة رقم 77 (Github) المتعلقة بـ LEA تعليمات الدلالات على X64 ARCH.
• v2.5.1
  • إضافة RISC-V الهندسة المعمارية
  • إضافة العمارة EBPF
  • استخدم مخرجات Unicode مع رموز Unicode لمعظم المشغلين إذا تم دعمها
  • إضافة أقل من غير مصممة (LTU) وأعلى أو أكبر من المشغلين (GEU) (GEU) التي تحتاجها بنية RISCV
  • إصلاح تبسيط طريقة تعبيرات التجميع
  • تحسين تبسيط الأساليب مع المعلمة الاختيارية "bitslice"
  • تحسين واجهة ذاكرة Mapper
  • إصلاح طريقة SMT Model_TO_MAPPER
  • إضافة تنسيق CFG 'DOT' (الابتدائي)
  • أضف طريقة "getFileOffset" في فئات ELF و PE
  • قم بإزالة علم endianness العالمي
  • تحديث تنسيقات x86/x64 لتكون متوافقة مع GNU AS و Clang
  • أضف بعض تعليمات X86/X64 (Movnti ، Wbinvd ، Div ، ...)
  • إصلاح بعض المواصفات الإرشادات النادرة x86/x64 (PMOVMSKB ، ...)
• v2.5.0
  • دعم Python3 (> = 3.5)
  • السماح بتحميل العديد من أقواس وحدة المعالجة المركزية (إصلاح العدد رقم 21 و #64)
  • تحديث مستندات ReadMe و Sphinx
• v2.4.6
  • أضف وثائق sphinx (ملفات RST و docstrings)
  • إضافة طريقة وظائف للفئات الرئيسية
  • تحسين قزم الطباعة الجميلة
  • تم تغيير وحدة DB لاستخدام SQLAlchemy بدلاً من Zodb
  • اجعل جميع الكائنات قابلة للانتقاء (مع أعلى بروتوكول)
  • أضف تنسيقات X86 و X64 جديدة
  • إصلاح العديد من المواصفات X64 والدلالات
  • بعض تحسينات الأداء
  • تحسين تبسيط MEM (VEC) و SLC (VEC)
  • إصلاح slc.simplify لمشغل '**'
• v2.4.5
  • إضافة محدد X86/X64 Internals "
  • أضف تعبير "مختبر" للتسميات
  • تحسين MemoryZone/Map باستخدام طريقة "GREP"
  • تحسين MemoryZone للسماح "التحول" إلى بعض العنوان
  • تحسين X86 AT&T
  • أضف اختبارات فك الترميز X64
  • إصلاح X64 وضع العنوان RIP-RALATION
  • إصلاح العديد من المواصفات X64
  • أضف الدلالات المعبأة x64
  • إصلاح العديد من تعليمات X86 SSE
  • إصلاح مختلف مشكلات X86 (FISTTP/SETCC/PUSH IMM8/MOVQ)
• v2.4.4
  • أضف بعض دلالات تعليمات SSE
  • أضف ui.Graphics QT Package مع فئات عناصر الكتلة/FUNC/XFUNC
  • أضف حزمة UI.Graphics GTK الأولية
  • نقل Vltable في فئة ui.views.blockview
  • إصلاح مختلف X86/64 فك الشفرة/التكوين/الدلالات
• v2.4.3
  • أضف ui.graphics حزم (إفراغ)
  • إضافة وحدة UI.Views مع دعم للكتلة/FUNC/XFUNC
  • أضف ui.render.vltable فئة إلى طاولات طباعة جميلة
  • تحسين فئة تنسيق التعليمات للوصول إلى الرموز الرموز PP
  • نظافة itercfg وخوارزميات lackward
  • أضف فئة تعبير VECW لتمثيل تعبيرات VEC "الموسعة"
  • تحسين ذاكرة الكتابة من تعبيرات VEC
  • تحسين الاتساع و fixpoint في func.makemap ()
  • أضف سمة "النوع" (STD/PC/Flags/Stack/Other)
  • تحديد نوع التسجيل لـ X86 Arch
  • إصلاح بعض × 86/64 فك الشفرة/التكوين/الدلالات
  • تحديث تكوين Travis ، إصلاح Pytest مقابل الرمز المميز.
• v2.4.2
  • دمج دعم أساليب طباعة جميلة (في وحدة ui.render)
  • أضف X86 Hilighted Syntax Formatter (في Arch.x86.formats)
  • فضح واجهة الطباعة الجميلة للتعبير (exp.pp () ، exp.toks ())
  • قم بإزالة عودة فئة التكوين الافتراضية (ConfigParser قياسي)
  • دمج بعض العينات والاختبارات التي تم نقلها إلى حزمة Pytest
  • استخدم contuptools ، إضافة tox.ini و travis-ci config
  • إصلاح بعض الدلالات x86/x64
  • تحسين تنسيقات SPARC V8
  • أضف سجلات Sparc Coprocessor
  • تحديث ReadMe
• v2.4.1
  • أضف تحليلات Lackward و func.makemap ()
  • أضف فئة تعبير VEC لتمثيل مجموعة من التعبيرات
  • أضف دمج Mapper وتوسيع وظائف
  • السماح بتمرير مثيل SMT Solver في exp.to_smtlib ()
  • أضف أساليب funchelpers في فصول النظام المستندة إلى x86
  • أضف فصول الجلسة/ديسيبل وطرق خاصة بالمخلل
  • أضف طريقة "التقدم" في فئة السجل لتقديم ملاحظات
  • إضافة الحزم الخارجية المطلوبة في setup.py
  • إصلاح بعض الدلالات x86/x64
  • تحسين تنسيقات SPARC V8
  • تحديث ReadMe
• v2.4.0
  • دمج Z3 Solver Interface ، انظر طريقة smt.py و smtlib () exp
  • دمج تحليل fbackward والرمز فئة func.
  • تحسين التعبيرات: تفصل التعبيرات أحادية وحيوية ، "تطبيع"
  • تحسين mapper مع طريقة الذاكرة () ومشغلي التكوين المقاوم للمستعارين
  • تحسين فئة MemoryZone: إرجاع أجزاء التعبير العلوية بدلاً من رفع MemoryRror.
  • إضافة فئة Rawexec لإدخال شبيه بالشكل
  • دعم إدخال سلسلة في فئات ELF/PE.
  • إصلاح مختلف الأخطاء x86/x64
  • حماية من تغيير حجم سجلات البيئة
  • أضف وين64 تحميل
  • ضبط مستويات السجل والملف الاختياري من Conf
  • تحديث ReadMe
• v2.3.5
  • أضف X64 ARCH + CULL X86/64 SSE Decoder
  • Hotfix x86/x64 انقلاب {88}/{8a} تعليمات mov
  • إصلاح مختلف وحدة فك التشفير والدلالات x86
  • مستحضرات التجميل
• v2.3.4
  • دمج ARMV7/الإبهام الدلالات الثابتة
  • أضف فك تشفير FPU x86
  • إضافة وظيفة تحديد موقع في الذاكرة
  • إصلاح Core Read_instruction على حدود الخريطة
  • إصلاح PE استيراد التحليل و TLS جدول منشئه
  • أسرع فك التشفير العام
  • Hotfix مختلف فك التشفير x86
  • أضف بعض عمليات فك تشفير X86 SSE
• v2.3.3
  • دعم MSP430 و PIC18 Microcontrollers
  • إصلاح sparc rett ، udiv/sdiv وتنسيقات
  • إصلاح فك تشفير تعليمات JCXZ
• v2.3.2
  • دمج Z80/GB الهندسة المعمارية ، Fix SPARC المشكلات المبلغ عنها
  • إضافة مثال على فك تشفير SSE2 (ثابت)
• v2.3.1
  • إضافة ملف ترخيص
  • إصلاح العمارة SPARC
  • تجنب تعبير PTR عندما لا يكون العنوان DEREF
  • إصلاح eqn_helpers قواعد التبسيط
  • readme تحديث
  • فئة PE جديدة (تم اختبارها على Cost.exe) + دعم لنقاط الدخول المتعددة.