龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：炫彩互动网络科技有限公司;南京邮电大学
摘要：本发明提供一种功能相同但源码不同的代码跟踪序列的新对齐方式，属于动态软件分析领域，所述代码跟踪序列对齐方式包括获取代码跟踪序列、对齐尽可能多的序列对、对齐标准输入的序列对并以其为基准扩充对齐，获取代码跟踪序列使用llvm插桩工具，编写插桩程序，获取代码运行中的所有信息，对齐尽可能多的序列对通过使用尼德曼‑翁施算法获得最长的序列对，对齐标准输入的序列对并以其为基准扩充对齐，通过广度优先遍历算法尝试对齐，并使用sentence‑bert，下文简称为SBERT，一种使用了孪生网路的预训练模型模型而不是简单的变量数据改变来进行计算是否对齐，以生成对齐序列，这种方法可以消除掉错误对齐结果，并对齐部分本应对齐但没有对齐的序列对。
主权项：1.一种功能相同但源码不同的代码跟踪序列的新对齐方式，其特征在于，所述序列对齐方法包括如下步骤：S1、获取源代码运行过程中的代码跟踪序列；包括每行代码运行的语句类型，变量值以及本行代码的数据依赖和控制依赖；S2、代码序列初步对齐：兼顾精确度与召回率平衡下进行序列的对齐；S3、代码序列优化对齐：通过标准输入的数据依赖和控制依赖添加部分正确对齐和消除部分错误对齐；S4、代码序列确定对齐：对已经对齐的序列对使用SBERT消除错误对齐；S5、代码序列扩充对齐：以已确定对齐序列作为基准，以工作列表worklist算法驱动进行广度优先遍历扩充对齐结果。
全文数据：
权利要求：
百度查询： 炫彩互动网络科技有限公司 南京邮电大学 一种功能相同但源码不同的代码跟踪序列的新对齐方式
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号