可以使用哪种静态分析工具来捕获条件流中的错误？

Question

我一直在检查Wikipedia中的某些静态分析工具。 我正在检查每种工具的功能。

*-自动变量检查

-边界检查数组溢出

-类检查

等*

我真的不确定下面的功能是什么

能够检查条件语句中使用的变量是否已正确分配，以便它可以输入或忽略该语句。

示例1

：

bool flag = false;

if( flag == true){

process1();

}

该工具应该指出第2行是错误的，因为它始终是错误的。

示例2：

bool flag = false;

flag = updateFlag();

if( flag == true){

process1();

}

该工具不应指出任何内容，因为该变量可能会在用作条件之前发生变化。

Answer 1

您可以使用klockwork工具，该工具将告诉您无法访问代码，即无效代码。

查看可在klockwork中启用的休闲检查器。

https://docs.roguewave.com/en/klocwork/2016/candccheckerreference