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