Publications in Scientific Journals:
J. Seyster, K. Dixit, X. Huang, R. Grosu, K Havelund, S. Smolka, S. Stoller, E. Zadok:
"InterAspect: aspect-oriented instrumentation with GCC";
Formal Methods in System Design,
41
(2012),
3;
295
- 320.
English abstract:
We present the InterAspect instrumentation framework for GCC, a widely used compiler infrastructure. The addition of plug-in support in the latest release of GCC makes it an attractive platform for runtime instrumentation, as GCC plug-ins can directly add instrumentation by transforming the compilerīs intermediate representation. Such transformations, however, require expert knowledge of GCC internals. InterAspect addresses this situation by allowing instrumentation plug-ins to be developed using the familiar vocabulary of Aspect-Oriented Programming: pointcuts, join points, and advice functions. Moreover, InterAspect uses specific information about each join point in a pointcut, possibly including results of static analysis, to support powerful customized instrumentation. We describe the InterAspect API and present several examples that illustrate its practical utility as a runtime-verification platform. We also introduce a tracecut system that uses InterAspect to construct program monitors that are formally specified as regular expressions.
Keywords:
Program instrumentation, Aspect-oriented programming, GCC, Monitoring, Tracecut
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10703-012-0171-3
Created from the Publication Database of the Vienna University of Technology.