基于函数逻辑的程序切片方法和计算机可读存储介质
授权
摘要
本发明提供了一种基于函数逻辑的程序切片方法和计算机可读存储介质。其中，该方法包括：通过语义分析和/或代码关联，识别汇编代码程序的代码区和非代码区；通过在代码区中查找子程序的返回指令RET和临近函数入口代码，确定函数的起始地址和终点地址；建立函数的特征索引，特征索引包括函数的起始地址和终点地址。通过本发明，解决了相关技术中程序切片方法未包含程序全部可执行路径的问题，实现了程序切片对程序的全部可执行路径的覆盖。
基本信息
专利标题 ：
基于函数逻辑的程序切片方法和计算机可读存储介质
专利标题（英）：
暂无
公开（公告）号 ：
CN109885292A
申请号 ：
CN201910099836.4
公开（公告）日 ：
2019-06-14
申请日 ：
2019-01-31
授权号 ：
CN109885292B
授权日 ：
2022-04-15
发明人 ：
刘伟黄河孙浩李智李杰严亚伟张志斌王永亮伊文敏宋晓宇杜英鹏
申请人 ：
中国人民解放军61660部队
申请人地址 ：
北京市海淀区半壁街南路2号院
代理机构 ：
北京瑞思知识产权代理事务所(普通合伙)
代理人 ：
党建华
优先权 ：
CN201910099836.4
主分类号 ：
G06F8/30
IPC分类号 ：
G06F8/30 G06F8/41
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F8/00
软件工程设计
G06F8/30
创建或生成源代码
法律状态
2022-04-15 ：
授权
2019-07-09 ：
实质审查的生效
IPC(主分类) : G06F 8/30
申请日 : 20190131
申请日 : 20190131
2019-06-14 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
