ميّز نقاط المعالجة المشتركة المؤكدة والعلاقات المحتملة والنتائج غير المجمّعة.
استقصِ نقطة معالجة مشتركة
في فحص مكتمل، بدّل النتائج الفردية إلى التجميع حسب نقطة المعالجة. وسّع المجموعة لعرض أعضائها وأدلتها وأدوات تحليلها ومحور الاستقصاء وحدودها. يربط التجميع نتائج مختلفة؛ بينما يسأل إزالة التكرار عما إذا كانت الملاحظات للنتيجة نفسها.
تثبت المجموعة المؤكدة نقطة معالجة مشتركة، مثل تعريف واحد لحزمة. ولا تثبت منشأً سببيًا مشتركًا أو تعد بأن إصلاحًا واحدًا يعالج جميع الأعضاء. تعني العلاقة المحتملة الاستقصاء معًا مع الحفاظ على النتائج منفصلة. وتعني النتيجة غير المجمّعة عدم إثبات علاقة مدعومة.
قواعد الأدلة المتطابقة
التبعيات: يثبت تطابق النظام البيئي والحزمة والإصدار المثبّت وملف التبعيات، مع توفرها جميعًا، تعريفًا مشتركًا مؤكدًا.
موضع الشيفرة: قد يجمع تطابق الملف والسطر وفئة الضعف نتائج الشيفرة. لا يكون التجميع مؤكدًا إلا إذا سمّى كل عضو العملية نفسها؛ ويجعله غياب العملية أو اختلافها محتملًا. تستثني هذه القاعدة التبعيات وبيانات الاعتماد وإعدادات البنية التحتية.
العلاقات المحتملة: فئات ضعف مختلفة في سطر واحد؛ أو الملف والدالة والفئة نفسها؛ أو بيانات اعتماد في ملف واحد؛ أو نتائج بنية تحتية في ملف إعداد واحد؛ أو النظام البيئي والحزمة نفسيهما في تعريفات منفصلة.
تعمل القواعد بترتيب أولوية وبأدلة محفوظة متطابقة. تنتمي النتيجة إلى مجموعة واحدة كحد أقصى. لا تنمو المجموعات بسلاسل التشابه أو الخطورة المشتركة أو نسبة ثقة. ولا يحدد الذكاء الاصطناعي التوليدي هذه التصنيفات.
مثال: نشرتان وتعريف واحد
تسمّي نشرتان الإصدار نفسه لحزمة في requirements.txt. يصبح التعريف نقطة معالجة مشتركة مؤكدة. راجع كل نشرة: قد تسرد إصدارات إصلاح مختلفة، أو لا تسرد إصلاحًا، أو تحتوي أدلة ضد الانطباق. لا يحسب Fendix إصدارًا آمنًا موحدًا عبر النشرات.
لا تُجمّع نتائج الفحص الخارجي: لا يحدد عنوان URL مشترك تغيير إعداد واحدًا. ولا تثبت أدلة داخل الدالة وجود دالة مساعدة مشتركة بين دوال مختلفة. دوّر كل بيانات اعتماد مكشوفة حتى عندما يجمعها ملف واحد.