semgrep-rules

«سطح الهجوم هو الثغرة. العثور على خطأ هناك ليس سوى تفصيل.»

-- Mark Dowd

«بعض التفاصيل أكثر أهمية من غيرها.»

-- Fedor G. Pikus

مجموعة من قواعد Semgrep الخاصة بي لتسهيل أبحاث الثغرات الأمنية.

منشورات المدونة

• https://hnsecurity.it/blog/semgrep-ruleset-for-c-c-vulnerability-research
• https://hnsecurity.it/blog/automating-binary-vulnerability-discovery-with-ghidra-and-semgrep
• https://hnsecurity.it/blog/big-update-to-my-semgrep-c-cpp-ruleset
• https://hnsecurity.it/blog/streamlining-vulnerability-research-with-the-idalib-rust-bindings-for-ida-9-2/
• https://hnsecurity.it/blog/my-semgrep-c-cpp-ruleset-is-ready-for-prime-time-again/

انظر أيضًا

• https://appsec.guide/docs/static-analysis/semgrep/
• https://semgrep.dev/docs/writing-rules/overview
• https://semgrep.dev/r

تعليمات الإعداد والاستخدام

1. ثبّت Semgrep.
2. لاستخدام هذه القواعد عبر سجل Semgrep، شغّل ما يلي من المجلد الجذر لمستودع الكود المصدري المستهدف:

# فحص ذو أولوية عالية (مكاسب سريعة)
semgrep --severity ERROR --config "p/0xdea"

# فحص ذو أولوية عالية ومتوسطة (موصى به)
semgrep --severity ERROR --severity WARNING --config "p/0xdea"

# فحص كامل (قد يتضمن نتائج هامشية ومزيدًا من الإيجابيات الكاذبة)
semgrep --config "p/0xdea"

بدلًا من ذلك، يمكنك استنساخ مستودع GitHub هذا محليًا وتشغيل:

# فحص كامل
semgrep --config semgrep-rules/rules /path/to/source

# فحص قاعدة محددة
semgrep --config semgrep-rules/rules/c/command-injection.yaml /path/to/source

[!TIP] حدد مفتاح --no-git-ignore لفحص الملفات بغض النظر عن حالة تتبع git أو قواعد .gitignore.

لتجربة أكثر سلاسة، أوصي بحفظ مخرجات فحص Semgrep بصيغة SARIF واستخدام SARIF Explorer في VS code:

semgrep --sarif --sarif-output=/path/to/source/SEMGREP.sarif --config semgrep-rules/rules /path/to/source
code /path/to/source # ثم افتح ملف SEMGREP.sarif في VS code باستخدام SARIF Explorer 

انظر أيضًا مثال على مخرجات SARIF المرفقة.

التوافق

تم اختباره مع Semgrep CLI 1.169.0.

القواعد

C/C++

مجموعة قواعد C (وأحيانًا C++) مختبرة ميدانيًا.

تجاوزات المخزن المؤقت

• insecure-api-gets. استخدام دالة API غير الآمنة gets.
• insecure-api-strcpy-strcat. استخدام دوال API التي قد تكون غير آمنة strcpy، stpcpy، strcat.
• insecure-api-sprintf-vsprintf. استخدام دوال API التي قد تكون غير آمنة sprintf وvsprintf.
• insecure-api-scanf. استخدام دوال API التي قد تكون غير آمنة في عائلة scanf.
• incorrect-use-of-strncat. وسيط حجم خاطئ يتم تمريره إلى strncat.
• use-of-source-size-in-copy. وسيط حجم خاطئ يتم تمريره إلى strncpy، memcpy، snprintf، والنسخ المختلفة.
• incorrect-use-of-sizeof. استخدام عرضي لعامل sizeof على مؤشر بدلاً من هدفه.
• unterminated-string-strncpy. غياب إنهاء NUL صريح بعد strncpy وstpncpy.
• off-by-one. خطأ محتمل خارج التعداد (off-by-one).
• unsafe-ret-snprintf-vsnprintf. استخدام قد يكون غير آمن لقيمة الإرجاع لـ snprintf وvsnprintf.
• unsafe-ret-strlcpy-strlcat. استخدام قد يكون غير آمن لقيمة الإرجاع لـ strlcpy وstrlcat.
• pointer-subtraction. استخدام محتمل لطرح المؤشرات لتحديد الحجم.
• write-into-stack-buffer. كتابة مباشرة في مخزن مؤقت مخصص على المكدس.

تجاوزات الأعداد الصحيحة

• integer-wraparound. أخطاء محتملة في الالتفاف على الأعداد الصحيحة.
• unsafe-strlen. تحويل القيمة المُرجعة من strlen إلى short قد يكون خطيرًا.
• integer-truncation. أخطاء محتملة في اقتطاع الأعداد الصحيحة.
• signed-unsigned-conversion. أخطاء محتملة في التحويل بين الموقّع وغير الموقّع.
• incorrect-unsigned-comparison. التحقق مما إذا كان متغير غير موقّع سالبًا.

سلاسل التنسيق

• format-string-bugs. أخطاء محتملة في سلاسل التنسيق.

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