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 |
| From_compute | Module implementing the computation of functional dependencies |
| From_parameters | |
| 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. |
M | |
| Make [From_compute] | Functor computing the functional dependencies, according to the three modules above. |
| Memory [Function_Froms] | |
S | |
| ShowIndirectDeps [From_parameters] | Option -show-indirect-deps |
V | |
| VerifyAssigns [From_parameters] | Option -from-verify-assigns. |