多くの場合、 function での印刷に問題があり、 functionからの制御フロー グラフで到達可能な in コードfooのすべての出現を探したいと考えています。または、との間のパス内のすべてのコードで( を呼び出す前は仮定が trueであり、 に到達した後は false であることを確認したため、その間で何が起こっているかを調べたいと思います)。Printfoofoobarfoobar
それを簡単にできるツールはありますか。すべての C コードをCILでコンパイルして、CFG で検索を行う OCaml モジュールを作成するつもりはありません。最小限の手間で動作するものが欲しい。
Eclipse CDT はそれを実行できるはずですが (CFG は で計算できますshow function hiererchy)、似たようなものは見つかりませんでした。
私は現在 C/C++ をターゲットにしていますが、同様のツールについて教えていただければ幸いです。CQLにそれを表現する方法があるかどうかはわかりません。