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] |