基于数据流追溯的空指针引用挖掘系统

摘要：

空指针异常引用是系统运行过程中的一种常见问题,该问题会引起程序崩溃或者异常退出,同时攻击者也可以利用空指针解引用来完成任意读写操作,导致信息泄露.Java作为一种广泛使用的语言,也存在空指针引用问题,主要原因是对引用变量的指向检查不足.文章提出一种基于数据流追溯的空指针引用检测系统,并设计了静态分析工具jvd.该工具通过特化追踪空指针在容器中的传播,使得空指针变量不会在容器中传播丢失,在中间语言Jimple层面上完成检测并覆盖多种空指针容器传播场景,有效降低复杂场景下的漏报率.在Juliet Test Suite的CWE476号测试集上,将文章所设计的jvd与SpotBugs、Infer等工具进行对比实验.实验结果表明,jvd能够在多种空指针传播场景下使用,在高精度场景下能够取得比其他工具更好的效果.

关键词：数据流分析、空指针解引用、Jimple、容器传播

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金61872011

在线出版日期：2022-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：40-45