- 专利标题： 基于函数逻辑的程序切片方法和计算机可读存储介质
-
申请号： CN201910099836.4申请日： 2019-01-31
-
公开(公告)号： CN109885292B公开(公告)日： 2022-04-15
- 发明人: 刘伟 , 黄河 , 孙浩 , 李智 , 李杰 , 严亚伟 , 张志斌 , 王永亮 , 伊文敏 , 宋晓宇 , 杜英鹏
- 申请人： 中国人民解放军61660部队
- 申请人地址： 北京市海淀区半壁街南路2号院
- 专利权人： 中国人民解放军61660部队
- 当前专利权人： 中国人民解放军61660部队
- 当前专利权人地址： 北京市海淀区半壁街南路2号院
- 代理机构： 北京瑞思知识产权代理事务所
- 代理商 党建华
- 主分类号： G06F8/30
- IPC分类号： G06F8/30 ; G06F8/41
摘要：
本发明提供了一种基于函数逻辑的程序切片方法和计算机可读存储介质。其中，该方法包括：通过语义分析和/或代码关联，识别汇编代码程序的代码区和非代码区；通过在代码区中查找子程序的返回指令RET和临近函数入口代码，确定函数的起始地址和终点地址；建立函数的特征索引，特征索引包括函数的起始地址和终点地址。通过本发明，解决了相关技术中程序切片方法未包含程序全部可执行路径的问题，实现了程序切片对程序的全部可执行路径的覆盖。
公开/授权文献
- CN109885292A 基于函数逻辑的程序切片方法和计算机可读存储介质 公开/授权日：2019-06-14
