Index of module types


A
Atom [Equality_term]

C
Conversion [Domain_lift]
Conversion [Location_lift]

D
Domain [Mem_exec2]

E
Element [Equality]
External [Abstract_domain]
External interface of a domain, with accessors.
External [Abstract_location]
External [Abstract_value]
External [Structure]
External view of the tree, with accessors.

I
Internal [Abstract_domain]
Internal implementation of a domain.
Internal [Abstract_location]
Internal [Abstract_value]
Internal [Structure]
Internal view of the tree, with the structure.

K
Key [Structure]
Keys identifying datatypes.

L
Lattice [Abstract_domain]
Lattice structure of a domain.
Logic [Abstract_domain]
Logic evaluation.

P
Partition [Partitioning]

Q
Queries [Abstract_domain]
Queries for values stored by a domain about expressions or locations.

S
S [Equality_sig]
Representation of an equality between a set of elements.
S [Abstract_domain]
Signature for the abstract domains of the analysis.
S [Abstract_location]
Signature of abstract memory locations.
S [Abstract_value]
Signature of abstract numerical values.
S [Abstractions]
Types of the abstractions of the analysis: value, location and state abstractions.
S [Initialization]
S [Transfer_stmt]
S [Transfer_logic]
S [Evaluation]
S [Equality_domain]
S [Apron_domain]
Signature of an Apron domain in EVA.
S_with_collections [Equality_sig]
Set [Equality_sig]
Sets of equalities.
Shape [Structure]
A Key module with its structure type.
StateSet [Partitioning]

T
Transfer [Abstract_domain]
Transfer function of the domain.

V
Valuation [Abstract_domain]
Results of an evaluation: the results of all intermediate calculation (the value of each expression and the location of each lvalue) are cached in a map.
Valuation [Eval]
Results of an evaluation: the results of all intermediate calculation (the value of each expression and the location of each lvalue) are cached in a map.
Value [Abstractions]
Value [Evaluation]