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