
This directory contains the implementation of various
program analyses which can be used with CASS
(the Curry Analysis Server System), available by the command

    > curry analyze <options>

A description how to implement and integrate a new analysis is described
in the user manual (section CASS: Implementing Program Analyses).
