Abstract
In software development, to detect the presence of defects in the software as soon as possible, would greatly reduce the extent of losses arising. In this paper, focus on the memory-use error in C++ program, designed and implemented a memory check tools named ShadowCheck, based on dynamic binary instrumentation platform, which is platform-cross, efficiency and accuracy. In this paper, introduced dynamic binary instrumentation platform and the memory layout of Linux first, then explained how the ShadowCheck works, at last, summarized the efficiency and accuracy of ShadowCheck.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ball T, Rajamani S K. The SLAM project: debugging system software via static analysis[C]// 2002:1-3.
Hurty W C. Dynamic analysis of structural systems using component modes[J]. Aiaa Journal, 2012, 3(4):678-685.
Turkboylari M. Implementation of a secure computing environment by using a secure bootloader, shadow memory, and protected memory: US, US 7313705 B2[P]. 2007.
Lyu Y H, Hong D Y, Wu T Y, et al. DBILL: An Efficient and Retargetable Dynamic Binary Instrumentation Framework using LLVM Backend[J]. Acm Sigplan Notices, 2014, 49(7):141-152.
Nethercote N, Seward J. Valgrind: a framework for heavyweight dynamic binary instrumentation[J]. Acm Sigplan Notices, 2015, 42(6):89-100.
Luk C K, Cohn R, Muth R, et al. 9 8 Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation[C]// ACM Sigplan 2005 Conference on Programming Language Design and Implementation, Chicago, Il, Usa, June. 2005:190-200.
Pettersson T. Cryptographic key recovery from Linux memory dumps[C]// Chaos Communication Camp. 2007.
He Y, Shu H, Xiong X. Protocol Reverse Engineering Based on DynamoRIO[C]// International Conference on Information and Multimedia Technology. IEEE Computer Society, 2009:L1191-L1194.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Zhao, J., He, L., He, B. (2017). C++ Memory Check tool based on Dynamic Binary Instrumentation Platform. In: Barolli, L., Xhafa, F., Yim, K. (eds) Advances on Broad-Band Wireless Computing, Communication and Applications. BWCCA 2016. Lecture Notes on Data Engineering and Communications Technologies, vol 2. Springer, Cham. https://doi.org/10.1007/978-3-319-49106-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-49106-6_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-49105-9
Online ISBN: 978-3-319-49106-6
eBook Packages: EngineeringEngineering (R0)