例えば、下記の式だと変数aが影響を及ぼす変数として変数b, cを示してくれるツールです。
b = a;
c = b;
また、2つの変数を選ぶとその変数間で値が伝播する順番を示してくれる機能があればなお良いです。
上の例だと、変数a, cを選ぶと
b = a;①
c = b;②
という風に関係する式に番号を振ってくれるような機能です。
以上よろしくお願いします。
適切な回答には最大500ポイント差し上げます。
直接伝播を教えてくれるわけではありませんが、
伝播を解析してバグを検出してくれるツールに coverityがあります:
http://www.atmarkit.co.jp/ad/coverity/coverity0704/coverity.html
参考になれば幸いです。
コメント(0件)