D | |
Datascope | The aim here is to select the statements where a data D has the same value then a given starting program point L. |
Datascope [Scope] | |
Defs | Find the statements that defines a given data at a program point, ie. |
Defs [Scope] | Interface for the Scope plugin. |
Dpds_gui | Extension of the Frama-C GUI for the plugin. |
R | |
R [Datascope] | for internal use |
S | |
Scope | |
Z | |
Zones | |
Zones [Scope] |