InterAspect: aspect-oriented instrumentation with GCC

Authors:
Justin Seyster;Ketan Dixit;Xiaowan Huang;Radu Grosu;Klaus Havelund;Scott A. Smolka;Scott D. Stoller;Erez Zadok
Affiliations:
Department of Computer Science, Stony Brook University, Stony Brook, USA;Department of Computer Science, Stony Brook University, Stony Brook, USA;Department of Computer Science, Stony Brook University, Stony Brook, USA;Department of Computer Science, Stony Brook University, Stony Brook, USA;Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA;Department of Computer Science, Stony Brook University, Stony Brook, USA;Department of Computer Science, Stony Brook University, Stony Brook, USA;Department of Computer Science, Stony Brook University, Stony Brook, USA
Venue:
Formal Methods in System Design
Year:
2012

Citing 17
Cited 0

A metaobject protocol for C++

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Using aspectC to improve the modularity of path-specific customization in operating system code

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Load-Time Structural Reflection in Java

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Implementing protocols via declarative event patterns

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
An expressive aspect language for system applications with Arachne

Proceedings of the 4th international conference on Aspect-oriented software development
abc: an extensible AspectJ compiler

Proceedings of the 4th international conference on Aspect-oriented software development
Adding trace matching with free variables to AspectJ

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The design and implementation of AspectC++

Knowledge-Based Systems
Mop: an efficient and generic runtime verification framework

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Controlled, systematic, and efficient code replacement for running java programs

Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
Racer: effective race detection using aspectj

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
cHALO, stateful aspects in C

Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software
Aspect-oriented instrumentation with GCC

RV'10 Proceedings of the First international conference on Runtime verification
Software monitoring with controllable overhead

International Journal on Software Tools for Technology Transfer (STTT) - Runtime Verification
An overview of the MOP runtime verification framework

International Journal on Software Tools for Technology Transfer (STTT) - Runtime Verification

Quantified Score

Hi-index	0.00

Visualization

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.