CS.DBZ.CONST.CALL
零常量值被传递到函数并且可能作为除数使用
尝试在除法或模运算中使用零作为除数会导致运行时错误。错误处理或争用条件无效时，经常出现除以零的情况，并且通常会导致程序异常终止。在 C# 代码中将值用作除法或模运算的除数之前，必须进行检查以确认值不为零。
DBZ 检查器会查找零常量值用作除法或模运算除数的实例。
CS.DBZ.CONST.CALL 检查器会标记以下情况：零常量值直接传递到函数调用，并且可能在不进行零值检查的情况下用作除法或模运算的除数。
漏洞与风险
整数除以零通常会导致进程失败或异常。运算也可能成功，但会给出错误答案。
缓解与预防
异常处理无效时，经常出现除以零的情况。为避免此漏洞，在将值用作除法或模运算的除数之前，检查该值是否为零。
漏洞代码示例
复制
namespace DBZ
{
class Program
{
static int Test1(int a, int size)
{
return a / size;
}
static void Main(string[] args)
{
int mean = Test1(0, 0);
}
}
}Klocwork 针对第 11 行生成问题报告，这表示通过将参数 2 传递给第 11 行的函数 Test1，值 0 可能会在除以零的情况中使用。
修正代码示例
复制
namespace DBZ
{
class Program
{
static int Test1(int a, int size)
{
if(size ==0)
{
return 0;
}
return a / size;
}
static void Main(string[] args)
{
int mean = Test1(0, 0);
}
}
}漏洞代码示例中的问题已得到修正。在第 9 行检查输入变量 size 是否为零常量值，如果值为零则阻止出现除法运算。