Libmann Proba

Libmann Proba

Libman Proba (LIBMAN) è uno degli strumenti più popolari per verificare la sicurezza del codice nel linguaggio di programmazione C++.

Lo scopo dello strumento è verificare la presenza di vulnerabilità nel codice del programma per la sicurezza e la privacy dei dati. Il test è progettato per aiutare gli sviluppatori ad analizzare la sicurezza della loro programmazione.

Per fare ciò, analizza il codice e stabilisce correlazioni tra determinate variabili, funzioni e simboli della tabella. Ciò potrebbe generare un avviso sulla possibilità di creare un programma sicuro. Inoltre, verifica la validità della relazione tra variabili, identificando i casi in cui le informazioni in una variabile possono essere estratte da un'altra.

Per superare il test libman, è necessario scrivere una funzione (o un blocco di funzioni) che restituisca l'indirizzo della variabile locale x nella funzione fxxf(x). Ad esempio, il file di intestazione dovrebbe corrispondere al seguente modello:

Collegare il file LIBMAN.CPP. includere //File di intestazione libmanPROB o lmp LMP_ASSERT_MSG