c++ - カスタム チェッカー用の Coverity リファレンス関数の入力

Question

カスタム チェッカーを作成するときに、関数 (ポインター、配列、整数) の一般的な引数を取得し、式を裏付ける値を取得する簡単な方法はありますか? のように、次のような関数と照合します。

Pointer p;

Integer i;

CallSite f("func");

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

p と i を裏付ける値を取得する簡単な方法はありますか? ありがとう。

**言語は、カスタム チェッカーを作成するための C++ です。

Answer 1

これらの変数からランタイム値を静的に取得する方法はありません。

これは単純な静的解析チェッカーの範囲を超えていると言った方が正確かもしれません。

例外は、リテラル値または定数を渡す場合です。