Awesome GitHub RepositoriesMemory Integrity Testing

Unity هو إطار عمل لاختبار الوحدات خفيف الوزن لـ C، يوفر مكتبة التأكيد، ومشغل الاختبار، وآليات التقارير المطلوبة للتحقق من صحة الكود. يعمل كبنية تحتية أساسية للاختبار لتنظيم وتنفيذ اختبارات الوحدات في بيئات C. تم تصميم إطار العمل للتحقق من البرمجيات على مستوى النظام والمضمنة، مع قدرات محددة للتحقق من البرامج الثابتة (Firmware) وتعريفات الأجهزة. يركز على سلامة الذاكرة وصحة المؤشرات، مما يسمح بالتحقق من حالات المؤشر وفحص كتل الذاكرة الخام. تغطي مجموعة الأدوات مجموعة واسعة من أنواع المقارنة، بما في ذلك التحقق الرقمي للأعداد الصحيحة، وأنماط البت، وقيم الفاصلة العائمة. كما توفر أدوات مساعدة للتحقق من السلاسل المنتهية بـ null، ومحتويات المصفوفة، والمنطق المنطقي، مع دعم رسائل فشل مخصصة لتوفير السياق أثناء تصحيح الأخطاء.

يوفر هذا المشروع بيئة تطوير لنواة Linux ومجموعة محاكاة نظام لبناء وتصحيح وحدات النواة وتجميع الـ baremetal عبر بنيات أجهزة متعددة. يعمل كبيئة تجريبية وإطار عمل شامل لتطوير النظام منخفض المستوى، باستخدام QEMU لمحاكاة بيئات الأجهزة دون الحاجة إلى أجهزة مادية. تدمج البيئة سلاسل أدوات التجميع المتقاطع باستخدام Buildroot و crosstool-NG لاستهداف منصات x86_64 و ARMv7 و ARMv8 من مضيف واحد. وتتميز بإطار عمل متخصص لتصحيح أخطاء النواة يستفيد من GDB و KGDB للتنفيذ خطوة بخطوة وفحص حالة كل من عمليات النواة ومساحة المستخدم. تشمل القدرات الواسعة اختبار الانحدار التلقائي لعزل فشل التمهيد والوظائف من خلال تقسيم التحكم في الإصدار، وتجريد الأجهزة لإدارة حالات طاقة وحدة المعالجة المركزية وسجلات النظام، وبدائيات اختبار منخفضة المستوى لسلامة حالة الذاكرة وتحليل التجميع. يتضمن النظام أيضاً أدوات لقياس أداء الأوامر، وتسجيل المخرجات، وتشغيل مساحة العمل المعبأة في حاويات.