1. Introduction

MURZ allows to define and execute, on programs written with the MURZ language, any dataflow analysis, very simply and freely. It is user's task to provide very basic information, such as the data structure used as carrier, the direction, the trasf function ² and the meet function. The highly general MURZ analysis algorithm will be suitably adapted to the specific problem.

Analyses are described as ocaml modules. At the moment, user must modify Makefile and main.ml, in order to add new analyses, but we will soon solve this little problem.

Every analysis is structured in different part:

• MURZ support modules are loaded;
• analysis support (data structures) is defined;
• meet and trasf functions are defined;
• printing function is defined;
• analysis is defined, from the support just described;
• analysis module is inserted into MURZ.

We will use, as a running example, the live variable analysis, that will be implemented as the module live.ml.

In the rest of this document, a basic knowledge of ocaml will be assumed.