Skip to main content
SpringerLink
Log in

C++ Memory Detection Tool Based on Dynamic Instrumentation

  • Conference paper
  • First Online:
Advances in Internet, Data & Web Technologies (EIDWT 2018)

Part of the book series: Lecture Notes on Data Engineering and Communications Technologies ((LNDECT,volume 17))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis, pp. 1–3 (2002)

    Google Scholar 

  2. Godefroid, P., Levin, M., Molnar, D.: Active property checking. In: Proceedings of the 8th ACM International Conference on Embedded Software, pp. 19–24 (2008)

    Google Scholar 

  3. Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: Proceedings of PLDI 2007, San Diego, California, USA, June 2007

    Google Scholar 

  4. Turkboylari, M.: Implementation of a secure computing environment by using a secure bootloader, shadow memory, and protected memory: US, US 7313705 B2 (2007)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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

    Google Scholar 

Download references

Acknowledgment

This work was supported by National Natural Science Foundation of China (No. U1536122).

Author information

Authors and Affiliations

  1. School of Cyberspace Security, Beijing University of Posts and Telecommunications, Beijing, China

    Siran Fu, Baojiang Cui, Tao Guo & Xuyan Song

  2. National Engineering Laboratory for Mobile Network, Beijing, China

    Siran Fu, Baojiang Cui & Xuyan Song

Authors
  1. Siran Fu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Baojiang Cui
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tao Guo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Xuyan Song
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Siran Fu .

Editor information

Editors and Affiliations

  1. Department of Information and Communication Engineering, Fukuoka Institute of Technology, Fukuoka-shi, Japan

    Leonard Barolli

  2. Technical University of Catalonia, Barcelona, Spain

    Fatos Xhafa

  3. Department of Computer Science, COMSATS Institute of Information Technology, Islamabad, Pakistan

    Nadeem Javaid

  4. Polytechnic University of Tirana, Tirana, Albania

    Evjola Spaho

  5. Polytechnic University of Tirana, Tirana, Albania

    Vladi Kolici

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation