Входы справочной функции Coverity для пользовательской проверки

Question

Есть ли простой способ взять общие аргументы функции (Pointer, Array, Integer) и получить значения, поддерживающие выражение, при написании пользовательской проверки? Например, я сопоставляю такую ​​функцию, как:

Pointer p;

Integer i;

CallSite f("func");

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

Есть ли простой способ получить значения, поддерживающие p и i? Благодарю.

** Язык C++, чтобы сделать пользовательскую проверку

Answer 1

Нет никакого способа получить значение времени выполнения из этих переменных статически.

Возможно, точнее будет сказать, что это выходит за рамки возможностей простой проверки статического анализа.

Исключением будет, если вы передаете буквальное значение или константу.