סריקה ואימות של נקודות חולשה בקוד

בעזרת CodeMender אפשר לסרוק באופן יזום את בסיס הקוד כדי לזהות חולשות בתוכנה, ולהריץ ניצולי פרצות (PoC) בארגז החול המקומי כדי לוודא שאפשר לנצל את הפרצות ולמנוע תוצאות חיוביות שגויות.

סריקה לאיתור נקודות חולשה

כדי להריץ סריקת אבטחה מהירה בכל בסיס הקוד, מריצים את הפקודה cm find. כדי להשיג ביצועים אופטימליים, מומלץ לסרוק מודולים ממוקדים או קבוצות של 10 עד 50 קבצים בכל פעם.

סריקה של ספריית משנה ספציפית:

cm find ./src/auth/

סריקה רק של הקבצים ששונו בספריית משנה:

cm find --diff ./src/auth/

סריקת קובץ יחיד:

cm find ./src/auth/session_manager.py

דילוג על הנחיות אינטראקטיביות לאישור במהלך הסריקה:

cm find ./src/auth/ -y

מידע נוסף על סריקת בקשות משיכה באמצעות --diff או על הפעלת סריקות עמוקות מרובות סשנים באמצעות --deep זמין במאמרים מצבי חיפוש של CodeMender ושילוב עם CI/CD.

אימות נקודות חולשה

אחרי ש-CodeMender מזהה פגיעויות פוטנציאליות, אפשר לבקש ממנו לאמת את האפשרות לניצול הפגיעויות. במהלך האימות, CodeMender יוצר ומריץ ניצול של הוכחת היתכנות (PoC) (בתוך ארגז החול שמוגדר כברירת מחדל) כדי לוודא שאפשר לנצל את הבעיה.

מאתרים את finding-id בפלט של cm report או cm find, ואז מריצים:

cm verify FINDING_ID

סימוני אימות

הדגלים הבאים מגדירים את cm verify:

דגל ברירת מחדל תיאור
-c, --context TEXT "" העברת הוראות לניתוב או הקשר של דומיין האפליקציה כדי להנחות את הסוכן (לדוגמה, cm verify FINDING_ID -c "Focus analysis on the multi-tenant session validation path").
--skip-exploit-verification false ביצוע אימות סטטי בלבד ללא הפעלת ניצול לרעה של PoC פעיל.
--sandbox true הפעלה או השבתה מפורשת של ארגז החול להרצה הזו (לדוגמה, --sandbox=false כדי להשבית).
--unrestricted false עקיפה זמנית של כל אמצעי ההגנה של ארגז החול בהרצה הזו, והשבתה של גבולות מערכת הקבצים ובידוד הקונטיינר ברמת מערכת ההפעלה.
-y, --yes false דילוג על הנחיות אינטראקטיביות לאישור ([y/N]) לפעולות של הכלי ולהפעלת ניצול של PoC. הפקודות נשארות בתוך קונטיינר Sandbox ברמת מערכת ההפעלה (exebox).