Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

article · International Journal of Computers and Applications · 2018

Detecting all potential null dereferences based on points-to property sound analysis

Yukun Dong

Cited by 0Abstract and details only

Abstract

Null dereferences are a bane of programming in languages such as C, and static analysis is an effective method to detect them but often due to false negative. This paper proposes a points-to property sound analysis method to detect all potential null dereferences. First, the feature and detection method of null dereference of C programs are introduced. Second, an abstract memory model Region-based Symbolic Three-Valued Logic (RSTVL) is proposed to describe storage states of memory objects. Third, the property sound analysis theory based on abstract interpretation is proposed, which only analyze a single property of a program applies over-approximation strategy. Then, evaluations’ rules of points-to property based on RSTVL are presented, which guarantees the points-to property of a pointer contains the actual points-to property and detect all potential null dereferences. Experiment results of five real projects show that this method could detect all potential null dereferences with acceptable false-positive rates and efficiency.

Cite this paper

APA 7

Dong, Y. (2018). Detecting all potential null dereferences based on points-to property sound analysis. International Journal of Computers and Applications, 42(2), 187–195. https://doi.org/10.1080/1206212x.2018.1476805

MLA 9

Dong, Yukun. “Detecting all potential null dereferences based on points-to property sound analysis.” International Journal of Computers and Applications, vol. 42, no. 2, 2018, pp. 187–95, https://doi.org/10.1080/1206212x.2018.1476805.

Chicago

Dong, Yukun. 2018. “Detecting all potential null dereferences based on points-to property sound analysis.” International Journal of Computers and Applications 42 (2): 187–95. https://doi.org/10.1080/1206212x.2018.1476805.

Harvard

Dong, Y. (2018) ‘Detecting all potential null dereferences based on points-to property sound analysis’, International Journal of Computers and Applications, 42(2), pp. 187–195. Available at: https://doi.org/10.1080/1206212x.2018.1476805.

BibTeX
@article{dong2018detecting,
  title = {{Detecting all potential null dereferences based on points-to property sound analysis}},
  author = {Dong, Yukun},
  journal = {International Journal of Computers and Applications},
  volume = {42},
  number = {2},
  pages = {187--195},
  year = {2018},
  doi = {10.1080/1206212x.2018.1476805}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers