| Callwise | Computation of callwise functional dependencies. |
| 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. |
| Functionwise | Computation of functional dependencies. |
| Function_Froms | Datastructures and common operations for the results of the From plugin. |