البرمجيات الموثقة

ثغرة “فيض ذاكرة” تضرب قلب Lean 4 وتكشف هشاشة البرمجيات “المثبتة صحتها”

105 ملايين عملية فحص عشوائي (Fuzzing) كانت كافية لإسقاط هيبة البرمجيات التي توصف بأنها “موثقة رسمياً”. البداية كانت من محاولة…

أكمل القراءة »