שחרור של cppcheck 2.6, מנתח קוד סטטי לשפות C++ ו-C

שוחררה גרסה חדשה של מנתח הקוד הסטטי cppcheck 2.6, המאפשרת לזהות מחלקות שונות של שגיאות בקוד בשפות C ו-C++, כולל בעת שימוש בתחביר לא סטנדרטי, האופייני למערכות משובצות. מסופק אוסף של תוספים שדרכם משולבת cppcheck עם מערכות פיתוח, אינטגרציה רציפה ובדיקות שונות, ומספקת גם תכונות כגון בדיקת תאימות קוד לסגנון הקוד. כדי לנתח קוד, אתה יכול להשתמש במנתח משלך או במנתח חיצוני מ-Clang. הוא כולל גם את הסקריפט donate-cpu.py כדי לספק משאבים מקומיים לביצוע עבודת סקירת קוד שיתופית עבור חבילות דביאן. קוד המקור של הפרויקט מופץ תחת רישיון GPLv3.

הפיתוח של cppcheck מתמקד בזיהוי בעיות הקשורות להתנהגות לא מוגדרת ושימוש בעיצובים מסוכנים מנקודת מבט בטיחותית. המטרה היא גם למזער תוצאות חיוביות כוזבות. בין הבעיות שזוהו: מצביעים לאובייקטים שאינם קיימים, חלוקות באפס, גלישות של מספרים שלמים, פעולות שגויות ב-bit shift, המרות שגויות, בעיות בעבודה עם זיכרון, שימוש לא נכון ב-STL, הפניית מצביע null, שימוש בבדיקות לאחר הגישה בפועל. למאגר, חריפות מאגר, שימוש במשתנים לא מאותחלים.

בגרסה החדשה:

• הבדיקות הבאות נוספו לליבת הנתח:
  • היעדר מפעיל החזרה בגוף הפונקציה;
  • רישום נתונים חופפים, הגדרת התנהגות לא מוגדרת;
  • הערך שמשווה נמצא מחוץ לייצוג הערך של הטיפוס;
  • אופטימיזציית העתקה אינה חלה על החזרה std::move(local);
  • לא ניתן לפתוח את הקובץ בו-זמנית לקריאה וכתיבה בזרמים שונים (זרם);
• עבור פלטפורמות Unix, הוספה תמיכה להצגת הודעות אבחון בצבעים שונים;
• הוסיף ניתוח סמלי עבור ValueFlow. משתמש בדלתא פשוטה בעת חישוב ההפרש בין שני משתנים לא ידועים;
• הכללים המשמשים לרשימת האסימונים "להגדיר" יכולים גם להתאים ל-#include;
• תג ספרייה יכול כעת להכיל תג , ובהתאם לפונקציות החינמיות, שיכולות לקבל מיכלים כגון std::size, std::empty, std::begin, std::end וכו'. יכול לציין תשואה או פעולה עבור מחברים;
• תג ספרייה יכול כעת להכיל תג עבור מצביעים חכמים שיש להם בעלות ייחודית. כעת מופצת אזהרה על אזכורים משתלשלים לסוגים אלה של מצביעים חכמים;
• תיקנו בעיות בעיבוד הפרמטר -cppcheck-build-dir;
• htmlreport יכול כעת להציג מידע על המחבר (באמצעות git blame);
• אזהרות מורחבות לגבי משתנים שאינם קבועים, אך עשויים להיות;
• השגיאות והחסרונות המצטברים של המנתח תוקנו.

בנוסף, ההמחאות ממיסרא ג' 2012, לרבות תיקון 1 ותיקון 2, יושמו במלואן, למעט כללים 1.1, 1.2 ו-17.3. בדיקות 1.1 ו-1.2 חייבות להתבצע על ידי המהדר. אימות 17.3 יכול להתבצע על ידי מהדר כגון GCC.

מקור: OpenNet.ru