Αποδέσμευση του στατικού αναλυτή cppcheck 2.1

Διαθέσιμος νέα έκδοση δωρεάν στατικού αναλυτή cppcheck 2.1, το οποίο σας επιτρέπει να προσδιορίζετε διάφορες κατηγορίες σφαλμάτων στον κώδικα στις γλώσσες C και C++, μεταξύ άλλων όταν χρησιμοποιείτε μη τυπική σύνταξη, τυπική για ενσωματωμένα συστήματα. Παρέχεται μια συλλογή προσθηκών μέσω των οποίων το cppcheck ενσωματώνεται με διάφορα συστήματα ανάπτυξης, συνεχούς ενοποίησης και δοκιμών και παρέχει επίσης δυνατότητες όπως έλεγχος συμμόρφωση του κώδικα με το στυλ μορφοποίησης κώδικα. Για να αναλύσετε τον κώδικα, μπορείτε να χρησιμοποιήσετε είτε τον δικό σας αναλυτή είτε έναν εξωτερικό αναλυτή από το Clang. Περιλαμβάνει επίσης το σενάριο donate-cpu.py για την παροχή τοπικών πόρων για την εκτέλεση εργασιών συλλογικής αναθεώρησης κώδικα για πακέτα Debian. Πηγές έργου διανέμονται από άδεια σύμφωνα με το GPLv3.

Η ανάπτυξη του cppcheck επικεντρώνεται στον εντοπισμό προβλημάτων που σχετίζονται με την απροσδιόριστη συμπεριφορά και τη χρήση σχεδίων που είναι επικίνδυνα από την άποψη της ασφάλειας. Ο στόχος είναι επίσης να ελαχιστοποιηθούν τα ψευδώς θετικά. Αναμεταξύ αναγνωρισθείς προβλήματα: δείκτες σε ανύπαρκτα αντικείμενα, διαιρέσεις με το μηδέν, υπερχείλιση ακεραίων, λανθασμένες λειτουργίες μετατόπισης bit, λανθασμένες μετατροπές, προβλήματα κατά την εργασία με μνήμη, εσφαλμένη χρήση STL, αποαναφορά μηδενικών δεικτών, εφαρμογή ελέγχων μετά την πραγματική πρόσβαση στο buffer, μετάβαση πέρα από τα όρια buffer, χρησιμοποιώντας μη αρχικοποιημένες μεταβλητές.

Πηγή: opennet.ru

Προσθέστε ένα σχόλιο