Static Detection Method for C/C++ Memory Defects Based on Triad Memory Model
作者： Yuxia Wang , Fusheng Jin , Xiangyu Han , Runan Wang
DOI: 10.1007/978-981-13-0896-3_7
关键词:
摘要: The improper use of pointers in C/C++ programming language brings about a lot memory-related issues. In this paper, causes four kinds memory defects are analyzed and summarized. Besides, novel triad model has been proposed. Based on the variable life cycle methodology, an approach for inner-procedure inter-procedure detection presented too. Eventually, prototype CAnalyzer is implemented basis Clang static analyzer. Experiment results show that can effectively detect types defects.
springer.com
sci-hub.st 参考文章(10)
Zhongxing Xu, Ted Kremenek, Jian Zhang, None, A memory model for static analysis of C programs leveraging applications of formal methods. pp. 535- 548 ,(2010) , 10.1007/978-3-642-16558-0_44
Sigmund Cherem, Lonnie Princehouse, Radu Rugina, Practical memory leak detection using guarded value-flow analysis Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07. ,vol. 42, pp. 480- 491 ,(2007) , 10.1145/1250734.1250789
Yulei Sui, Ding Ye, Jingling Xue, Static memory leak detection using full-sparse value-flow analysis Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012. pp. 254- 264 ,(2012) , 10.1145/2338965.2336784
Yungbum Jung, Kwangkeun Yi, Practical memory leak detector based on parameterized procedural summaries Proceedings of the 7th international symposium on Memory management - ISMM '08. pp. 131- 140 ,(2008) , 10.1145/1375634.1375653
Zhenbo Xu, Jian Zhang, Zhongxing Xu, Melton: a practical and precise memory leak detection tool for C programs Frontiers of Computer Science. ,vol. 9, pp. 34- 54 ,(2015) , 10.1007/S11704-014-3460-8
Yichen Xie, Alex Aiken, Context- and path-sensitive memory leak detection foundations of software engineering. ,vol. 30, pp. 115- 125 ,(2005) , 10.1145/1081706.1081728
Shahid Alam, Zhengyang Qu, Ryan Riley, Yan Chen, Vaibhav Rastogi, DroidNative: Automating and optimizing detection of Android native code malware variants Computers & Security. ,vol. 65, pp. 230- 246 ,(2017) , 10.1016/J.COSE.2016.11.011
Sigmund Cherem, Lonnie Princehouse, Radu Rugina, Practical memory leak detection using guarded value-flow analysis Sigplan Notices. ,(2007) , 10.1145/1273442.1250789
Yichen Xie, Alex Aiken, Context- and path-sensitive memory leak detection ACM SIGSOFT Software Engineering Notes. ,vol. 30, pp. 115- 125 ,(2005) , 10.1145/1095430.1081728
Zhang, Xu, Zhongxing, Jian, Zhenbo, Melton： a practical and precise memory leak detection tool for C programs 中国计算机科学前沿：英文版. pp. 34- 54 ,(2015)