Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
InterAspect: aspect-oriented instrumentation with GCC. |
| Συγγραφείς: |
Seyster, Justin, Dixit, Ketan, Huang, Xiaowan, Grosu, Radu, Havelund, Klaus, Smolka, Scott, Stoller, Scott, Zadok, Erez |
| Πηγή: |
Formal Methods in System Design; Dec2012, Vol. 41 Issue 3, p295-320, 26p |
| Θεματικοί όροι: |
Compilers (Computer programs), Plug-ins (Computer programs), Aspect-oriented programming, Run time systems (Computer science), Intranets (Computer networks) |
| Περίληψη: |
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. [ABSTRACT FROM AUTHOR] |
|
Copyright of Formal Methods in System Design is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Βάση Δεδομένων: |
Complementary Index |