Libman Proba

Libman Proba

Libman Proba (LIBMAN) är ett av de mest populära verktygen för att kontrollera säkerheten för kod i programmeringsspråket C++.

Syftet med verktyget är att kontrollera om det finns sårbarheter i programkoden för datasäkerhet och integritet. Testet är utformat för att hjälpa utvecklare att analysera säkerheten i sin programmering.

För att göra detta analyserar den koden och upprättar korrelationer mellan vissa variabler, funktioner och tabellsymboler. Detta kan generera en varning om möjligheten att skapa ett säkert program. Dessutom kontrollerar den giltigheten av förhållandet mellan variabler och identifierar fall där information i en variabel kan extraheras från en annan.

För att klara libman-testet måste du skriva en funktion (eller block av funktioner) som returnerar adressen till den lokala variabeln x i funktionen fxxf(x). Till exempel bör rubrikfilen matcha följande mönster:

Anslut filen LIBMAN.CPP. omfatta //Rubrikfil libmanPROB eller lmp LMP_ASSERT_MSG