next up previous contents
Next: 8. Inserting the new Up: Dataflow analysis with MURZ: Previous: 6. Pretty-printing function

7. Definition of the analysis from the support

Once defined the analysis support, or carrier, as seen above, the user must define the analysis module, very simple task with ocaml:

module LiveAnalisi = Analisi (LiveCarrier)



Diego
2000-05-16