一种基于数据流传播分析的Java空指针引用检测方法及系统
公开
摘要
本发明公开了一种基于数据流传播分析的Java空指针引用检测方法及系统，通过将Java应用程序的Jar包转化为Jimple类型的中间表示，抽取代码中的调用信息、指向信息等构建调用流图，通过调用流图结合传递规则分析得到引用安全性。本发明通过数据流的传播分析相比静态自然语义分析有着更好的检出率，尤其对于同一函数内产生的空指针引用，提高了检出率同时显著地降低了误报率。同时本发明的方法及系统相比其他工具包含了对系统调用函数以及私有函数两种的引用方式的检出支持，大幅度增加了空指针检出的覆盖率。
基本信息
专利标题 ：
一种基于数据流传播分析的Java空指针引用检测方法及系统
专利标题（英）：
暂无
公开（公告）号 ：
CN114595148A
申请号 ：
CN202210202341.1
公开（公告）日 ：
2022-06-07
申请日 ：
2022-03-02
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
文伟平刘成杰时林
申请人 ：
北京大学
申请人地址 ：
北京市海淀区颐和园路5号
代理机构 ：
北京万象新悦知识产权代理有限公司
代理人 ：
李稚婷
优先权 ：
CN202210202341.1
主分类号 ：
G06F11/36
IPC分类号 ：
G06F11/36 G06F8/74
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F11/00
错误检测；错误校正；监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-06-07 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
