如何确定2个代码片段在功能上是否相同？

Question

鉴于2个代码片段，我想检查它们是否在功能上相似。通过功能相似性，我的意思是当提供相同的输入时它们应该产生相同的输出。 我使用以下命令从给定的代码段中提取功能集：

1. 句法方法：使用基本的NLP技术，如词干分割等。
2. 语义方法：使用AST来规范化代码段，例如：将'for'转换为'while'等。

在形成令牌之后，我使用主题建模算法，如潜在Dirichlet分配，概率潜在语义索引等，以查找给定代码片段中的主题并将其与其他代码片段的主题相匹配。虽然我知道这是一个难题，但这种方法的准确性远远低于我的预期。

如果能够获得更有效的更好算法/技术的任何指示/想法，那就太棒了。

编辑：我不期待采用通用方法。任何能够以一定精度给出近似结果的方法都可以。