InterAspect swMATH ID: 13024 Software Authors: Seyster, Justin; Dixit, Ketan; Huang, Xiaowan; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Stoller, Scott D.; Zadok, Erez Description: InterAspect: aspect-oriented instrumentation with GCC. 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. Homepage: http://www.fsl.cs.sunysb.edu/interaspect/ Keywords: program instrumentation; aspect-oriented programming; GCC; monitoring; tracecut Related Software: AspectJ; AspectWerkz; Java-MaC; evt; Valgrind; CIL; Java-MOP; AspectC++ Cited in: 2 Publications Further Publications: http://www.fsl.cs.sunysb.edu/interaspect/publications.html Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year InterAspect: aspect-oriented instrumentation with GCC. Zbl 1284.68153Seyster, Justin; Dixit, Ketan; Huang, Xiaowan; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Stoller, Scott D.; Zadok, Erez 2012 all top 5 Cited by 9 Authors 1 Dixit, Ketan 1 Francalanza, Adrian 1 Grosu, Radu 1 Havelund, Klaus 1 Huang, Xiaowan 1 Seyster, Justin 1 Smolka, Scott A. 1 Stoller, Scott D. 1 Zadok, Erez Cited in 2 Serials 1 Information and Computation 1 Formal Methods in System Design Cited in 1 Field 2 Computer science (68-XX) Citations by Year