一种功能相同但源码不同的代码跟踪序列的新对齐方式

本发明提供一种功能相同但源码不同的代码跟踪序列的新对齐方式，属于动态软件分析领域，所述代码跟踪序列对齐方式包括获取代码跟踪序列、对齐尽可能多的序列对、对齐标准输入的序列对并以其为基准扩充对齐，获取代码跟踪序列使用llvm插桩工具，编写插桩程序，获取代码运行中的所有信息，对齐尽可能多的序列对通过使用尼德曼‑翁施算法获得最长的序列对，对齐标准输入的序列对并以其为基准扩充对齐，通过广度优先遍历算法尝试对齐，并使用sentence‑bert，下文简称为SBERT，一种使用了孪生网路的预训练模型模型而不是简单的变量数据改变来进行计算是否对齐，以生成对齐序列，这种方法可以消除掉错误对齐结果，并对齐部分本应对齐但没有对齐的序列对。