工具来确定的相似逻辑的C函数和C++

Question

之间是否有任何Linux/Windows的一种工具，它将使我们能够确定是否在C特定功能的逻辑是一样的，在一个特定的功能C++？

Answer 1

一般来说，图灵机的等价为undecidable，所以没有。

Answer 2

我觉得有这样一个工具，叫做装配上市。

Answer 3

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

我不会推荐任何东西，因为我不太了解它们（但是一直都想尝试它们，特别是如果是往返旅行的话，可能不容易找到一些免费的东西。看到这样的事情...... alt text http://www.ezprog.com/wp-content/uploads/flowchart.gif

是，你有什么想法？难道它C和C++版本中，你可以得到一个粗略的感受逻辑的相似性。

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

Answer 4

你可以想像一个工具，比较STRU在编译器完成初始转换为抽象表示或经过一次或多次优化之后，编译器将执行AST。

这可能

1. 错过一些真正的匹配（即产生假阴性）
2. 找出一些虚假的比赛（即产生误报）

有了调整，你可以强制第二种情况更普遍。我不知道如何将它作为vgrep流程的前端有用。

但它变得更糟，因为你已经要求跨语言实施，并且将使它更难。尽管如此，gcc对所有东西都使用相同的抽象表示，所以它不会超出想象。

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