Το έργο Cppcheck συγκεντρώνει κεφάλαια για την εφαρμογή βελτιώσεων.

Ο προγραμματιστής του Cppcheck (Daniel Marjamäki) πρόκειται να προσθέσει τη δυνατότητα επαλήθευσης λογισμικού σε C και C++ στον στατικό αναλυτή του.

Επαλήθευση λογισμικού στο Cppcheck

Στη λειτουργία "επαλήθευσης", το Cppcheck θα εκδώσει μια προειδοποίηση εάν δεν μπορεί να επαληθεύσει ότι ο κωδικός είναι ασφαλής, αλλά αυτό μπορεί να οδηγήσει σε θόρυβο (πολλαπλές προειδοποιήσεις).

Σχέδια υλοποίησης

Η λειτουργία επαλήθευσης θα εφαρμοστεί διαδοχικά. Στο πρώτο στάδιο, η εργασία θα επικεντρωθεί στη διαίρεση με μηδενικό έλεγχο. Αυτός είναι ένας σχετικά απλός έλεγχος. Κάθε λειτουργία θα δοκιμαστεί ξεχωριστά. Υποτίθεται ότι όλα τα δεδομένα εισόδου μπορούν να έχουν μια αυθαίρετη τιμή. Οι έλεγχοι για άλλους τύπους απροσδιόριστης συμπεριφοράς θα προστεθούν αργότερα. Υπάρχουν επίσης σχέδια για τη βελτίωση της ανάλυσης C και C++.

Επιτάχυνση ανάπτυξης

Ο στόχος της συγκέντρωσης χρημάτων στο Kickstarter είναι να επιταχυνθεί η ανάπτυξη της λειτουργίας επαλήθευσης. Σκοπεύουμε να προσθέσουμε αυτήν τη δυνατότητα ούτως ή άλλως, αλλά η εργασία μπορεί να διαρκέσει περισσότερο εάν δεν συγκεντρωθούν χρήματα. Εάν συγκεντρωθούν τα κεφάλαια, ο Daniel θα μπορεί να πάρει άδεια από την κύρια δουλειά του για να αφιερώσει πλήρως τον χρόνο εργασίας του στο έργο cppcheck.

Στόχοι Έργου

• Εξάλειψη των ψευδών αρνητικών από τη διαίρεση με μηδενικά τεστ σε Ιουλιέτα и ITC.

• Διόρθωση ψευδών θετικών αποτελεσμάτων (βλ. ΣΦΑΛΜΑ #9402).

• Βελτίωση του αναλυτή C++.

Πηγή: linux.org.ru