公开(公告)号：CN107193742B

公开(公告)日：2020-09-04

申请号：CN201710370313.X

申请日：2017-05-23

Applicant: 电子科技大学

Inventor： 王晓斌 ,  屈鸿 ,  汪一文 ,  王留帅 ,  符明晟 ,  杨林川 ,  季江州

IPC: G06F11/36

Abstract: 本发明公开一种基于状态的路径敏感的符号化函数摘要算法，涉及程序分析技术领域，本发明解决了现有技术由于无法实现上下文环境敏感和路径敏感而导致的过程间分析精度低、内存占用过高以及高误报率等技术问题。本发明主要包括构建函数调用图；对函数进行过程内分析；收集函数摘要；应用函数摘要；对函数摘要进行实例化；进行延迟报错。本发明应用于静态分析框架中。

公开(公告)号：CN107193742A

公开(公告)日：2017-09-22

申请号：CN201710370313.X

申请日：2017-05-23

Applicant: 电子科技大学

Inventor： 王晓斌 ,  屈鸿 ,  汪一文 ,  王留帅 ,  符明晟 ,  杨林川 ,  季江州

IPC: G06F11/36

Abstract: 本发明公开一种基于状态的路径敏感的符号化函数摘要算法，涉及程序分析技术领域，本发明解决了现有技术由于无法实现上下文环境敏感和路径敏感而导致的过程间分析精度低、内存占用过高以及高误报率等技术问题。本发明主要包括构建函数调用图；对函数进行过程内分析；收集函数摘要；应用函数摘要；对函数摘要进行实例化；进行延迟报错。本发明应用于静态分析框架中。