自定义检查器的覆盖率引用函数输入

Coverity reference function inputs for a custom checker

本文关键字:引用 函数 输入 覆盖率 检查 自定义      更新时间:2023-10-16

是否有一种简单的方法来获取函数的一般参数(指针,数组,整数)并获得支持表达式的值,当编写自定义检查器时?例如,我匹配如下函数:

Pointer p;
Integer i;
CallSite f("func");
if(MATCH( f(p,i) ))
   //get function arguments

是否有一种简单的方法来获得支持p和i的值?谢谢。

**语言是c++制作自定义检查器

无法静态地从这些变量中获取运行时值。

也许更准确地说,这超出了一个简单的静态分析检查器所能做的范围。