פרויקט Cppcheck מגייס כספים ליישום שיפורים.

המפתח של Cppcheck (Daniel Marjamäki) הולך להוסיף את היכולת לאמת תוכנות ב-C ו-C++ לנתח הסטטי שלו.

אימות תוכנה ב-Cppcheck

במצב "אימות", Cppcheck יוציא אזהרה אם הוא לא יכול לוודא שהקוד בטוח, אבל זה עלול לגרום לרעש (אזהרות מרובות).

תוכניות יישום

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

האצת פיתוח

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

מטרות הפרויקט

• ביטול שלילי כוזב מחלוקה באפס בדיקות ב ג'ולייט и ITC.

• תיקון של תוצאות חיוביות שגויות (ראה. BUG#9402).

• שיפור מנתח C++.

מקור: linux.org.ru