Clara: a framework for partially evaluating finite-state runtime monitors ahead of time. Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework to statically optimize such monitoring aspects with respect to a given program under test. Clara uses a sequence of increasingly precise static analyses to automatically convert a monitoring aspect into a residual runtime monitor. The residual monitor only watches events triggered by program locations that the analyses failed to prove safe at compile time. In two-thirds of the cases in our experiments, the static analysis succeeds on all locations, proving that the program fulfills the stated properties, and completely obviating the need for runtime monitoring. In the remaining cases, the residual runtime monitor is usually much more efficient than a full monitor, yet still captures all property violations at runtime.
Keywords for this software
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
- Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo: Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (2017)
- Berkovich, Shay; Bonakdarpour, Borzoo; Fischmeister, Sebastian: Runtime verification with minimal intrusion through parallelism (2015)
- Roşu, Grigore; Chen, Feng: Semantics and algorithms for parametric monitoring (2012)
- Falcone, Yliès; Jaber, Mohamad; Nguyen, Thanh-Hung; Bozga, Marius; Bensalem, Saddek: Runtime verification of component-based systems (2011)
- Bodden, Eric; Lam, Patrick; Hendren, Laurie: Clara: a framework for partially evaluating finite-state runtime monitors ahead of time (2010) ioport