תרגול אימות אבטחה ופריסה

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

בדקו את ה־INF ואת קובצי החבילה שנוצרו. קשרו בין hardware ID, שם השירות, sys, catalog וגרסת KMDF. הסבירו מדוע שינוי קובץ אחרי יצירת catalog דורש בנייה וחתימה מחדש.

ב־VM בלבד, הפעילו verifier ממוקד על driver המעבדה ושמרו את ההגדרות. אם מתקבל dump, הגישו ניתוח שמבדיל בין אתר הגילוי לבין גורם השורש. אם לא בוצעה הרצה, סמנו זאת במפורש והגישו את תוכנית הבדיקה.

הוסיפו בדיקה שמוודאת שה־driver אינו מחזיר bytes שלא אתחל, ושלקוח ללא הרשאה אינו יכול לפתוח את ה־device.