利布曼·普罗巴

利布曼·普罗巴

Libman Proba (LIBMAN) 是用于检查 C++ 编程语言代码安全性的最流行工具之一。

该工具的目的是检查程序代码中的漏洞，以确保数据安全和隐私。该测试旨在帮助开发人员分析其编程的安全性。

为此，它分析代码并建立某些变量、函数和表符号之间的相关性。这可能会生成有关创建安全程序的可能性的警告。此外，它还检查变量之间关系的有效性，识别可以从另一个变量中提取一个变量中的信息的情况。

要通过 libman 测试，您必须编写一个函数（或函数块）来返回函数 fxxf(x) 中局部变量 x 的地址。例如，头文件应匹配以下模式：

连接 LIBMAN.CPP 文件。包括 //头文件libmanPROB或lmp LMP_ASSERT_MSG