Emilstenstrom

توجد مشكلات متعددة منخفضة الخطورة تتعلق برفض الخدمة في معالجة محددات CSS وتحويلها إلى روابط. قد تستهلك التطبيقات قدرًا غير متناسب من موارد وحدة المعالجة المركزية (CPU) أو الذاكرة عند تقييم سلاسل محددات يتحكم فيها المهاجم عبر `query()` أو `matches()` أو التحويلات القائمة على المحددات، أو عند تشغيل مطابقة المحددات على مستندات كبيرة جدًا غير موثوق بها، أو عند إنشاء أشجار DOM من بنية غير موثوق بها، أو عند تمكين تحويل النص الذي يتحكم فيه المهاجم إلى روابط. تشمل العوامل المُحفزة المُحددات ذات الحجم الزائد، وقوائم المُحددات الكبيرة، والمُحددات المركبة ذات الحجم الزائد، وسلاسل المُركِّبات الطويلة، والفئات الوهمية الوظيفية المتداخلة بعمق، والمطابقة المتكررة للرموز/المواقع، والرسوم البيانية الدورية لـ DOM التي تتسبب في اجتياز لا ينتهي، ومدخلات تحويل الروابط التي تحتوي على علامات ترقيم كثيرة أو أقواس ختامية. تؤثر هذه المشكلات على التوافر ولا تسمح بتنفيذ البرامج النصية، أو الكشف عن البيانات، أو تجاوز أداة التنقية.

توجد مشكلات أمنية في عمليات التنقية والتسلسل والمعالجة البرمجية لنموذج DOM. عندما تحافظ السياسات المخصصة على مساحات الأسماء الخارجية مثل SVG أو MathML، قد ينجو المحتوى الخطير مثل نقاط تكامل HTML (SVG `<foreignObject>`، MathML `<annotation-xml encoding="text/html">`) وحمولات XSS التغييرية التفاضلية الخاصة بمحلل البرمجة من عملية التنقية وتصبح HTML نشطة بعد إعادة التحليل. بالإضافة إلى ذلك، قد تسمح علامات SVG `filter=”url(...)“` وعلامات `<style>` المحفوظة بتحميل موارد CSS عبر `@import` أو `background-image:url()`. وقد يتم تسلسل العقد البرمجية الخاصة بالنصوص البرمجية أو الأنماط أو التعليقات لتصبح علامات نشطة. تشمل المشكلات الأخرى تغير ذاكرة التخزين المؤقتة لمسار التنقية ودورات DOM بين العناصر الأصلية والتابعة التي قد تؤدي إلى حلقات لا نهائية. تؤثر هذه المشكلات بشكل أساسي على التكوينات المتقدمة أو المخصصة بدلاً من المسار الافتراضي `JustHTML(..., sanitize=True)`.

تسمح مشكلات متعددة تتعلق بتجاوز عملية تنقية HTML للمحتوى النشط أو الخطير — مثل علامات البرامج النصية أو علامات الأنماط — بالبقاء بعد عملية التنقية، مما قد يؤدي إلى حدوث هجمات البرمجة النصية عبر المواقع. تؤثر هذه المشكلات بشكل أساسي على سيناريوهات الاستخدام المتقدمة بدلاً من مسار التنقية الافتراضي. تشمل الأسباب التقنية تغيير أو إعادة استخدام كائنات سياسة التنقية، مما قد يضعف عملية التنقية اللاحقة. بالإضافة إلى ذلك، قد تفشل المدخلات البرمجية لـ DOM المقدمة إلى الدالتين `sanitize()` و`sanitize dom()` في اكتشاف أسماء العلامات التي تحتوي على أحرف كبيرة وصغيرة (على سبيل المثال، `ScRiPt`، `StYlE`). تشمل النواقل الأخرى أسماء أنواع المستندات البرمجية المصممة خصيصًا والتي يتم تسلسلها إلى ترميز نشط، والسياسات المخصصة التي تحافظ على SVG أو MathML والتي قد تسمح بعناصر الرسوم المتحركة، وسمات العرض التي تحتوي على مراجع خارجية `url(...)`، أو أشجار DOM التي تم تصنيفها خطأً على أنها `namespace=”html“` لتجاوز فحوصات المحتوى الخارجي.

توجد مشكلات أمنية متعددة في أدوات مساعدة تنقية عناوين URL، وتسلسل HTML، ومرور Markdown. يمكن للمهاجم تجاوز عملية التنقية لحقن HTML وJavaScript نشطين عبر عدة طرق: باستخدام عناوين URL المشفرة javascript:، وعناوين URL النسبية القائمة على الشرطة المائلة العكسية التي تُحل كمضيفات بعيدة، وأسماء العناصر أو السمات البرمجية التي تكسر الترميز، أو تعليقات HTML. بالإضافة إلى ذلك، يمكن إعادة إدخال علامات `</textarea>` الخام عبر تمرير Markdown عند استخدام `html passthrough=True`. قد تحتفظ بعض السياسات المخصصة أيضًا بعلامات `<style>` أو `<meta http-equiv=refresh>` أو `<base href>`. تؤثر هذه المشكلات بشكل أساسي على واجهات برمجة التطبيقات (APIs) المساعدة، وبناء DOM برمجيًا، والسياسات المخصصة، ومسارات التحويل، والتكوينات التي يتم فيها تمكين `html passthrough=True`، بدلاً من التكوين الافتراضي `sanitize=True`. تشمل الوظائف المساعدة المتأثرة `clean url value()` و`clean url in js string()`.

تحدث مشكلة البرمجة النصية عبر المواقع المتحولة (mXSS) عند استخدام `SanitizationPolicy` مخصص يحافظ على مساحات الأسماء الخارجية، مثل تعيين `drop foreign namespaces=False` أثناء إدراج عناصر SVG/MathML أو حاويات النص الخام مثل `<style>` في قائمة السماح. تسمح هذه الثغرة المتعلقة باختلاف المحلل بتطهير المدخلات المصممة خصيصًا لتصبح علامات تبدو آمنة، لكنها تصبح غير آمنة عند إعادة تحليلها بواسطة متصفح أو محلل HTML آخر، مما يؤدي إلى حقن العلامات. لا يتأثر الإعداد الآمن الافتراضي `sanitize=True`.