Libman Proba

Libman Proba

Libman Proba (LIBMAN) est l'un des outils les plus populaires pour vérifier la sécurité du code dans le langage de programmation C++.

Le but de l'outil est de vérifier les vulnérabilités du code du programme en matière de sécurité et de confidentialité des données. Le test est conçu pour aider les développeurs à analyser la sécurité de leur programmation.

Pour ce faire, il analyse le code et établit des corrélations entre certaines variables, fonctions et symboles du tableau. Cela peut générer un avertissement sur la possibilité de créer un programme sécurisé. De plus, il vérifie la validité de la relation entre les variables, en identifiant les cas où les informations d'une variable peuvent être extraites d'une autre.

Pour réussir le test libman, vous devez écrire une fonction (ou un bloc de fonctions) qui renvoie l'adresse de la variable locale x dans la fonction fxxf(x). Par exemple, le fichier d'en-tête doit correspondre au modèle suivant :

Connectez le fichier LIBMAN.CPP. inclure //Fichier d'en-tête libmanPROB ou lmp LMP_ASSERT_MSG