Abstract
C++ language has the characteristics of flexible programming, high execution efficiency, but there are also a large number of undefined behavior, which is easy to cause security risks. In this paper, focus on the memory-use error in C++ program, designed and implemented a memory check tools named MemDetect, based on dynamic instrumentation platform, which is platform-cross, efficiency and accuracy. MemDetect can detect memory leaks, cross-border access memory and memory does not match the release problems effectively, the validity and efficiency of MemDetect are proved by comparing with other detection tools.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis, pp. 1–3 (2002)
Godefroid, P., Levin, M., Molnar, D.: Active property checking. In: Proceedings of the 8th ACM International Conference on Embedded Software, pp. 19–24 (2008)
Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: Proceedings of PLDI 2007, San Diego, California, USA, June 2007
Turkboylari, M.: Implementation of a secure computing environment by using a secure bootloader, shadow memory, and protected memory: US, US 7313705 B2 (2007)
Offutt, A.J., Hayes, J.H.: A semantic model of program faults. In: Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM Press, San Diego (2013)
Engler, B.D., Chelf, B., Chou, A., et al.: Checking system rules using system-specific, programmer-written compiler extensions. In: Operating Systems Design and Implementation (2010)
Zeng, Q., Wu, D., Liu, P.: Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures. ACM SIGPLAN Not. 46(6), 367–377 (2011)
Seward, J., Nethercote, N.: Using Valgrind to detect undefined value errors with bit-precision. In: Proceedings of the USENIX 2005 Annual Technical Conference, Anaheim, California, USA, April 2005
Acknowledgment
This work was supported by National Natural Science Foundation of China (No. U1536122).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Fu, S., Cui, B., Guo, T., Song, X. (2018). C++ Memory Detection Tool Based on Dynamic Instrumentation. In: Barolli, L., Xhafa, F., Javaid, N., Spaho, E., Kolici, V. (eds) Advances in Internet, Data & Web Technologies. EIDWT 2018. Lecture Notes on Data Engineering and Communications Technologies, vol 17. Springer, Cham. https://doi.org/10.1007/978-3-319-75928-9_59
Download citation
DOI: https://doi.org/10.1007/978-3-319-75928-9_59
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-75927-2
Online ISBN: 978-3-319-75928-9
eBook Packages: EngineeringEngineering (R0)