| מיקרוסופט slayer. בודק בטיחות זיכרון אוטומטי, ההפרדה מבוססת לוגית |
הורד עכשיו |
מיקרוסופט slayer. דירוג וסיכום
- שם המפרסם:
- Microsoft Research
- מערכות הפעלה:
- Windows XP / 2003 / Vista / 2008 / 7
מיקרוסופט slayer. תגים
מיקרוסופט slayer. תיאור
Slayer (הפרדה לוגיקה Analyzer) הוא בודק בטיחות זיכרון שנועדו לוודא כי קוד קלט C אינו כבוד מונגלינג מצביע, לעשות משחרר כפול, ולא זיכרון דליפה. באמצעות הכלי כדי לרוץ על בדיקה, אומרים cleanup_hochresourceda_remove_head_list.c כי mallocs ולאחר מכן משחרר רשימה plist_entry, לבצע את זה פגז cmd: C: \> CD C: \ slayer C: \> setup.cmd C: \> CD Test \ Kmdf \ 1394 \ cleanup_isochresourceda_remove_head_list C: \> slayer cleanup_isochresourcorata_remove_head_list.c על היציאה, הדפסת Slayer A "תוצאה: בטוחה", ומשאירה מספר קבצי פלט (ייצוג פנימי של התוכנית בפורמט DOT, דוגמה נגד בפורמט defect.tt, וכו ').
מיקרוסופט slayer. תוכנה קשורה