A | |
Actor [Wprop] | |
Addr [Mdata] | |
D | |
Data [Mvalues] | |
Declarator [Mdata.S] | |
Declarator [Datalib.Create] | |
Description [CfgProof] | |
E | |
Export [Mwp] | |
Export [Mcfg] | |
H | |
HEsig [Cil2cfg] |
signature of a mapping table from cfg edges to some information.
|
I | |
Identifiable [Mdata.S] | |
Identifiable [Datalib.Create] | |
Indexed [Mdata.S] | |
Indexed [Wprop] | |
Indexed [Datalib.Create] | |
Indexed2 [Wprop] | |
Info [Wprop] | |
M | |
Model [Mvalues] | |
R | |
Registry [Mdata.S] | |
Registry [Datalib.Create] | |
S | |
S [Mwp] | |
S [Mvalues] | |
S [Mlogic] | |
S [Mint] | |
S [Mfloat] | |
S [Mdata] | |
S [Mcfg] |
This is what is really needed to propagate something through the CFG.
|
S [Formula] | |
Splitter [Mcfg] | |
V | |
Values [Mvalues] | |
Vernacular [Formula] | |
W | |
WeiMaoZouChenInput [Cil2cfg] |