Входы справочной функции 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

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

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

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