שחרור של ControlFlag 1.0, כלי לזיהוי שגיאות בקוד C

אינטל פרסמה את המהדורה הגדולה הראשונה של הכלי ControlFlag 1.0, המאפשר לזהות שגיאות וחריגות בקוד המקור באמצעות מערכת למידת מכונה מאומנת על כמות גדולה של קוד קיים. בניגוד לנתחים סטטיים מסורתיים, ControlFlag אינו מיישם כללים מוכנים, בהם קשה לספק את כל האפשרויות האפשריות, אלא מבוסס על סטטיסטיקה על שימוש בבני שפה שונים במספר רב של פרויקטים קיימים. קוד ControlFlag כתוב ב-C++ והוא בקוד פתוח תחת רישיון MIT.

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

כדוגמה ליכולות של ControlFlag, המפתחים ניתחו את קודי המקור של פרויקטי OpenSSL ו-cURL:

• מבנים חריגים "(s1 == NULL) ∧ (s2 == NULL)" ו-"(s1 == NULL) | (s2 == NULL)" , שאינם תואמים את הדפוס הנפוץ "(s1 == NULL) || (s2 == NULL)". הקוד זיהה גם חריגות בביטויים "(-2 == rv)" (המינוס היה שגיאת הקלדה) ו-"BIO_puts(bp, ":") <= 0)" (בהקשר של בדיקת ההשלמה המוצלחת של הפונקציה היא צריכה להיות "== 0").
• ב-cURL התגלתה שגיאה שלא זוהתה על ידי מנתחים סטטיים בעת שימוש באלמנט המבנה "s->keepon", שהיה לו סוג מספרי, אך הושווה לערך הבוליאני TRUE.

בין התכונות של גרסת ControlFlag 1.0, ישנה תמיכה מלאה בתבניות סטנדרטיות לשפת C ויכולת לזהות חריגות בביטויי "אם" מותנים. לדוגמה, כאשר מנתחים את קטע הקוד "אם (x = 7) y = x;" המערכת תקבע שהמשפט "אם" משתמש בדרך כלל במבנה "משתנה == מספר" כדי להשוות ערכים מספריים, כך שסביר מאוד שה-"משתנה = מספר" בביטוי "אם" נגרם משגיאת הקלדה. הערכה כוללת סקריפט המאפשר להוריד מאגרי שפת C קיימים ב- GitHub ולהשתמש בהם לבניית המודל. דגמים מוכנים זמינים גם, המאפשרים לך להתחיל מיד לבדוק את הקוד.

מקור: OpenNet.ru