Libman Proba

Libman Proba

Libman Proba (LIBMAN) ist eines der beliebtesten Tools zur Überprüfung der Sicherheit von Code in der Programmiersprache C++.

Der Zweck des Tools besteht darin, den Programmcode auf Schwachstellen für Datensicherheit und Datenschutz zu prüfen. Der Test soll Entwicklern helfen, die Sicherheit ihrer Programmierung zu analysieren.

Dazu analysiert es den Code und stellt Korrelationen zwischen bestimmten Variablen, Funktionen und Tabellensymbolen her. Dies kann eine Warnung über die Möglichkeit der Erstellung eines sicheren Programms generieren. Darüber hinaus prüft es die Gültigkeit der Beziehung zwischen Variablen und identifiziert Fälle, in denen Informationen in einer Variablen aus einer anderen extrahiert werden können.

Um den Libman-Test zu bestehen, müssen Sie eine Funktion (oder einen Funktionsblock) schreiben, die die Adresse der lokalen Variablen x in der Funktion fxxf(x) zurückgibt. Die Header-Datei sollte beispielsweise dem folgenden Muster entsprechen:

Verbinden Sie die Datei LIBMAN.CPP. enthalten //Header-Datei libmanPROB oder lmp LMP_ASSERT_MSG