שחרורו של הגרסה של מנתח הקוד הסטטי cppcheck 2.6כי מאפשר לזהות סוגים שונים של שגיאות בקוד C ו- C ++גם בעת שימוש בתחביר לא סטנדרטי האופייני למערכות משובצות.
מסופק אוסף של תוספים שבאמצעותם ניתנת השילוב של cppcheck עם מערכות פיתוח, אינטגרציה מתמשכות ובדיקות שונות, כמו גם תכונות כגון בדיקת תאימות הקוד לסגנון הקידוד.
כדי לנתח את הקוד, אתה יכול להשתמש במנתח משלך ובמנתח Clang חיצוני. הוא כולל גם תסריט donate-cpu.py כדי לספק משאבים מקומיים לעבודה לבדיקת קוד שיתופי עבור חבילות Debian.
התפתחות cppcheck מתמקד בזיהוי בעיות הקשורות להתנהגות לא מוגדרת ושימוש במבנים מסוכנים מבחינה בטיחותית.
המטרה היא גם למזער את תוצאות השווא. בין הבעיות שזוהו: מצביעים לאובייקטים שאינם קיימים, חלוקה באפס, הצפות שלמות, פעולות העברת סיביות לא נכונות, המרות לא נכונות, בעיות זיכרון, שימוש לא נכון ב- STL, הפניית מצבי null, החלת צ'קים לאחר ריאלי גישה למאגר, עולים על גבולות החוצץ, תוך שימוש במשתנים לא -לא -לאומיים.
התכונות החדשות העיקריות של cppcheck 2.6
בגרסה החדשה הזו sהוספנו בדיקות שונות לגרעין הניתוח, ביניהם בולט האימות של היעדר הצהרת החזרה בגוף הפונקציה, כמו גם של רשומות נתונים חופפות, הגדרות התנהגות לא מוגדרות וגם האימות לערך המשווה הוא מחוץ לטווח הייצוג. בערך הסוג.
חידוש נוסף שבולט הוא אופטימיזציה של העתקה אינה חלה על החזרת std :: move (מקומי);, בנוסף נוספה תמיכה להצגת הודעות אבחון בצבעים שונים עבור פלטפורמות Unix וכי תג הספרייה כעת יכול להכיל תג להצעות חכמות בעלות רכוש ייחודי. אזהרת קישורים משתלשלים ניתנת כעת לסוגים אלה של רמזים חכמים.
בנוסף, פקדי Misra C 2012 יושמו במלואן, כולל תיקון 1 ותיקון 2, למעט כללים 1.1, 1.2 ו -17.3. המהדר צריך לבצע בדיקות 1.1 ו- 1.2. מהדר כמו GCC יכול לבדוק 17.3.
משאר השינויים הבולטים של הגרסה החדשה הזו:
- לא ניתן לפתוח את הקובץ בו זמנית לקריאה וכתיבה בזרמים שונים;
- נוספה ניתוח סמלי עבור ValueFlow. משתמשים בדלתא פשוטה בחישוב ההבדל בין שני משתנים לא ידועים;
- הכללים המשמשים לרשימת האסימונים "הגדר" יכולים להתאים גם ל- #include;
- תג הספרייה כעת יכול להכיל תג וכך פונקציות חינמיות שיכולות לקבל מכולות כמו std :: size, std :: empty, std :: begin, std :: end וכו '. אתה יכול לציין זעקה או פעולה עבור מכולות;
- תוקנו בעיות בטיפול בפרמטר –cppcheck-build-dir;
כעת htmlreport יכול להדפיס מידע על המחבר (באמצעות git blame); - הוצאת אזהרות מורחבת על משתנים שאינם קבועים, אך יכולים להפוך לקבועים;
- באגים וחלקים שנצברו במנתח תוקנו.
לבסוף, אם אתה מעוניין לדעת יותר על גרסה חדשה זו, תוכל להתייעץ את הפרטים בקישור הבא.
כיצד להתקין cppcheck על לינוקס?
למי שמעוניין להתקין cppcheck בהפצת לינוקס שלו, הוא יכול לעקוב אחר ההנחיות שאנו חולקים להלן.
אם אתה משתמש Debian או כל הפצה אחרת המבוססת או נגזרת ממנה כגון Deepin או אובונטו, תוכל להתקין ישירות מהטרמינל על ידי הקלדת הפקודה הבאה:
sudo apt-get install cppcheck
עכשיו למי שהם משתמשי פדורה ונגזרות שלה, הם יכולים לבצע את ההתקנה על ידי הקלדת הפקודה הבאה:
sudo yum instalar cppcheck
או למי שהם משתמשי Arch Linux או כל נגזרת אחרת שלו, הם יכולים להתקין באמצעות הפקודה הבאה:
sudo pacman -S cppcheck