在控制流图的路径中搜索

Question

很多时候，我在函数 foo 中进行打印时遇到问题，并且我想在代码中查找所有出现 Print 的情况，这些代码可从函数的控制流图中访问foo。或者在 foo 和 bar 之间的路径中的所有代码中（因为我在调用 foo 之前验证了假设为 true，在调用 foo 后为 false） bar，所以我想知道中间发生了什么）。

有没有任何工具可以让我轻松做到这一点。我不会使用 CIL 编译所有 C 代码，并编写一个 OCaml 模块来使用CFG。我想要一些麻烦最少的东西。

Eclipse CDT 应该能够做到这一点（您可以使用 show function hiererchy 计算 CFG），但我在那里没有找到类似的东西。

我现在的目标是 C/C++，但我会很高兴听到类似的工具？我不确定 CQL 有办法表达这一点。