カスタムチェッカーのためのCoverityリファレンス関数の入力

Question

関数の一般的な引数（Pointer、Array、Integer）を取得し、カスタムチェッカーを記述する際に式を支持する値を取得する簡単な方法はありますか？以下のように、私は以下のような機能にマッチ：

Pointer p; 

Integer i; 

CallSite f("func"); 

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

pはバックアップ値と私を得るための簡単な方法はありますか？ありがとう。

**言語は静的にこれらの変数から実行時の値を取得する方法はありませんカスタムチェッカー

Answer 1

を作るためにC++です。

これは、単純な静的解析チェッカーの機能を超えていると言うより正確でしょう。

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