Libman Proba

Libman Proba

Libman Proba (LIBMAN) to jedno z najpopularniejszych narzędzi służących do sprawdzania bezpieczeństwa kodu w języku programowania C++.

Celem narzędzia jest sprawdzenie pod kątem luk w kodzie programu zapewniającym bezpieczeństwo danych i prywatność. Test ma pomóc programistom w analizie bezpieczeństwa ich programów.

W tym celu analizuje kod i ustala korelacje pomiędzy określonymi zmiennymi, funkcjami i symbolami tabel. Może to spowodować wygenerowanie ostrzeżenia o możliwości stworzenia bezpiecznego programu. Ponadto sprawdza zasadność związku między zmiennymi, identyfikując przypadki, w których można wydobyć informację z jednej zmiennej z drugiej.

Aby przejść test libmana, musisz napisać funkcję (lub blok funkcji), która zwraca adres zmiennej lokalnej x w funkcji fxxf(x). Na przykład plik nagłówkowy powinien pasować do następującego wzorca:

Podłącz plik LIBMAN.CPP. włączać //Plik nagłówkowy libmanPROB lub lmp LMP_ASSERT_MSG