0

私は Frama-C-Plugin を開発しています。これは、各ステートメントの後に変数の値を出力する必要があります。Frama-C-Gui の [Values] タブで、プログラム全体の分析値と、さまざまな関数呼び出しの後で (関数のパラメーターを使用して) 分析値を確認できます。

ここに画像の説明を入力

私は今、各関数呼び出しの後に値を取得したいと考えています(「すべて」の行ではなく、「メイン」の行です。

スクリーンショットに使用したプログラムは次のとおりです。

void swap (int *a, int *b){
    int tmp = *a;
    *a = *b;
    *b = tmp;
    return;
}
int main (void){
    int a=1;
    int b=2;
    swap (&a, &b);

    a = 3;
    b = 4;
    swap (&a, &b);
}

これは可能ですか？これらの値にアクセスするにはどうすればよいですか?

PS: 関連する質問をしましたが、既に「すべて」の部分 (およびステートメントの前の値) が出力されています。次のリンクを参照してください: Frama-C Plugin development: Getting result of value-analysis

同様の解決策はありますか？

4

1 に答える 1

0

上記の質問の回答を編集したおかげで、次のサイトで解決策を見つけることができます: Frama-C Plugin development: Getting result of value-analysis

于 2016-03-24T09:06:01.127 に答える