文章基本信息

标题：An Approach for Identifying Detecting Objects of Null Dereference
本地全文：下载
作者：Dong, Yukun
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2014
卷号：9
期号：11
页码：2771-2777
DOI：10.4304/jsw.9.11.2771-2777
语种：English
出版社：Academy Publisher
摘要：On account of the complexity of programs, it is difficult to identify all detecting objects of null dereference, which is one of the preconditions of null dereference detection. This paper introduces an approach for identifying all detecting objects of null dereference of C programs. First, based on the relationship of dereference expressions with nodes of abstract syntax tree (AST), we identify referenced pointers; then based on the abstract storage described by region-based three value logic (RSTVL) and function summary, we identify detecting objects of null dereference. In order to validate the adequacy of our approach, five real-world projects are utilized for experimental analysis, and the results show that our approach could identify all detecting objects of null dereference.
关键词：null pointer dereference;defect detection;addressable expression;function summary