Up
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
]