-
公开(公告)号：CN112379922B
公开(公告)日：2022-07-05
申请号：CN202011331214.9
申请日：2020-11-24
Applicant: 中国科学院信息工程研究所
Abstract: 本发明提供一种程序比对方法及系统，该方法包括：分别建立目标程序对应的目标函数调用图和待比对程序对应的待比对函数调用图；获取目标函数调用图中的目标锚点和待比对函数调用图中的待比对锚点；获取目标锚点对应的目标边和待比对锚点对应的待比对边，将目标边另一端的函数节点重新作为目标锚点，将待比对边另一端的函数节点重新作为待比对锚点，重复上述过程，直到获取所有的对齐锚点；根据目标函数调用图和待比对函数调用图中的所有对齐锚点，判断目标程序和待比对程序之间是否具有相同的执行逻辑。本发明通过采用程序的函数调用图和神经网络技术来对子图中的边进行嵌入式表示，实现了程序的自动比对。
-
公开(公告)号：CN112379922A
公开(公告)日：2021-02-19
申请号：CN202011331214.9
申请日：2020-11-24
Applicant: 中国科学院信息工程研究所
Abstract: 本发明提供一种程序比对方法及系统，该方法包括：分别建立目标程序对应的目标函数调用图和待比对程序对应的待比对函数调用图；获取目标函数调用图中的目标锚点和待比对函数调用图中的待比对锚点；获取目标锚点对应的目标边和待比对锚点对应的待比对边，将目标边另一端的函数节点重新作为目标锚点，将待比对边另一端的函数节点重新作为待比对锚点，重复上述过程，直到获取所有的对齐锚点；根据目标函数调用图和待比对函数调用图中的所有对齐锚点，判断目标程序和待比对程序之间是否具有相同的执行逻辑。本发明通过采用程序的函数调用图和神经网络技术来对子图中的边进行嵌入式表示，实现了程序的自动比对。
-
Search Results
2
records
(took 0.037 seconds)
