Libman Proba

Libman Proba

Libman Proba (LIBMAN) er et af de mest populære værktøjer til at kontrollere sikkerheden af ​​kode i C++ programmeringssproget.

Formålet med værktøjet er at tjekke for sårbarheder i programkoden for datasikkerhed og privatliv. Testen er designet til at hjælpe udviklere med at analysere sikkerheden i deres programmering.

For at gøre dette analyserer den koden og etablerer korrelationer mellem visse variabler, funktioner og tabelsymboler. Dette kan generere en advarsel om muligheden for at oprette et sikkert program. Desuden kontrollerer den gyldigheden af ​​forholdet mellem variabler og identificerer tilfælde, hvor information i en variabel kan udvindes fra en anden.

For at bestå libman-testen skal du skrive en funktion (eller blok af funktioner), der returnerer adressen på den lokale variabel x i funktionen fxxf(x). For eksempel skal header-filen matche følgende mønster:

Tilslut filen LIBMAN.CPP. omfatte //Header-fil libmanPROB eller lmp LMP_ASSERT_MSG