识别C和C ++函数之间的逻辑相似性的工具

一般来说，图灵机的等价性是不可判定的 ，所以没有。

如果你只是谈论控制结构，if / else，代码块，swtich / case，while等，如果你愿意能够接受“gettign一个很好的感觉”，而不是100％accuray ，那么一张图片可能会工作千言万语，你可能会看一个代码流程图程序。

我不会推荐任何东西，因为我不太了解它们（但是一直都想试试，特别是如果是往返的话，可能不容易找到自由的东西，一般来说，你会看到类似的东西… 替代文字http://www.ezprog.com/wp-content/uploads/flowchart.gif

你有什么是头脑？ 对于C和C ++版本都可以，对于逻辑的相似性你可以有一个粗略的感觉。

也许你可以告诉我们更多一点你正在寻找什么？ 帮助我们来帮助你？ 谢谢。

您可以想象一个工具，它在编译器完成初始转换后，将AST的结构与抽象表示形式进行比较，或者在进行一次或多次优化之后进行比较。

这可能会

1. 错过一些真正的匹配（即产生假阴性）
2. 识别一些伪造的匹配（即产生误报）

通过调整，您可以强制第二种情况更为常见。 我不知道如何将它用作vgrep进程的前端。

但是，情况越来越糟糕，因为您已经要求跨语言的实施，而这将会更加困难。 尽管如此，海湾合作委员会使用相同的抽象表示的一切，所以它不是想象中的。

这就是说，我知道没有这样的工具。

我觉得有这样一个工具，叫做汇编列表。