Aspect-Oriented Instrumentation with GCC

被引：0

作者：

Seyster, Justin ^{[1
]}

Dixit, Ketan ^{[1
]}

Huang, Xiaowan ^{[1
]}

Grosu, Radu ^{[1
]}

Havelund, Klaus ^{[2
]}

Smolka, Scott A. ^{[1
]}

Stoller, Scott D. ^{[1
]}

Zadok, Erez ^{[1
]}

机构：

[1] SUNY Stony Brook, Dept Comp Sci, Stony Brook, NY 11790 USA

[2] California Inst Technol, Jet Prop Lab, Pasadena, CA 91125 USA

来源：

RUNTIME VERIFICATION | 2010年 / 6418卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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. INTERASPECT also supports powerful customized instrumentation, where specific information about each join point in a pointcut, as well as results of static analysis, can be used to customize the inserted instrumentation. We introduce the INTERASPECT API and present several examples that illustrate how it can be applied to useful runtime verification problems.

引用

页码：405 / +

页数：3