Domains.Sig
Common signatures of IMP Classical_Domain
and of SSA_Domain
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
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 Simple_Transformation =
Transformation
with type relation_in = Ast.Program.relation
and type relation_out = Ast.Program.relation
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