אינטל מפרסמת את ControlFlag 1.2, כלי לאיתור חריגות בקוד המקור

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

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

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

מקור: OpenNet.ru