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

13 years 10 months ago

Download www.bodden.de

In runtime monitoring, a programmer speciﬁes 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 present a staged static analysis which speeds up trace matching by reducing the required runtime instrumentation. The ﬁrst stage is a simple analysis that rules out entire tracematches, just based on the names of symbols. In the second stage, a points-to analysis is used, along with a ﬂow-insensitive analysis that eliminates instrumentation points with inconsistent variable bindings. In the third stage the points-to analysis is combined with a ﬂow-sensitive analysis that also takes into consideration the order in which the symbols may execute. To examine the eﬀectiveness of each stage, we experimented with a set of nine tracematches applied to the DaCapo benchmark suite. We found that abo...

Eric Bodden, Laurie J. Hendren, Ondrej Lhotá

Real-time Traffic