软件安全中基于判断逻辑的空指针引用故障检测

doi:10.3969/j.issn.1671-1122.2015.06.008

信息网络安全 ›› 2015, Vol. 15 ›› Issue (6): 47-54.doi: 10.3969/j.issn.1671-1122.2015.06.008

软件安全中基于判断逻辑的空指针引用故障检测

王锐强, 金大海()

北京邮电大学网络技术研究院,北京100876

收稿日期:2015-03-02 出版日期:2015-06-20 发布日期:2018-07-16
作者简介:
作者简介：王锐强（1987-）,男,陕西,硕士研究生,主要研究方向：计算机科学、软件测试;金大海（1974-）男,辽宁,副教授,博士,主要研究方向：软件测试。
基金资助:
国家自然科学基金[91318301]

Null Pointer Dereference Detect Based on Judgment Logical in Software Security

Rui-qiang WANG, Da-hai JIN()

Institute of Network Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China

Received:2015-03-02 Online:2015-06-20 Published:2018-07-16

摘要/Abstract

摘要：

空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失。文章研究利用静态测试的方法对一类空指针引用故障进行静态检测分析,同时提出一种利用判断逻辑信息进行空指针引用检测的方法。文章首先给出与基于判断逻辑的空指针引用故障相关的一些定义和故障分类。接着,提出使用函数摘要技术提取间接判空点和间接解引用点,定义该函数摘要为函数特征信息和后置约束信息的集合,研究了判断逻辑函数摘要生成和传递的方法。最后,利用有限状态机建立基于判断逻辑的空指针引用故障模型,给出故障模型描述,并利用状态机状态转换和函数摘要完成对此类空指针引用故障的检测。在静态检测工具DTS中实现了文中的方法并且对6个开源Java工程进行了测试,测试结果表明文中方法可以检测出更多的BUG并且同样适用于检测大型软件系统。

关键词: 软件安全, 静态缺陷检测, 空指针引用, 判空信息, 函数摘要

Abstract:

Software security problems caused by null pointer dereference continue to emerge and bring great distress and loss to all aspects. In this paper, we apply static testing method to analyze and detect a kind of null pointer dereference. This paper present a method to detect null pointer dereference using judgment logical information. First, give some definitions and fault classifications about based on logic judgment to detect null pointer dereference fault (BLJDNPDF). Then, using method summary technology to extract indirect null judgment point and indirect pointer dereference point, define method summary’s contents, which contain method feature and post condition, do research on how to generate and transform method summary. Finally, using finite state machine to build model of BLJDNPDF, describe fault model description, and use state machine’s state change and method summary to complete BLJDNPDF detection.

Key words: software security, static analysis, null pointer dereference, null check, method summary

中图分类号:

TP309

王锐强, 金大海. 软件安全中基于判断逻辑的空指针引用故障检测[J]. 信息网络安全, 2015, 15(6): 47-54.

Rui-qiang WANG, Da-hai JIN. Null Pointer Dereference Detect Based on Judgment Logical in Software Security[J]. Netinfo Security, 2015, 15(6): 47-54.

图/表 11

图1

图2

图3

图4

图5

图6

图7

表1

图8

图9

表2

参考文献 15

[1]	宫云战,赵瑞莲,张威,等. 软件测试教程[M]. 北京:机械工业出版社,2008.
[2]	赵云山. 基于符号分析的静态缺陷检测技术研究[D]. 北京:北京邮电大学,2012.
[3]	MANEVICH R, SRIDHARAN M, ADAMS S.PSE: Explaining program failures via postmortem static analysis[C]//In: Proceedings of the 12th ACM SIGSOFT twelfth International Symposium on Foundations of Software Engineering, USA, 2004: 63-72.
[4]	MA X, WANG J, DONG W.Computing must and may alias to detect null pointer dereference[M]. Leveraging Applications of Formal Methods, Verification and Validation, Springer Berlin Heidelberg, 2009.
[5]	XIE Y, AIKEN A.Saturn: A scalable framework for error detection using boolean satisfiability[J]. ACM Transactions on Programming Languages and Systems (TOPLAS), 2007, 29(3): 16.
[6]	MADHAVAN R, KOMONDOOR R.Null dereference verification via over-approximated weakest pre-conditions analysis[C]// Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, USA, 2011: 1033-1052.
[7]	AYEWAH N, PUGH W, MORGENTHALER J D, et al.Using FindBugs on production software[C]//Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, USA, 2007: 805-806.
[8]	张晓,李林,许家乐,等. 基于SMC的Android软件保护研究与实现[J]. 信息网络安全,2014,(11):74-78.
[9]	CIFUENTES C, SCHOLZ B.Parfait: designing a scalable bug checker[C]// Proceedings of the 2008 workshop on Static analysis, USA, 2008: 4-11.
[10]	LOGINOV A, YAHAV E, CHANDRA S, et al.Verifying dereference safety via expanding-scope analysis[C]// Proceedings of the 2008 international symposium on Software testing and analysis, USA, 2008: 213-224.
[11]	YORSH G, YAHAV E, CHANDRA S.Generating precise and concise procedure summaries[C]//POPL, USA, 2008: 221-234.
[12]	GULWANI S, TIWARI A.Computing procedure summaries for interprocedural analysis[C]//16th European Symposium on Programming, ESOP 2007, Portugal, 2007: 253-267.
[13]	SHARIR M, PNUELI A.Two approaches to interprocedural data flow analysis[J]. Program Flow Analysis Theory & Applications Chapter, 1981, 19(6):992-1030.
[14]	FOSDICK L D, OSTERWEIL L J.Data flow analysis in software reliability[J]. ACM Computing Surveys (CSUR), 1976, 8(3): 305-330.
[15]	肖庆. 提高静态缺陷检测精度的关键技术研究[D]. 北京:北京邮电大学,2011.

软件安全中基于判断逻辑的空指针引用故障检测

Null Pointer Dereference Detect Based on Judgment Logical in Software Security

RichHTML

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

图/表 11

参考文献 15

相关文章 13

编辑推荐

Metrics

本文评价

[1]	刘玉岭, 唐云善, 张琦, 李枫. 电力调度自动化软件安全态势评估方法[J]. 信息网络安全, 2019, 19(8): 15-21.
[2]	崔艳鹏, 冯璐铭, 闫峥, 蔺华庆. 基于程序切片技术的云计算软件安全模型研究[J]. 信息网络安全, 2019, 19(7): 31-41.
[3]	史记;曾昭龙;杨从保;李培岳. Fuzzing 测试技术综述[J]. , 2014, 14(3): 0-0.
[4]	. Fuzzing 测试技术综述[J]. , 2014, 14(3): 87-.
[5]	关通, 任馥荔, 文伟平, 张浩. 基于Windows的软件安全典型漏洞利用策略探索与实践[J]. 信息网络安全, 2014, 15(11): 59-65.
[6]	. 基于 Windows 的软件安全典型漏洞利用策略探索与实践[J]. , 2014, 14(11): 59-.
[7]	张志海;郑春一;张红军. 一种面向等级保护的软件安全需求分析方法研究[J]. , 2013, 13(8): 0-0.
[8]	梅瑞;武学礼;文伟平. 基于Android平台的代码保护技术研究[J]. , 2013, 13(7): 0-0.
[9]	范渊;凌霄. Android程序安全检测模型[J]. , 2013, 13(10): 0-0.
[10]	王一岚;郭嵩. 基于静态分析的Java源代码后门检测技术研究[J]. , 2012, 12(7): 0-0.
[11]	江雷;朱建平. 面向等级保护的软件安全需求分析方法研究[J]. , 2011, 11(9): 0-0.
[12]	周勇林. 重大网络安全事件揭示应用软件安全重要性[J]. , 2009, 9(7): 0-0.
[13]	文伟平;吴兴丽;蒋建春. 软件安全漏洞挖掘的研究思路及发展趋势[J]. , 2009, 9(10): 0-0.