موارد إبهام الحساب البولياني المختلط (MBA)

يتضمن هذا المستودع روابط ذات صلة بإبهام الحساب البولياني المختلط (MBA). طلبات السحب (PRs) مرحب بها.

لاحظ أن بعض الموارد هنا ليست مرتبطة بشكل صارم بـ MBA، وإن كانت جميعها ذات صلة بطريقة ما.

الأوراق البحثية

• إخفاء المعلومات في البرمجيات باستخدام تحويلات الحساب البولياني المختلط
• الإبهام باستخدام تعابير الحساب البولياني المختلط: أدوات إعادة البناء والتحليل والتبسيط
• تحليل وتطبيقات الأساليب المتعامدة لتبسيط تعابير الحساب البولياني المختلط
• إزالة إبهام الكود عبر تبسيط تعابير الحساب البولياني المختلط المدعوم بالتركيب البرمجي
• تعزيز أداء حلالات SMT على تعابير العمليات البتية والحسابية المختلطة
• MBA-Blast: كشف وتبسيط إبهام الحساب البولياني المختلط
• تبسيط موضعي لتعابير الحساب البولياني المختلط
• إبهام البرمجيات باستخدام تعابير الحساب البولياني المختلط غير الخطية
• NeuReduce: تقليل تعابير الحساب البولياني المختلط باستخدام الشبكة العصبية المتكررة
• إزالة إبهام فعّالة لتعابير الحساب البولياني المختلط الخطية
• تبسيط إبهام الحساب البولياني المختلط بالتركيب البرمجي وإعادة كتابة الحدود
• تبسيط تعابير الحساب البولياني المختلط العامة: GAMBA
• إزالة إبهام تعابير الحساب البولياني المختلط شبه الخطية
• إبهام الحساب البولياني المختلط (MBA) باستخدام كثيرات حدود التقليب على أعداد ليبشيتز المعيارية
• حول تبسيط التعابير ذات الحساب البولياني العددي المختلط
• انعكاس كثيرات حدود التقليب الثنائية وتطبيقه على تقنيات الإبهام
• خوارزمية بزمن تربيعي لقلب كثيرات حدود التقليب الثنائية
• الاختزال المعياري الفعّال وتوليد كثيرات حدود ثنائية متعددة المتغيرات المكافئة
• تجاوز إبهام البرمجيات الخبيثة باستخدام التركيب الديناميكي
• إزالة الإبهام المحلية للصندوق الأسود القائمة على البحث: فهم وتحسين وتخفيف
• Syntia: تركيب دلالات الكود المُبهم
• Arybo: التلاعب والتطبيع والتعرف على تعابير الحساب البولياني المختلط الرمزية
• Loki: تحصين إبهام الكود ضد الهجمات الآلية
• QSynth – نهج قائم على التركيب البرمجي لإزالة إبهام الكود الثنائي
• حول الدوال كثيرة الحدود (mod m)
• الدوال كثيرة الحدود (modm)
• كثيرات حدود التقليب بمعامل 2^w
• أسس غروبنر لتصغير الدوال البوليانية

التطبيقات

التبسيط:

• SiMBA: إزالة إبهام فعّالة لتعابير الحساب البولياني المختلط الخطية
• SiMBA++: نقل SiMBA إلى C/C++
• GAMBA: تبسيط تعابير الحساب البولياني المختلط العامة
• تركيب الأوراكل يلتقي بإشباع المساواة
• MSiMBA: إزالة إبهام تعابير الحساب البولياني المختلط شبه الخطية
• Simplifier: مبسِّط فعّال لتعابير الحساب البولياني المختلط العامة (MBA)
• MBA-Blast: أداة لتبسيط تعابير MBA
• MBA-Solver: تعزيز أداء حلال SMT على تعابير العمليات البتية والحسابية المختلطة
• Arybo: التلاعب والتطبيع والتعرف على تعابير الحساب البولياني العددي الرمزية المختلطة
• msynth: إطار عمل لإزالة إبهام الكود لتبسيط تعابير الحساب البولياني المختلط (MBA)
• QSynth: مُركِّب الصندوق الرمادي الموجَّه لإزالة إبهام تعليمات التجميع
• gooMBA: إضافة لمفكك Hex-Rays لتبسيط تعابير الحساب البولياني المختلط (MBA)
• Syntia: إطار عمل لإزالة الإبهام قائم على التركيب البرمجي
• Tigress Deobfuscation - توثيق لعدة تمريرات إبهام في Tigress ومحاولة لتبسيط تعابير الحساب البولياني المختلط (MBA)
• M3: إزالة إبهام فعّالة لتعابير الحساب البولياني المختلط (MBA) باستخدام التحليل الديناميكي

التلاعب البولياني والتصغير:

• أسس غروبنر لتصغير الدوال البوليانية
• مصغِّر المنطق الاستدلالي Espresso
• Kitty: مكتبة جداول الحقيقة البوليانية بلغة C++
• الجمع بين تصغير DNF وتصغير ANF وجداول الحقيقة المحسوبة مسبقًا لما يصل إلى 4 متغيرات
• DenseQMC: تنفيذ بتقسيم البتات لخوارزمية كوين-مكلوسكي
• boolean_expression: حزمة Rust صغيرة للتعابير البوليانية ومخططات القرار الثنائية (BDDs)

الإنشاء:

• MBA-Obfuscator: أداة لتوليد تعابير الحساب البولياني المختلط غير الخطية
• Mba: الحساب البولياني المختلط
• Pocket: أداة إبهام لتعابير الحساب البولياني المختلط
• MBA-Generator: مولّد لتعابير الحساب البولياني-العددي المختلط.
• Mutaben: مولّد بسيط للحساب البولياني-العددي المختلط (MBA) مكتوب بلغة Python
• Mixed-boolean-transform: تحويل x+y للحساب البولياني المختلط

التدوينات

• الحساب البولياني المختلط
• تحسين إزالة إبهام MBA باستخدام إشباع المساواة
• ما الأدوات النظرية اللازمة لتبسيط تعابير MBA؟
• مقدمة إلى Pocket: أداة إبهام لتعابير الحساب البولياني المختلط
• إزالة إبهام MBA عمليًا باستخدام msynth

عناصر متفرقة (لها صلة غير مباشرة فقط بـ MBA)

• ægraphs: الرسوم البيانية E اللادورية للتحسين الفعّال في مترجم إنتاجي
• Optir: محسِّن مترجم لتدفق التحكم التعسفي القائم على إشباع المساواة
• مغامرات Z3 والمطابقة البوليانية السريعة
• المطابقة البوليانية السريعة القائمة على تصنيف NPN
• خوارزميات قائمة على SAT لتصغير المنطق
• DSL محدد التعليمات في Cranelift، ISLE: جعل إعادة كتابة الحدود أمرًا عمليًا