This directory contains the implementation of various program
analyses which can be used with CASS (the Curry Analysis Server System),
available in the package cass.
To use an analysis in CASS, it needs to be registered (see the
constant registeredAnalysis in module
CASS.Registry of package cass). The possible
types of analyses to be registered are defined in module
Analysis.Types. The analyses types are parametric w.r.t.
the domain of abstract values. In order to compare values (e.g., to
check whether a fixpoint is reached) or to persistently store analyses
results (to support an incremental modular analysis), the type of
analysis values must be instances of the classes Eq,
Read, Show, and ReadWrite. The
latter class is required to support a compact and faster processing of
data.
Whereas instances of Eq, Read, and
Show can be automatically derived (via a
deriving annotation in the type definition), instances of
ReadWrite can be generated by the tool
curry-rw-data. This tool is available as a Curry package
and can be installed by
> cypm install rw-data-generatorThen, ReadWrite instances of all data types defined in
module Mod can be generated by the command
> curry-rw-data ModThis generates a new module ModRW containing the
instance definitions. To use these in CASS, it is reasonable to put
these instances into the module implementing the analysis. See module
Analysis.Deterministic for an example for this
strucutre.
The ideas behind the construction of various program analyses can be found in this paper:
M. Hanus, F. Skrlac: A Modular and Generic Analysis Server System for Functional Logic Programs, ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM’14), ACM Press, pp. 181-188, 2014