سلسلة gadget | Hunt the Flag

اللابات تحتاج كمبيوتر

افتح هذه الصفحة من كمبيوتر أو كبر نافذة المتصفح

جار تحميل اللاب

السيناريو

مستورد تقارير الغربان يفك كائنا متسلسلا ويبني الفئة التي يحددها الحقل __type ويشغل سلوكها نوع Report بريء لكن نوع Command gadget ينفذ فعلا على الخادم عند فك التسلسل فيسرب بيانات الخادم هذه محاكاة لتنفيذ شيفرة عبر فك تسلسل غير آمن

ما الذي تراه أمامك

صفحة استيراد تفك كائنا متسلسلا وتبني فئته حسب __type الكائن الافتراضي من نوع Report غير مؤذ لكن أنواعا أخرى تحمل سلوكا ينفذ عند فك التسلسل

الهدف

اصنع كائن gadget من نوع Command ينفذ ويسرب سر الخادم

متى يعتبر محلولا

نفذ الgadget وسرب سر الخادم

قائمة الخطوات

علم كل خطوة وأنت تمشي فيها الخطوات هي الطريقة وليست الجواب

استورد كائن Report الافتراضي وشاهد الناتج البريء
استنتج أن __type يختار فئة بسلوك
غير __type إلى نوع ينفذ فعلا
اطلب فعلا يقرأ سر الخادم

التلميحات

لم تكشف أي تلميح بعد اسأل الصقر عند الحاجة

لماذا نجح الحل

فك التسلسل بنى فئة يحددها المستخدم وشغل سلوكها هذا جوهر فك التسلسل غير الآمن في اللغات الحقيقية يقود لتنفيذ شيفرة الحل عدم فك تسلسل بيانات غير موثوقة إلى أنواع بسلوك واستخدام صيغ بيانات خالصة JSON بمخطط

السبب الجذري

فك التسلسل يختار الفئة من بيانات المستخدم ويشغل سلوكها الجذر فك تسلسل مدخل غير موثوق إلى أنواع بسلوك

كيف يصلح الكود

لا تفك تسلسل مدخل غير موثوق إلى أنواع بسلوك استخدم JSON بمخطط

الكود المصاب

const obj = deserialize(body);   // builds the class named by __type
obj.run && obj.run();            // and triggers its behaviour

الكود الآمن

// Parse as plain data against a schema; never instantiate user-named types.
const data = schema.parse(JSON.parse(body));
const report = { title: data.title };

الأثر في الواقع

فك التسلسل غير الآمن أدى إلى تنفيذ شيفرة عن بعد في أنظمة كبرى عبر سلاسل gadget جاهزة

كيف يكتشفها المدافعون

المدافع يتجنب فك التسلسل الثنائي من المستخدم ويستخدم JSON بمخطط ويرصد حقول النوع في المدخلات

العودة إلى الدرس