用于识别C和C函数之间逻辑相似性的工具
发布时间：2020-12-16 10:17:09 所属栏目：百科 来源：网络整理
导读：在 Linux / Windows中是否有一个工具可以让我们确定C中特定函数的逻辑是否与C中特定函数的逻辑相同？ 解决方法 一般来说,图灵机的等效性是 undecidable,所以没有.
|
在
Linux / Windows中是否有一个工具可以让我们确定C中特定函数的逻辑是否与C中特定函数的逻辑相同？
解决方法
一般来说,图灵机的等效性是
undecidable,所以没有.
（编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |