Index of modules


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]