Libman Proba

Libman Proba

Libman Proba (LIBMAN) é uma das ferramentas mais populares para verificar a segurança do código na linguagem de programação C++.

O objetivo da ferramenta é verificar vulnerabilidades no código do programa para segurança e privacidade dos dados. O teste foi desenvolvido para ajudar os desenvolvedores a analisar a segurança de sua programação.

Para isso, analisa o código e estabelece correlações entre determinadas variáveis, funções e símbolos de tabelas. Isto pode gerar um aviso sobre a possibilidade de criação de um programa seguro. Além disso, verifica a validade da relação entre variáveis, identificando casos em que informações de uma variável podem ser extraídas de outra.

Para passar no teste libman, você deve escrever uma função (ou bloco de funções) que retorne o endereço da variável local x na função fxxf(x). Por exemplo, o arquivo de cabeçalho deve corresponder ao seguinte padrão:

Conecte o arquivo LIBMAN.CPP. incluir //Arquivo de cabeçalho libmanPROB ou lmp LMP_ASSERT_MSG