Index of modules


B
BackwardScope [Datascope]
Bool [Plugin.General_services]

C
Computer [Zones]
Ctx [Zones]

D
Data [Zones]
DataScope [Dpds_gui]
Datascope
The aim here is to select the statements where a data D has the same value then a given starting program point L.
Datatype [Lmap_bitwise.Location_map_bitwise.LOffset]
Datatype [Lmap_bitwise.Location_map_bitwise]
Datatype [Datascope.Sid]
DpdsState [Dpds_gui]
Dpds_gui
kf_stmt_opt is used if we want to ask the lval to the user in a popup

E
EmptyString [Plugin.General_services]
Build a string option initialized to "".

F
False [Plugin.General_services]
Build a boolean option initialized to false.
ForwardScope [Datascope]

G
GenStates [Datascope]
Place to store the dataflow analyses results

I
IndexedVal [Plugin.General_services]
InitSid [Datascope]
A place to map each data to the state of statements that modify it.
Int [Plugin.General_services]
Build an integer option.

L
LM [Datascope.InitSid]
LOffset [Lmap_bitwise.Location_map_bitwise]

M
Make_StmtSetState [Dpds_gui]

P
Pscope [Dpds_gui.Pscope]
Pscope [Dpds_gui]
Pscope_warn [Dpds_gui.Pscope]

R
R [Zones]
R [Datascope]

S
ShowDef [Dpds_gui]
Sid [Datascope]
Statement identifier
SidSet [Datascope]
set of values to store for each data
State [Datascope]
States [Datascope]
StmtStartData [Zones.Computer]
StmtStartData [Datascope.ForwardScope]
StmtStartData [Datascope.BackwardScope]
String [Plugin.General_services]
Build a string option.
StringList [Plugin.General_services]
Should not be used by casual users
StringSet [Plugin.General_services]
Build an option as a set of strings, initialized to the empty set.

T
True [Plugin.General_services]
Build a boolean option initialized to true.

Z
Zero [Plugin.General_services]
Build an integer option initialized to 0.
Zones
Zones [Dpds_gui]