weggli patterns

WEGGLI-patterns

"لا أحد يهتم بالمشهد القديم بعد الآن ، أنا متأكد من ذلك ،
حفنة من كبار السن الذين يتجولون لآخر من memcpy. "

- باس ألبرتس

مجموعة من أنماط Weggli الخاصة بي لتسهيل أبحاث الضعف.

منشور المدونة:
https://security.humanativaspa.it/a-collection-of-weggli-patterns-for-c-cpp-vulnerability-research

انظر أيضا:
https://github.com/weggli-rs/weggli
https://dustri.org/b/playing-with-weggli.html
https://github.com/plowsec/weggli-patterns
https://github.com/synacktiv/weggli_rules_sstic2023
https://twitter.com/richinseattle/status/1729654184633327720

تدفق العازلة

دعوة إلى وظائف النسخ غير المحدودة (CWE-120 ، CWE-242 ، CWE-676)

 weggli -R 'func=^gets$' '{$func();}' .
weggli -R 'func=st(r|p)(cpy|cat)$' '{$func();}' .
weggli -R 'func=wc(s|p)(cpy|cat)$' '{$func();}' .
weggli -R 'func=sprintf$' '{$func();}' .
weggli -R 'func=scanf$' '{$func();}' .

الاستخدام غير الصحيح لـ Strncat (CWE-193 ، CWE-787)

 weggli '{strncat(_,_,sizeof(_));}' .
weggli '{strncat(_,_,strlen(_));}' .
weggli '{strncat($dst,$src,sizeof($dst)-strlen($dst));}' .
weggli '{_ $buf[$len]; strncat($buf,_,$len);}' .

لن يعمل النمط الأخير مع حرفية عدد صحيح بسبب القيود المعروفة.

وصول عازلة الوجهة باستخدام حجم المخزن المؤقت للمصدر (CWE-806)

 weggli -R 'func=cpy$' '{$func(_,$src,_($src));}' .
weggli -R 'func=cpy$' '{$len=_($src); $func(_,$src,$len);}' .
weggli -R 'func=cpy$' '{_ $src[$len]; $func($dst,$src,$len);}' .

لن يعمل النمط الأخير مع حرفية عدد صحيح بسبب القيود المعروفة.

استخدام حجم () على نوع المؤشر (CWE-467)

 weggli '{_* $ptr; sizeof($ptr);}' .
weggli '{_* $ptr=_; sizeof($ptr);}' .
weggli '_ $func(_* $ptr) {sizeof($ptr);}' .

على ما يبدو ، لا يتم دعم المتغيرات العالمية ، لذا لن ينجح هذا:

 weggli '_* $ptr=_; _ $func(_) {sizeof($ptr);}' .

استخدام حجم () على ثابت حرف

 weggli "sizeof('_')" .

في C (ولكن ليس في C ++) ثوابت الأحرف لها نوع int.

الافتقار إلى الانتهاء الصريح بعد strncpy () ، إلخ (CWE-170)

 weggli -R 'func=ncpy$' '{$func($buf,_); not:$buf[_]=_;}' .

بعض المتغيرات الممكنة: memcpy ، قراءة ، رعاية ، فريد ، إلخ.

خطأ خارج عن واحد (CWE-193)

 weggli '{$buf[sizeof($buf)];}' .
weggli '{_ $buf[$len]; $buf[$len]=_;}' .
weggli '{strlen($src)>sizeof($dst);}' .
weggli '{strlen($src)<=sizeof($dst);}' .
weggli '{sizeof($dst)<strlen($src);}' .
weggli '{sizeof($dst)>=strlen($src);}' .
weggli '{$buf[strlen($buf)-1];}' .
weggli -R 'func=allocf?$' '{$func(strlen($buf));}' .
weggli -R 'func=allocf?$' '{$len=strlen(_); $ptr=$func($len);}' .
weggli -R 'func=allocf?$' '{$len=snprintf(_); $ptr=$func($len);}' .

لن يعمل النمط الثاني مع حرفية عدد صحيح بسبب القيود المعروفة.
< يجب أن يغطي > و <= يجب أن يغطي أيضا >= ؛ ومع ذلك ، دعونا نحتفظ بجميع المتغيرات فقط للتأكد.

استخدام طرح المؤشر لتحديد الحجم (CWE-469)

 weggli '{_* $ptr1; $ptr1-$ptr2;}' .
weggli '{_* $ptr2; $ptr1-$ptr2;}' .
weggli '{_* $ptr1=_; $ptr1-$ptr2;}' .
weggli '{_* $ptr2=_; $ptr1-$ptr2;}' .
weggli '_ $func(_* $ptr1) {$ptr1-$ptr2;}' .
weggli '_ $func(_* $ptr2) {$ptr1-$ptr2;}' .

الاستخدام غير الآمن لقيمة الإرجاع لـ SNPRINTF () ، إلخ (CWE-787)

 weggli -R 'func=(nprintf|lcpy|lcat)$' '{$ret=$func();}' .

الكتابة المباشرة في المخزن المؤقت المخصص على المكدس (CWE-121)

 weggli -R 'func=(cpy|cat|memmove|memset|sn?printf)$' '{_ $buf[_]; $func($buf,_);}' .
weggli '{_ $buf[_]; $buf[_]=_;}' .

بعض المتغيرات الممكنة: bcopy ، gets ، fgets ، getwd ، getcwd ، fread ، read ، pread ، recv ، recvfrom ، etc.

الصدفة يفيض

مقارنة غير صحيحة غير موقعة (CWE-697)

 weggli -R '$type=(unsigned|size_t)' '{$type $var; $var<0;}' .
weggli -R '$type=(unsigned|size_t)' '{$type $var; $var<=0;}' .
weggli -R '$type=(unsigned|size_t)' '{$type $var; $var>=0;}' .
weggli -R '$type=(unsigned|size_t)' '{$type $var=_; $var<0;}' .
weggli -R '$type=(unsigned|size_t)' '{$type $var=_; $var<=0;}' .
weggli -R '$type=(unsigned|size_t)' '{$type $var=_; $var>=0;}' .

< يجب أن يغطي > و <= يجب أن يغطي أيضا >= ؛ ومع ذلك ، دعونا نحتفظ بجميع المتغيرات فقط للتأكد.

تحويل موقّع/غير موقّع (CWE-195 ، CWE-196)

 weggli -R '$copy=(cpy|ncat)$' '{int $len; $copy(_,_,$len);}' .
weggli -R '$copy=(cpy|ncat)$' '{int $len=_; $copy(_,_,$len);}' .
weggli -R '$copy=(cpy|ncat)$' '_ $func(int $len) {$copy(_,_,$len);}' .

weggli -R '$copy=nprintf$' '{int $len; $copy(_,$len);}' .
weggli -R '$copy=nprintf$' '{int $len=_; $copy(_,$len);}' .
weggli -R '$copy=nprintf$' '_ $func(int $len) {$copy(_,$len);}' .

weggli -R '$type=(unsigned|size_t)' '{$type $var1; int $var2; $var2=_($var1);}' .
weggli -R '$type=(unsigned|size_t)' '{$type $var1; int $var2; $var1=_($var2);}' .
weggli -R '$type=(unsigned|size_t)' '{$type $var1; int $var2=_($var1);}' .
weggli -R '$type=(unsigned|size_t)' '{int $var1; $type $var2; $var2=_($var1);}' .
weggli -R '$type=(unsigned|size_t)' '{int $var1; $type $var2; $var1=_($var2);}' .
weggli -R '$type=(unsigned|size_t)' '{int $var1=_; $type $var2=_($var1);}' .

weggli -R '$type=(unsigned|size_t)' '_ $func(int $var2) {$type $var1; $var1=_($var2);}' .
weggli -R '$type=(unsigned|size_t)' '_ $func(int $var2) {$type $var1=_($var2);}' .

weggli -R '$type=(unsigned|size_t)' '$type $func(_) {int $var; return $var;}' .
weggli -R '$type=(unsigned|size_t)' 'int $func(_) {$type $var; return $var;}' .

هناك العديد من المتغيرات الممكنة لهذه الأنماط ...

اقتطاع عدد صحيح (CWE-197)

 weggli -R 'type=(short|int|long)' '{$type $large; char $narrow; $narrow = $large; }' .
weggli -R 'type=(short|int|long)' '{$type $large; char $narrow = $large; }' .
weggli -R 'type=(int|long)' '{$type $large; short $narrow; $narrow = $large; }' .
weggli -R 'type=(int|long)' '{$type $large; short $narrow = $large; }' .
weggli '{long $large; int $narrow; $narrow = $large; }' .
weggli '{long $large; int $narrow = $large; }' .

weggli -R 'type=(short|int|long)' '_ $func($type $large) {char $narrow; $narrow = $large; }' .
weggli -R 'type=(short|int|long)' '_ $func($type $large) {char $narrow = $large; }' .
weggli -R 'type=(int|long)' '_ $func($type $large) {short $narrow; $narrow = $large; }' .
weggli -R 'type=(int|long)' '_ $func($type $large) {short $narrow = $large; }' .
weggli '_ $func(long $large) {int $narrow; $narrow = $large; }' .
weggli '_ $func(long $large) {int $narrow = $large; }' .

هناك العديد من المتغيرات الممكنة لهذه الأنماط ...

استخدام الأحجام الموقعة أو القصيرة ، والأطوال ، والعوامل ، والتعداد (CWE-190 ، CWE-680)

 weggli 'short _' .
weggli 'int _' .

بعض المتغيرات الممكنة: int قصيرة ، قصيرة غير موقعة ، غير موقعة قصيرة int ، int.

يلقي قيمة الإرجاع من Strlen () ، WCSLEN () إلى قصيرة (CWE-190 ، CWE-680)

 weggli -R 'func=(str|wcs)len$' '{short $len; $len=$func();}' .

بعض المتغيرات الممكنة: int قصيرة ، قصيرة غير موقعة ، int قصيرة غير موقعة ، حتى التوقيع int.

integer wraparound (CWE-128 ، CWE-131 ، CWE-190 ، CWE-680)

 weggli -R 'func=allocf?$' '{$func(_*_);}' .
weggli -R 'func=allocf?$' '{$func(_+_);}' .
weggli -R 'func=allocf?$' '{$n=_*_; $func($n);}' .
weggli -R 'func=allocf?$' '{$n=_+_; $func($n);}' .

weggli -R 'alloc=allocf?$' -R 'copy=cpy$' '{$alloc($x*_); $copy(_,_,$x);}' .
weggli -R 'alloc=allocf?$' -R 'copy=cpy$' '{$alloc($x+_); $copy(_,_,$x);}' .
weggli -u -R 'alloc=allocf?$' -R 'copy=cpy$' '{$n=_*_; $alloc($n); $copy(_,_,$x);}' .
weggli -u -R 'alloc=allocf?$' -R 'copy=cpy$' '{$n=_+_; $alloc($n); $copy(_,_,$x);}' .

weggli '{$x>_||($x+$y)>_;}' .
weggli '{$x>=_||($x+$y)>_;}' .
weggli '{$x>_||($x+$y)>=_;}' .
weggli '{$x>=_||($x+$y)>=_;}' .
weggli '{$x<_&&($x+$y)<_;}' .
weggli '{$x<=_&&($x+$y)<_;}' .
weggli '{$x<_&&($x+$y)<=_;}' .
weggli '{$x<=_&&($x+$y)<=_;}' .

weggli '{$x>_||($x*$y)>_;}' .
weggli '{$x>=_||($x*$y)>_;}' .
weggli '{$x>_||($x*$y)>=_;}' .
weggli '{$x>=_||($x*$y)>=_;}' .
weggli '{$x<_&&($x*$y)<_;}' .
weggli '{$x<=_&&($x*$y)<_;}' .
weggli '{$x<_&&($x*$y)<=_;}' .
weggli '{$x<=_&&($x*$y)<=_;}' .

< يجب أن يغطي > و <= يجب أن يغطي أيضا >= ؛ ومع ذلك ، دعونا نحتفظ بجميع المتغيرات فقط للتأكد.

سلاسل تنسيق

Call to printf () ، scanf () ، syslog () وظائف الأسرة (CWE-134)

 weggli -R 'func=(printf|scanf|syslog)$' '{$func();}' .

بعض المتغيرات الممكنة: printk ، تحذير ، vwarn ، warnx ، vwarnx ، err ، verr ، errx ، verrx ، warnc ، vwarnc ، errc ، verrc ، إلخ.

إدارة الذاكرة

دعوة إلى Alloca () (CWE-676 ، CWE-1325)

 weggli -R 'func=alloca$' '{$func();}' .

استخدم بعد مجانًا (CWE-416)

 weggli '{free($ptr); not:$ptr=_; not:free($ptr); _($ptr);}' .

حرة مزدوجة (CWE-415)

 weggli '{free($ptr); not:$ptr=_; free($ptr);}' .

استدعاء Free () على الذاكرة غير المخصصة في الكومة (CWE-590)

 weggli '{_ $ptr[]; free($ptr);}' .
weggli '{_ $ptr[]=_; free($ptr);}' .

weggli '{_ $ptr[]; $ptr2=$ptr; free($ptr2);}' .
weggli '{_ $ptr[]=_; $ptr2=$ptr; free($ptr2);}' .

weggli '{_ $var; free(&$var);}' .
weggli '{_ $var=_; free(&$var);}' .
weggli '{_ $var[]; free(&$var);}' .
weggli '{_ $var[]=_; free(&$var);}' .
weggli '{_ *$var; free(&$var);}' .
weggli '{_ *$var=_; free(&$var);}' .

weggli '{$ptr=alloca(_); free($ptr);}' .

إرجاع عنوان متغير مخصص للمكدس (CWE-562)

 weggli '{_ $ptr[]; return $ptr;}' .
weggli '{_ $ptr[]=_; return $ptr;}' .

weggli '{_ $ptr[]; $ptr2=$ptr; return $ptr2;}' .
weggli '{_ $ptr[]=_; $ptr2=$ptr; return $ptr2;}' .

weggli '{_ $var; return &$var;}' .
weggli '{_ $var=_; return &$var;}' .
weggli '{_ $var[]; return &$var;}' .
weggli '{_ $var[]=_; return &$var;}' .
weggli '{_ *$var; return &$var;}' .
weggli '{_ *$var=_; return &$var;}' .

رمز الإرجاع غير المقيد لـ Malloc () ، إلخ (CWE-252 ، CWE-690)

 weggli -R 'func=allocf?$' '{$ret=$func(); not:if(_($ret)){};}' .

دعوة إلى putenv () مع متغير ملموسة المكدس (CWE-686)

 weggli '{_ $ptr[]; putenv($ptr);}' .
weggli '{_ $ptr[]=_; putenv($ptr);}' .

weggli '{_ $ptr[]; $ptr2=$ptr; putenv($ptr2);}' .
weggli '{_ $ptr[]=_; $ptr2=$ptr; putenv($ptr2);}' .

التعرض لعناوين الذاكرة الأساسية (CWE-200 ، CWE-209 ، CWE-497)

 weggli -R 'func=printf$' -R 'fmt=(.*%w*x.*|.*%w*X.*|.*%w*p.*)' '{$func("$fmt");}' .

إجراءات إدارة الذاكرة غير المتطابقة (CWE-762)

 weggli -R 'func=allocf?$|strdn?up$' '{not:$ptr=$func(); free($ptr);}' .

weggli --cpp -R 'func=allocf?$|strn?dup$' '{not:$ptr=$func(); free($ptr);}' .
weggli --cpp '{not:$ptr=new $obj; delete $ptr;}' .

على ما يبدو ، حذف [] غير مدعوم لذلك لن يعمل هذا بشكل صحيح:

 weggli --cpp '{not:$ptr=new $obj[$len]; delete[] $ptr;}' .

استخدام المؤشرات غير المؤسسة (CWE-457 ، CWE-824 ، CWE-908)

 weggli '{_* $ptr; not:$ptr=_; not:_(&$ptr); $func($ptr);}' .
weggli '{_* $ptr; not:$ptr=_; not:_(&$ptr); _($ptr);}' .

قد تولد هذه الأنماط العديد من الإيجابيات الخاطئة التي يجب التحقيق فيها يدويًا.

حقن القيادة

Call to System () ، popen () (CWE-78 ، CWE-88 ، CWE-676)

 weggli -R 'func=(system|popen)$' '{$func();}' .
weggli -R 'func=(system|popen)$' '{$func($arg);}' .

يهدف النمط الثاني إلى تصفية الحرفيين الوريديين ، ولكنه قد يسبب بعض السلبيات الخاطئة.

ظروف السباق

Call to Access () ، stat () ، lstat () (CWE-367)

 weggli -R 'func=(access|l?stat)$' '{$func();}' .

دعوة إلى mktemp () ، tmpnam () ، tempnam () (CWE-377)

 weggli -R 'func=(mktemp|te?mpnam)$' '{$func();}' .

دعوة إلى Signal () (CWE-364 ، CWE-479 ، CWE-828)

 weggli -R 'func=signal$' '{$func();}' .

إدارة الامتياز

تسمى وظائف إدارة الامتياز بالترتيب الخطأ (CWE-696)

 weggli '{not:setuid(0); setuid(); setgid();}' .
weggli '{not:seteuid(0); seteuid(); not:seteuid(0); setegid();}' .
weggli '{not:seteuid(0); seteuid(); not:seteuid(0); setuid();}' .
weggli '{not:seteuid(0); seteuid(); not:seteuid(0); seteuid();}' .

رمز الإرجاع غير المحدد لـ Setuid () ، seteuid () (CWE-252)

 weggli -R 'func=sete?uid$' '{strict:$func();}' .

متنوع

ترتيب خاطئ للحجج في Call to Memset ()

 weggli -R 'func=memset(_explicit)?$' '{$func(_,_,0);}' .
weggli -R 'func=memset(_explicit)?$' '{$func(_,sizeof(_),_);}' .

Call to Rand () ، Srand () (CWE-330 ، CWE-338)

 weggli -R 'func=s?rand$' '{$func();}' .

يتداخل المصدر والوجهة في Sprintf () ، Snprintf ()

 weggli -R 'func=^sn?printf$' '{$func($dst,_,$dst);}' .
weggli -R 'func=^sn?printf$' '{$func($dst,_,_,$dst);}' .
weggli -R 'func=^sn?printf$' '{$func($dst,_,_,_,$dst);}' .

وهكذا ...

فحص الحجم المنفذ مع ماكرو التأكيد

 weggli -R 'assert=(?i)^w*assertw*s*$' '{$assert(_<_);}' .
weggli -R 'assert=(?i)^w*assertw*s*$' '{$assert(_<=_);}' .
weggli -R 'assert=(?i)^w*assertw*s*$' '{$assert(_>_);}' .
weggli -R 'assert=(?i)^w*assertw*s*$' '{$assert(_>=_);}' .

< يجب أن يغطي > و <= يجب أن يغطي أيضا >= ؛ ومع ذلك ، دعونا نحتفظ بجميع المتغيرات فقط للتأكد.

رمز الإرجاع غير المحدد لـ SCANF () ، إلخ (CWE-252)

 weggli -R 'func=scanf$' '{strict:$func();}' .

دعوة إلى atoi () ، atoL () ، atof () ، atoll ()

 weggli -R 'func=ato(i|ll?|f)$' '{$func();}' .

وسيطة سطر الأوامر أو الوصول المتغير للبيئة

 weggli -R 'var=argv|envp' '{$var[_];}' .

الحالة الافتراضية المفقودة في بناء التبديل (CWE-478)

 weggli -l 'switch(_) {_; not:default:_; _;}' .

قد يكون -l في الإفراط ويؤدي إلى فقدان مباريات إضافية في نفس الوظيفة.

استراحة مفقودة أو بيان مكافئ في بنية التبديل (CWE-484)

 weggli -l 'switch(_) {case _: not:break; not:exit; not:return; not:goto _; case _:_;}' .

قد يكون -l في الإفراط ويؤدي إلى فقدان مباريات إضافية في نفس الوظيفة.

بيان الإرجاع المفقود في دالة غير void (CWE-393 ، CWE-394)

 weggli -R 'type!=void' '$type $func(_) {_; not:return;}' .

الأخطاء المطبعية ذات الآثار الأمنية (CWE-480 ، CWE-481 ، CWE-482 ، CWE-483)

 weggli '{for (_==_;_;_) {}}' .
weggli 'if (_=_) {}' .
weggli 'if (_&_) {}' .
weggli 'if (_|_) {}' .
weggli '{_=+_;}' .
weggli '{_=-_;}' .
weggli -R 'func=strn?cpy$' 'if ($func()==_) {}' .

هناك العديد من الأنماط الإضافية الممكنة في هذه الفئة ...

الكلمات الرئيسية التي تشير إلى وجود الحشرات

 weggli -R 'pattern=(?i)(unsafe|insecure|dangerous|warning|overflow)' '$pattern' .

weggli -R 'func=(?i)(encode|decode|convert|interpret|compress|fragment|reassemble)' '_ $func(_) {}' .
weggli -R 'func=(?i)(mutex|lock|toctou|parallelism|semaphore|retain|release|garbage|mutual)' '_ $func(_) {}' .

هناك العديد من الأنماط الإضافية الممكنة في هذه الفئة ...