在控制流程图的路径中搜索

问题描述

| 很多时候，我在函数

foo

中遇到打印问题，并且我想查找在代码中从

foo

可以在Control Flow Graph中访问的所有

Print

出现。或在

foo

和

bar

之间的路径中的所有代码中（正如我确认的假设，在调用

foo

之前为true，在到达

bar

之后为false，因此我想知道这之间的情况）。 有什么工具可以让我轻松地做到这一点。我不会用CIL编译我的所有C代码，而是编写OCaml模块来使用CFG进行搜索。我想要一些麻烦最少的东西。 Eclipse CDT应该能够做到这一点（您可以使用

show function hiererchy

计算CFG），但是我在那里没有找到类似的东西。 我现在的目标是C / C ++，但是很高兴听到类似的工具？我不确定CQL是否可以表达这一点。     

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）