Libman Proba

Libman Proba

A Libman Proba (LIBMAN) az egyik legnépszerűbb eszköz a kód biztonságának ellenőrzésére a C++ programozási nyelvben.

Az eszköz célja, hogy ellenőrizze a programkód biztonsági réseit az adatbiztonság és az adatvédelem érdekében. A teszt célja, hogy segítse a fejlesztőket programozásuk biztonságának elemzésében.

Ehhez elemzi a kódot, és összefüggéseket hoz létre bizonyos változók, függvények és táblázatszimbólumok között. Ez figyelmeztetést generálhat egy biztonságos program létrehozásának lehetőségéről. Ezenkívül ellenőrzi a változók közötti kapcsolat érvényességét, azonosítva azokat az eseteket, amikor az egyik változóban lévő információ kinyerhető a másikból.

A libman teszt sikeres teljesítéséhez olyan függvényt (vagy függvényblokkot) kell írni, amely az fxxf(x) függvényben az x helyi változó címét adja vissza. Például a fejlécfájlnak meg kell egyeznie a következő mintával:

Csatlakoztassa a LIBMAN.CPP fájlt. tartalmazza //Fejlécfájl libmanPROB vagy lmp LMP_ASSERT_MSG