c++ - 自定义检查器的 Coverity 参考函数输入

Question

在编写自定义检查器时，是否有一种简单的方法可以获取函数的一般参数（指针、数组、整数）并获取支持表达式的值？如，我匹配一个函数，例如：

Pointer p;

Integer i;

CallSite f("func");

if(MATCH( f(p,i) ))
   //get function arguments

有没有一种简单的方法来获取支持 p 和 i 的值？谢谢。

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

Answer 1

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

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

如果您传递的是文字值或常量，则例外。