C | |
Conversion [Domain_lift] | |
Conversion [Location_lift] | |
D | |
Domain [Mem_exec2] | |
Domain [Transfer_stmt] | |
E | |
Element [Equality] | |
External [Abstract_domain] |
Final interface of domains, as generated and used by EVA, with generic
accessors for domains.
|
External [Abstract_location] | |
External [Abstract_value] | |
External [Structure] |
External view of the tree, with accessors.
|
I | |
InputDomain [Domain_builder] | |
InputDomain [Domain_store] | |
Interface [Abstract_domain] |
External interface of a domain, with accessors.
|
Internal [Abstract_domain] |
Full implementation of domains.
|
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] |
Extraction of information: queries for values or locations inferred by a
domain about expressions and lvalues.
|
Queries [Evaluation] | |
R | |
Results [Analysis] | |
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 [Analysis] | |
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_Structure [Abstract_domain] |
Structure of a domain.
|
S_with_collections [Equality_sig] | |
Set [Equality_sig] |
Sets of equalities.
|
Shape [Structure] |
A Key module with its structure type.
|
StateSet [Partitioning] | |
Store [Abstract_domain] |
Automatic storage of the states computed during the analysis.
|
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] |