P3 — A staged static program analysis to improve the performance of runtime monitoring

Abstract

In this poster we present a staged static analysis which speeds up runtime monitoring based on tracematches, a language extension to the aspect-oriented programming language AspectJ, by reducing the required runtime instrumentation. The first stage is a simple analysis thatrules out entire tracematches, just based on the names of symbols. In the second stage, a points-to analysis is used, along with a flow-insensitive analysis that eliminates instrumentation points with inconsistent variable bindings. In the third stage the points-to analysis is combined with a flow-sensitive analysis that also takes into consideration the order in which the symbols may execute. To examine the effectiveness of each stage, we experimented with a set of nine tracematches applied to the DaCapo benchmark suite.