Libman Proba

Libman Proba

Libman Proba (LIBMAN) on yksi suosituimmista työkaluista koodin turvallisuuden tarkistamiseen C++-ohjelmointikielellä.

Työkalun tarkoitus on tarkistaa ohjelmakoodin haavoittuvuudet tietoturvan ja yksityisyyden vuoksi. Testi on suunniteltu auttamaan kehittäjiä analysoimaan ohjelmointinsa turvallisuutta.

Tätä varten se analysoi koodin ja määrittää korrelaatiot tiettyjen muuttujien, funktioiden ja taulukkosymbolien välille. Tämä voi antaa varoituksen turvallisen ohjelman luomisen mahdollisuudesta. Lisäksi se tarkistaa muuttujien välisen suhteen oikeellisuuden ja tunnistaa tapaukset, joissa yhden muuttujan tiedot voidaan poimia toisesta.

Jotta voit läpäistä libman-testin, sinun on kirjoitettava funktio (tai funktiolohko), joka palauttaa paikallisen muuttujan x osoitteen funktiossa fxxf(x). Esimerkiksi otsikkotiedoston tulee vastata seuraavaa mallia:

Yhdistä LIBMAN.CPP-tiedosto. sisältää //Otsikkotiedosto libmanPROB tai lmp LMP_ASSERT_MSG