Libman Proba

Libman Proba

Libman Proba (LIBMAN) je jedním z nejpopulárnějších nástrojů pro kontrolu bezpečnosti kódu v programovacím jazyce C++.

Účelem tohoto nástroje je zkontrolovat zranitelnosti v kódu programu pro zabezpečení dat a soukromí. Test je navržen tak, aby pomohl vývojářům analyzovat bezpečnost jejich programování.

Za tímto účelem analyzuje kód a stanoví korelace mezi určitými proměnnými, funkcemi a symboly tabulek. To může vygenerovat varování o možnosti vytvoření bezpečného programu. Kromě toho kontroluje platnost vztahu mezi proměnnými a identifikuje případy, kdy lze informace v jedné proměnné extrahovat z jiné.

Chcete-li projít testem libman, musíte napsat funkci (nebo blok funkcí), která vrací adresu lokální proměnné x ve funkci fxxf(x). Například soubor záhlaví by měl odpovídat následujícímu vzoru:

Připojte soubor LIBMAN.CPP. zahrnout //Záhlaví soubor libmanPROB nebo lmp LMP_ASSERT_MSG