كيف يمكنني العثور على الثغرات الأمنية في بلدي المصدر المدونة؟

الأصلي ، ومازال أفضل طريقة للعثور على الثغرات الأمنية في شفرة المصدر هو قراءة وفهم شفرة المصدر.

شفرة المصدر الأمني الضعف ستتفاوت بين اللغات ومناهج.

البحث عن بنود في قانون جيم ما يلي :

ضعف الإمكانات	ويدعو لدراسة وظيفة لمواطن الضعف
فاصلة المفرطة	وتحصل () ، scanf () ، sprintf () ، strcat () ، strcpy ()
شكل سلسلة الضعف	printf () ، fprintf () ، vprintf () ، snprintf () ، vsnprintf () ، syslog ()
شروط السباق	وصول () ، chown () ، chgrp () ، chmod () ، mktemp () ، tempnam () ، tmpfile () ، tmpnam ()
اقتناء عدد عشوائية الضعف	راند () ، عشوائية ()
شل metacharacter نقاط الضعف	إكسيك () ، popen () ، ونظام ()

قانون الأمن الآلي المصدر الضعف ماسحات

هناك ذكاء الأدوات المتاحة لمساعدتك على دراسة كميات كبيرة من شفرة المصدر لأمن مواطن الضعف.

أداة	وصف
Flawfinder	ويفحص شفرة المصدر والتقارير مواطن الضعف المحتملة في أمن
الفئران من تأمين حلول البرمجيات	جيم بالاشعة ، س + + ، بيرل ، بيثون PHP وشفرة المصدر لنقاط الضعف الامنية المحتملة.
ITS4 من Cigital	بمسح شفرة المصدر الضعيفة يمكن أن تبحث عن وظيفة التشكيل ويدعو شفرة المصدر وتحليل لتحديد مستوى المخاطر
PScan	وثمة مشكلة محدودة ماسحة لجيم ملفات مصدر
بون	تجاوز الكشف عازلة
المماسح	MOdelchecking برامج الأمن العقارات
Cqual	أداة لإضافة نوع في التصفيات المؤهلة لجيم
المؤتمر الوزاري	الفوقية مستوى التجميع
انتقاد	مايكروسوفت
ESC/Java2	مدد الخشخشة التحقق جافا النسخة 2
جبيرة	تأمين برمجة ينت
الدراجة	نموذج - المدقق لنظم مستودع لمعلومات الكومبيوتر
JCAVE	JavaCard بريمج للتحقق في البيئة
فإن أدوات Boop	ويستخدم التجريد وصقل لتحديد برنامج reachability من النقاط في برنامج جيم
انفجار	الفكرة المجردة بيركلي كسلان المواضيع أداة للتحقق
أونو	أداة بسيطة لتحليل شفرة المصدر
PMD	بمسح جافا شفرة المصدر واحد يبحث عن المشاكل المحتملة
س + + للتجارب	وحدة اختبار وتحليل أداة جامدة