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 |