Libman Proba

Libman Proba

Libman Proba (LIBMAN) es una de las herramientas más populares para comprobar la seguridad del código en el lenguaje de programación C++.

El propósito de la herramienta es verificar vulnerabilidades en el código del programa para la seguridad y privacidad de los datos. La prueba está diseñada para ayudar a los desarrolladores a analizar la seguridad de su programación.

Para ello analiza el código y establece correlaciones entre determinadas variables, funciones y símbolos de tablas. Esto puede generar una advertencia sobre la posibilidad de crear un programa seguro. Además, comprueba la validez de la relación entre variables, identificando casos en los que la información de una variable se puede extraer de otra.

Para pasar la prueba de libman, debe escribir una función (o bloque de funciones) que devuelva la dirección de la variable local x en la función fxxf(x). Por ejemplo, el archivo de encabezado debe coincidir con el siguiente patrón:

Conecte el archivo LIBMAN.CPP. incluir //Archivo de encabezado libmanPROB o lmp LMP_ASSERT_MSG