公开(公告)号：CN109885292B

公开(公告)日：2022-04-15

申请号：CN201910099836.4

申请日：2019-01-31

申请人： 中国人民解放军61660部队

发明人： 刘伟 ,  黄河 ,  孙浩 ,  李智 ,  李杰 ,  严亚伟 ,  张志斌 ,  王永亮 ,  伊文敏 ,  宋晓宇 ,  杜英鹏

IPC分类号： G06F8/30 ,  G06F8/41

摘要： 本发明提供了一种基于函数逻辑的程序切片方法和计算机可读存储介质。其中，该方法包括：通过语义分析和/或代码关联，识别汇编代码程序的代码区和非代码区；通过在代码区中查找子程序的返回指令RET和临近函数入口代码，确定函数的起始地址和终点地址；建立函数的特征索引，特征索引包括函数的起始地址和终点地址。通过本发明，解决了相关技术中程序切片方法未包含程序全部可执行路径的问题，实现了程序切片对程序的全部可执行路径的覆盖。

公开(公告)号：CN109885292A

公开(公告)日：2019-06-14

申请号：CN201910099836.4

申请日：2019-01-31

申请人： 中国人民解放军61660部队

发明人： 刘伟 ,  黄河 ,  孙浩 ,  李智 ,  李杰 ,  严亚伟 ,  张志斌 ,  王永亮 ,  伊文敏 ,  宋晓宇 ,  杜英鹏

IPC分类号： G06F8/30 ,  G06F8/41

摘要： 本发明提供了一种基于函数逻辑的程序切片方法和计算机可读存储介质。其中，该方法包括：通过语义分析和/或代码关联，识别汇编代码程序的代码区和非代码区；通过在代码区中查找子程序的返回指令RET和临近函数入口代码，确定函数的起始地址和终点地址；建立函数的特征索引，特征索引包括函数的起始地址和终点地址。通过本发明，解决了相关技术中程序切片方法未包含程序全部可执行路径的问题，实现了程序切片对程序的全部可执行路径的覆盖。