@inproceedings{71b818d020344eee9e975f7a4aa69dab,
title = "Static detection method for C/C++ memory defects based on triad memory model",
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.",
keywords = "Inner and Inter-procedure detection, Life cycle, Memory defects, Memory model",
author = "Yuxia Wang and Fusheng Jin and Xiangyu Han and Runan Wang",
note = "Publisher Copyright: {\textcopyright} Springer Nature Singapore Pte Ltd. 2018.; 5th International Conference on Geo-Spatial Knowledge and Intelligence, GSKI 2017 ; Conference date: 08-12-2017 Through 10-12-2017",
year = "2018",
doi = "10.1007/978-981-13-0896-3_7",
language = "English",
isbn = "9789811308956",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "69--78",
editor = "Hanning Yuan and Jing Geng and Chuanlu Liu and Tisinee Surapunt and Fuling Bian",
booktitle = "Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Revised Selected Papers",
address = "Germany",
}