أوتاركي: اختبار ضبابي فوري للنحو باستخدام وحدات ماكرو راست

أوتاركي هو أداة اختبار ضبابي للنحو محلية الصنع مكتوبة بلغة راست، تستخدم وحدات ماكرو إجرائية لإنشاء أداة اختبار ضبابي للنحو تلقائيًا تقريبًا. يدعم أوتاركي كلًا من AFL ++ (خادم التفرع) و cargo-fuzz (معالجة داخلية)، ويمكن استخدامه لاختبار ضبابي لمشاريع C/C++ وراست. تتميز أوتاركي بميزاتها الفريدة، بما في ذلك النحو الذي لا يحتاج إلى صيانة، والتغطية الشاملة للنحو، ومجموعة بيانات قابلة لإعادة الاستخدام، وقدرة على التعلم من أدوات اختبار ضبابي أخرى (قيد التطوير). يوضح مثالان كيفية إجراء اختبار ضبابي لـ SQLite3 ومفسّر sbpf الخاص بـ Solana، مما يبرز سهولة الاستخدام والكفاءة. يعتبر حاليًا في مرحلة تجريبية ويحتاج إلى مُجمِّع راست ليلي.