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