如何解决在控制流程图的路径中搜索
| 很多时候,我在函数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 举报,一经查实,本站将立刻删除。