From plugin


Directory plugins

Section From (in plugins/from)


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.

Section Value_types (in plugins/value_types)


Function_Froms
Datastructures and common operations for the results of the From plugin.