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. |