存在多种不同类型的严重代码缺陷,PC-lint Plus 提供了多种检测功能以提高软件质量信心。 通过使用我们的值跟踪数据流分析引擎和 C 和 C++ 标准库的内置函数语义,检测指针安全和内存寿命问题,如缓冲区溢出和免费使用。检查堆栈使用情况并识别递归函数和调用链。查找指示设计不一致的无法访问的代码。
许多著名的软件错误本可以通过明智的静态分析来避免。在开发过程中识别缺陷,而不是等待生产中潜在的灾难性后果。
存在多种不同类型的严重代码缺陷,PC-lint Plus 提供了多种检测功能以提高软件质量信心。 通过使用我们的值跟踪数据流分析引擎和 C 和 C++ 标准库的内置函数语义,检测指针安全和内存寿命问题,如缓冲区溢出和免费使用。检查堆栈使用情况并识别递归函数和调用链。查找指示设计不一致的无法访问的代码。
许多著名的软件错误本可以通过明智的静态分析来避免。在开发过程中识别缺陷,而不是等待生产中潜在的灾难性后果。