@inproceedings{5bcf04a80815447eadb094cf71afa5e4,
title = "A dynamic detection method to C/C++ programs memory vulnerabilities based on pointer analysis",
abstract = "Aiming at the problem of higher memory consumption and lower execution efficiency during the dynamic detecting to C/C++ programs memory vulnerabilities, this paper presents a dynamic detection method called ISC. The ISC improves the Safe-C using pointer analysis technology. Firstly, the ISC defines a simple and efficient fat pointer representation instead of the safe pointer in the Safe-C. Furthermore, the ISC uses the unification-based analysis algorithm with one level flow static pointer. This identification reduces the number of pointers that need to be converted to fat pointers. Then in the process of program running, the ISC detects memory vulnerabilities through constantly inspecting the attributes of fat pointers. Experimental results indicate that the ISC could detect memory vulnerabilities such as buffer overflows and dangling pointers. Comparing with the Safe-C, the ISC dramatically reduces the memory consumption and lightly improves the execution efficiency.",
keywords = "dynamic detecting, fat pointer, improved Safe-C, memory vulnerability, pointer analysis",
author = "Rui Ma and Lingkui Chen and Changzhen Hu and Jingfeng Xue and Xiaolin Zhao",
year = "2013",
doi = "10.1109/DASC.2013.37",
language = "English",
isbn = "9781479933815",
series = "Proceedings - 2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing, DASC 2013",
publisher = "IEEE Computer Society",
pages = "52--57",
booktitle = "Proceedings - 2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing, DASC 2013",
address = "United States",
note = "11th IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2013 ; Conference date: 21-12-2013 Through 22-12-2013",
}