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