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

概述在 Linux / Windows中是否有一个工具可以让我们确定C中特定函数的逻辑是否与C中特定函数的逻辑相同？ 一般来说,图灵机的等效性是 undecidable,所以没有. @H_404_6@ 在 Linux / windows中是否有一个工具可以让我们确定C中特定函数的逻辑是否与C中特定函数的逻辑相同？解决方法 一般来说,图灵机的等效性是 undecidable,所以没有. 总结

以上是内存溢出为你收集整理的用于识别C和C函数之间逻辑相似性的工具全部内容，希望文章能够帮你解决用于识别C和C函数之间逻辑相似性的工具所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。