C | |
Callwise |
State for the analysis of one function call
|
Computer [From_compute.Make] | |
F | |
ForceCallDeps [From_parameters] |
Option -calldeps.
|
ForceDeps [From_parameters] |
Option -deps
|
From [Functionwise] | |
From_compute |
Additional control dependencies to add to all modified variables,
coming from the control statements encountered so far (If, Switch).
|
From_parameters |
Option -deps
|
From_register |
Registration of the From plugin in Frama-C main loop.
|
From_register_gui |
Extension of the GUI in order to support the from analysis.
|
Functionwise |
Computation of functional dependencies.
|
Functionwise_Memdeps [Mem_dependencies] | |
Functionwise_Pathdeps [Path_dependencies] | |
M | |
Make [From_compute] |
Functor computing the functional dependencies, according to the three
modules above.
|
MapStmtCalls [From_register] | |
MemDeps [From_parameters] |
Option -experimental-mem-deps
|
MemExec [Callwise] | |
Mem_dependencies | |
P | |
PathDeps [From_parameters] |
Option -experimental-path-deps
|
Path_dependencies | |
S | |
ShowIndirectDeps [From_parameters] |
Option -show-indirect-deps
|
SortCalls [From_register] | |
T | |
Tbl [Callwise] | |
Tbl [Functionwise] | |
To_Use [Functionwise] | |
V | |
VerifyAssigns [From_parameters] |
Option -from-verify-assigns.
|
Z | |
ZoneStmtMap [From_compute] |