Index of modules


C
Callwise
Computation of callwise functional dependencies.
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_From_to_use [Functionwise]
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

R
Recording_To_Do [Functionwise]

S
ShowIndirectDeps [From_parameters]
Option -show-indirect-deps
SortCalls [From_register]

T
Tbl [Callwise]
Tbl [Functionwise]

V
Value_local [Functionwise]

Z
ZoneStmtMap [From_compute]