The aim of this chapter is to act as a primer for those wanting to learn about Runtime
Verification (RV). We start by providing an overview of the main specification languages …

You can write a compiler pass extending Soot, as either a BodyTransformer, for a
intraprocedural analysis; or SceneTransformer, for a whole-program analysis. You choose …

Monitoring-Oriented Programming (MOP1)[21, 18, 22, 19] is a formal framework for software
development and analysis, in which the developer specifies desired properties using …

The JastAdd Extensible Java Compiler is a high quality Java compiler that is easy to extend
in order to build static analysis tools for Java, and to extend Java with new language …

Source code querying tools allow programmers to explore relations between different parts
of the code base. This paper describes such a tool, named codeQuest. It combines two …

Many dynamic analysis tools for programs written in managed languages such as Java rely
on bytecode instrumentation. Tool development is often tedious because of the use of low …

We present a runtime verification framework for Java programs. Properties can be specified
in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked …

Most application code evolves incrementally, and especially so when being maintained after
the applications have been deployed. Yet, most data-flow analyses do not take advantage of …

This paper considers the difficulties linked to the static scheduling strategy of AspectJ and
shows how to overcome them by turning to a more dynamic strategy, making it possible to …

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 …