Λίμπμαν Πρόμπα

Λίμπμαν Πρόμπα

Το Libman Proba (LIBMAN) είναι ένα από τα πιο δημοφιλή εργαλεία για τον έλεγχο της ασφάλειας του κώδικα στη γλώσσα προγραμματισμού C++.

Ο σκοπός του εργαλείου είναι να ελέγξει για τρωτά σημεία στον κώδικα του προγράμματος για την ασφάλεια των δεδομένων και το απόρρητο. Το τεστ έχει σχεδιαστεί για να βοηθήσει τους προγραμματιστές να αναλύσουν την ασφάλεια του προγραμματισμού τους.

Για να γίνει αυτό, αναλύει τον κώδικα και καθιερώνει συσχετίσεις μεταξύ ορισμένων μεταβλητών, συναρτήσεων και συμβόλων πίνακα. Αυτό μπορεί να δημιουργήσει μια προειδοποίηση σχετικά με τη δυνατότητα δημιουργίας ενός ασφαλούς προγράμματος. Επιπλέον, ελέγχει την εγκυρότητα της σχέσης μεταξύ των μεταβλητών, εντοπίζοντας περιπτώσεις όπου οι πληροφορίες μιας μεταβλητής μπορούν να εξαχθούν από μια άλλη.

Για να περάσετε τη δοκιμή libman, πρέπει να γράψετε μια συνάρτηση (ή μπλοκ συναρτήσεων) που να επιστρέφει τη διεύθυνση της τοπικής μεταβλητής x στη συνάρτηση fxxf(x). Για παράδειγμα, το αρχείο κεφαλίδας πρέπει να ταιριάζει με το ακόλουθο μοτίβο:

Συνδέστε το αρχείο LIBMAN.CPP. περιλαμβάνω //Αρχείο κεφαλίδας libmanPROB ή lmp LMP_ASSERT_MSG