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

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

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

במקביל, החברה השבדית Cppcheck Solutions AB מפתחת גרסה מורחבת של Cppcheck Premium, המספקת ניתוח של נוכחות של לולאות אינסופיות, חיפוש משופר אחר משתנים לא מאותחלים וניתוח גלישת חיץ מתקדם.

בגרסה החדשה:

• נוספה תמיכה בתצוגות של קונטיינרים - תכונת ה-view נוספה לתגית הספרייה, המציינת שהמחלקה היא תצוגה. קוד הניתוח לכל החיים עודכן לשימוש בתכונה זו בעת חיפוש אחר מיכלים משתלשלים;
• צ'קים משופרים;
• שגיאות מצטברות תוקנו וחסרונות בנתח בוטלו.

מקור: OpenNet.ru