Skip to main content

CppIns: A Source Query Language for Instrumentation

  • Conference paper
Trustworthy Computing and Services (ISCTCS 2012)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 320))

Included in the following conference series:

  • 3139 Accesses

Abstract

Source instrumentation is one of the most common tasks used in software testing and dynamic program analysis. However, instrumentation fragments containing contextual information are scattered in source code and hard to be maintained. To generate and manager instrumentation codes, we divide the source instrumentation task into two parts, searching the instrumentation points where code fragments should be planted and generating the code fragments according to the contextual variables. Following such idea, we present a query-based method locating points where codes to be planted and collecting contextual information so that generated codes could contain variables around the points. The CppIns language provided by our method is aimed to specify instrumentation rules for C++ source, which is constructed following a SQL-like style and easily understood. We evaluate the method in terms of the reduced complexity of query specifications with several common instrumentation tasks.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. CDT project website, http://www.eclipse.org/cdt/

  2. AspectJ project website, http://eclipse.org/aspectj/

  3. BCEL(Byte-Code Engineering Library) website, http://jakarta.apache.org/bcel/

  4. Luk, C.-K., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V.J., Hazelwood, K.: Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation. In: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2005), pp. 190–200 (2005)

    Google Scholar 

  5. Beyer, D., Lewerentz, C.: CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. In: Proceedings of the 11 th IEEE International Workshop on Program Comprehension (IWPC 2003), pp. 807–810. ACM, New York (2003)

    Google Scholar 

  6. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented Programming. In: Aksit, M., Auletta, V. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  7. Nethecote, N., Seward, U.: Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. In: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2007), pp. 89–100 (2007)

    Google Scholar 

  8. Du Bois, B., Van Rompaey, B., Meijfroidt, K., Suijs, E.: Supporting reengineering scenarios with FETCH: an experience report. In: Proc. of the 3rd International ERCIM Workshop on Software Evolution, ICSM, Paris, France, pp. 69–82 (October 2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

He, Y., Tao, Y., Zhang, T. (2013). CppIns: A Source Query Language for Instrumentation. In: Yuan, Y., Wu, X., Lu, Y. (eds) Trustworthy Computing and Services. ISCTCS 2012. Communications in Computer and Information Science, vol 320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35795-4_63

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35795-4_63

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35794-7

  • Online ISBN: 978-3-642-35795-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics