C | |
| Callwise |
Computation of callwise functional dependencies.
|
D | |
| Deps [Function_Froms] | |
| DepsOrUnassigned [Function_Froms] | |
F | |
| ForceCallDeps [From_parameters] |
Option -calldeps.
|
| ForceDeps [From_parameters] |
Option -deps
|
| From |
No function is directly exported: they are registered in
Db.From.
|
| From_compute |
Module implementing the computation of functional dependencies
|
| 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.
|
| Function_Froms |
Datastructures and common operations for the results of the From plugin.
|
| 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.
|
| MemDeps [From_parameters] |
Option -experimental-mem-deps
|
| Mem_dependencies | |
| Memory [Function_Froms] | |
P | |
| PathDeps [From_parameters] |
Option -experimental-path-deps
|
| Path_dependencies | |
S | |
| ShowIndirectDeps [From_parameters] |
Option -show-indirect-deps
|
V | |
| VerifyAssigns [From_parameters] |
Option -from-verify-assigns.
|