Index of modules

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]