A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring

• Published in: ECOOP 2007 – Object-Oriented Programming pp. 525 - 549
• Main Authors: Bodden, Eric, Hendren, Laurie, Lhoták, Ondřej
• Format: Book Chapter
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg
• Series: Lecture Notes in Computer Science
• Subjects: Call Graph; Path Info; Regular Expression; State Machine; Variable Binding

In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to AspectJ, which allows programmers to specify traces via regular expressions with free variables. In this paper we presen...