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 dependencies to add to all modified variables.
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
SortCalls [From_register]
StmtStartData [From_compute.Make.Computer]

T
Tbl [Callwise]
Tbl [Functionwise]

V
Value_local [Functionwise]