Static detection method for C/C++ memory defects based on triad memory model

Yuxia Wang, Fusheng Jin*, Xiangyu Han, Runan Wang

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The improper use of pointers in C/C++ programming language brings about a lot of memory-related issues. In this paper, causes of four kinds of memory defects are analyzed and summarized. Besides, a novel triad memory model has been proposed. Based on the model and the variable life cycle methodology, an approach for inner-procedure and inter-procedure detection has been presented too. Eventually, the prototype CAnalyzer is implemented on the basis of Clang static analyzer. Experiment results show that CAnalyzer can effectively detect the four types of memory defects.

Original languageEnglish
Title of host publicationGeo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Revised Selected Papers
EditorsHanning Yuan, Jing Geng, Chuanlu Liu, Tisinee Surapunt, Fuling Bian
PublisherSpringer Verlag
Pages69-78
Number of pages10
ISBN (Print)9789811308956
DOIs
Publication statusPublished - 2018
Event5th International Conference on Geo-Spatial Knowledge and Intelligence, GSKI 2017 - Chiang Mai, Thailand
Duration: 8 Dec 201710 Dec 2017

Publication series

NameCommunications in Computer and Information Science
Volume849
ISSN (Print)1865-0929

Conference

Conference5th International Conference on Geo-Spatial Knowledge and Intelligence, GSKI 2017
Country/TerritoryThailand
CityChiang Mai
Period8/12/1710/12/17

Keywords

  • Inner and Inter-procedure detection
  • Life cycle
  • Memory defects
  • Memory model

Fingerprint

Dive into the research topics of 'Static detection method for C/C++ memory defects based on triad memory model'. Together they form a unique fingerprint.

Cite this