我很多时候在函数foo中打印时遇到问题，我想查找代码中Print的所有出现，这些代码可以在函数{{1}的控制流图中找到}}。或者在foo和foo之间的路径中的所有代码中（因为我在调用bar之前验证了一个假设是正确的，而在我到达foo之后是假的，所以我想要找出两者之间发生的事情。）
是否有任何工具可以让我轻松。我不打算用CIL编译我的所有C代码，并写一个OCaml模块用CFG进行搜索。我希望能以最小的麻烦工作。
Eclipse CDT应该能够做到这一点（您可以使用bar计算CFG），但我没有找到类似的东西。
我现在的目标是C / C ++，但我会很高兴听到类似的工具吗？我不确定CQL是否有办法表达这一点。