Module Domains.Sig

Common signatures of IMP Classical_Domain and of SSA_Domain

Domain signatures

module type Doc = sig ... end

Documentation information used for pretty-printing

module type Classical_Domain = sig ... end

The type for a Classical (IMP) domain.

module type SSA_Domain = sig ... end

This is almost the same as Classical_Domain except that:

module type Graph = sig ... end

Signature for domains that can generate new program graphs

Functor signatures

module type Transformation = sig ... end

Type of abitrary program transformation on top of an abstract domain. They typically override S's apply function

module type SSA_Transformation = sig ... end

Type of abitrary program transformation on top of an SSA abstract domain. They typically override S's assume function