一种程序比对方法及系统
基本信息
申请号 | CN202011331214.9 | 申请日 | - |
公开(公告)号 | CN112379922B | 公开(公告)日 | 2022-07-05 |
申请公布号 | CN112379922B | 申请公布日 | 2022-07-05 |
分类号 | G06F8/75(2018.01)I;G06F8/74(2018.01)I;G06K9/62(2022.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I | 分类 | 计算;推算;计数; |
发明人 | 杨灿;刘剑;刘媛;罗梦霞;龚晓锐;刘宝旭 | 申请(专利权)人 | 中国科学院信息工程研究所 |
代理机构 | 北京路浩知识产权代理有限公司 | 代理人 | - |
地址 | 100093北京市海淀区闵庄路甲89号 | ||
法律状态 | - |
摘要
摘要 | 本发明提供一种程序比对方法及系统,该方法包括:分别建立目标程序对应的目标函数调用图和待比对程序对应的待比对函数调用图;获取目标函数调用图中的目标锚点和待比对函数调用图中的待比对锚点;获取目标锚点对应的目标边和待比对锚点对应的待比对边,将目标边另一端的函数节点重新作为目标锚点,将待比对边另一端的函数节点重新作为待比对锚点,重复上述过程,直到获取所有的对齐锚点;根据目标函数调用图和待比对函数调用图中的所有对齐锚点,判断目标程序和待比对程序之间是否具有相同的执行逻辑。本发明通过采用程序的函数调用图和神经网络技术来对子图中的边进行嵌入式表示,实现了程序的自动比对。 |
