Index of values


A
add [Zones.Computer.StmtStartData]
add [Zones.Ctx]
add [Datascope.GenStates]
add [Datascope.SidSet]
add [Plugin.GEN_STRING_SET]
Add a string to the string set option.
add [Inthash]
add_annot [Datascope]
add annot to acc if it is not already in.
add_binding [Lmap_bitwise.Location_map_bitwise]
add_choice [Plugin.INDEXED_VAL]
adds a new choice for the option.
add_iset [Lmap_bitwise.Location_map_bitwise.LOffset]
add_item [Dpds_gui]
To add a sensitive/unsensitive menu item to a factory.
add_msg [Dpds_gui]
add_s [Datascope]
add_tag [Dpds_gui]
add_used_stmt [Zones.Computer]
add_zone [Datascope.InitSid]
ask_for_lval [Dpds_gui]

B
backward_data_scope [Datascope]
bottom [Zones.Data]

C
callbacks [Dpds_gui]
cardinal [Datascope.SidSet]
check_asserts [Datascope]
check_stmt_annots [Datascope]
Check if some assertions before s are identical to pred.
clear [Zones.Computer.StmtStartData]
clear [Dpds_gui.DpdCmdSig]
clear [Dpds_gui.Zones]
clear [Dpds_gui.ShowDef]
clear [Dpds_gui.Pscope]
clear [Dpds_gui.DataScope]
clear [State_builder.Ref]
Reset the reference to its default value.
clear [Datascope.GenStates]
clear [Inthash]
collapse [Lmap_bitwise.Location_map_bitwise.LOffset]
combinePredecessors [Datascope.ForwardScope]
combineStmtStartData [Zones.Computer]
combineStmtStartData [Datascope.BackwardScope]
combineSuccessors [Zones.Computer]
combineSuccessors [Datascope.BackwardScope]
compute [Zones]
compute [Dpds_gui.DpdCmdSig]
compute [Dpds_gui.Zones]
compute [Dpds_gui.ShowDef]
compute [Dpds_gui.Pscope]
compute [Dpds_gui.DataScope]
compute [Datascope]
compute the mapping for the function
computeFirstPredecessor [Datascope.ForwardScope]
compute_ctrl_info [Zones]
compute_defs [Zones]
compute_new_data [Zones]
copy [Datascope.ForwardScope]
copy [Inthash]
copy_into [Inthash]
copy_paste [Lmap_bitwise.Location_map_bitwise]
This function takes a function f to be applied to each bit of the read slice.
create [Zones.Ctx]
create [Inthash]

D
debug [Zones.Computer]
debug [Datascope.ForwardScope]
debug [Datascope.BackwardScope]
default [Datascope.SidSet]
default [Datascope.Sid]
defaultall [Datascope.SidSet]
diff [Zones.Data]
doEdge [Datascope.ForwardScope]
doGuard [Datascope.ForwardScope]
doInstr [Zones.Computer]
doInstr [Datascope.ForwardScope]
doInstr [Datascope.BackwardScope]
doStmt [Zones.Computer]
doStmt [Datascope.ForwardScope]
doStmt [Datascope.BackwardScope]

E
empty [Lmap_bitwise.Location_map_bitwise.LOffset]
empty [Lmap_bitwise.Location_map_bitwise]
empty [Datascope.InitSid]
empty [Datascope.SidSet]
empty_tag [Dpds_gui]
equal [Zones.Data]
equal [Datascope.State]
exists [Plugin.GEN_STRING_SET]
Checks if at least one element of the set satisfies the predicate.
exp_zone [Zones.Data]

F
f_check_asserts [Datascope]
filterStmt [Zones.Computer]
filterStmt [Datascope.ForwardScope]
filterStmt [Datascope.BackwardScope]
filter_base [Lmap_bitwise.Location_map_bitwise]
find [Zones.Computer.StmtStartData]
find [Zones.Ctx]
find [Datascope.GenStates]
find [Lmap_bitwise.Location_map_bitwise]
find [Datascope.InitSid]
find [Plugin.STRING_HASHTBL]
find [Inthash]
find_all [Inthash]
find_base [Lmap_bitwise.Location_map_bitwise]
find_intervs [Lmap_bitwise.Location_map_bitwise.LOffset]
find_or_unchanged [Lmap_bitwise.Location_map_bitwise]
find_scope [Datascope]
Do backward and then forward propagations and compute the 3 statement sets : forward only,, forward and backward,, backward only.
fold [Datascope.GenStates]
fold [Lmap_bitwise.Location_map_bitwise.LOffset]
fold [Lmap_bitwise.Location_map_bitwise]
fold f m folds a function f on bindings in m.
fold [Inthash]
fold_base [Lmap_bitwise.Location_map_bitwise]
fold_left [State_builder.List_ref]
forward_data_scope [Datascope]
funcExitData [Zones.Computer]
funcExitData [Datascope.BackwardScope]

G
get [Zones]
get [State_builder.Ref]
Get the referenced value.
get_and_reset_used_stmts [Zones.Computer]
get_annot_opt [Dpds_gui]
get_annot_zone [Datascope]
get_data_scope_at_stmt [Datascope]
Try to find the statement set where data has the same value than before stmt.
get_info [Dpds_gui.DpdCmdSig]
get_info [Dpds_gui.Zones]
get_info [Dpds_gui.ShowDef]
get_info [Dpds_gui.Pscope]
get_info [Dpds_gui.DataScope]
get_kf_stmt_opt [Dpds_gui]
get_lval_opt [Dpds_gui]
kf_stmt_opt is used if we want to ask the lval to the user in a popup
get_lval_zones [Datascope]
get_option [State_builder.Option_ref]
get_possible_values [Plugin.STRING]
What are the acceptable values for this parameter.
get_prop_scope_at_stmt [Datascope]
Return the set of stmts (scope) where annot has the same value than in stmt and add to to_be_removed the annotations that are identical to annot in the statements that are both the scope and that are dominated by stmt.
get_range [Plugin.INT]
What is the possible range of values for this parameter.
get_set [Plugin.GEN_STRING_SET]
Get a string which concatenates each string in the set with a separator.
get_val [Plugin.INDEXED_VAL]
the currently selected value.

H
help [Dpds_gui.DpdCmdSig]
help [Dpds_gui.Zones]
help [Dpds_gui.ShowDef]
help [Dpds_gui.Pscope]
help [Dpds_gui.DataScope]
help [Dpds_gui]
highlighter [Dpds_gui]

I
incr [Plugin.INT]
Increment the integer.
intersects [Zones.Data]
is_empty [Lmap_bitwise.Location_map_bitwise.LOffset]
is_empty [Plugin.GEN_STRING_SET]
Check if the set is empty.
is_included [Lmap_bitwise.Location_map_bitwise]
iter [Zones.Computer.StmtStartData]
iter [State_builder.List_ref]
iter [Datascope.GenStates]
iter [Plugin.GEN_STRING_SET]
Iter on each string in the set.
iter [Inthash]

J
join [Lmap_bitwise.Location_map_bitwise.LOffset]
join [Lmap_bitwise.Location_map_bitwise]

L
length [Zones.Computer.StmtStartData]
length [Datascope.GenStates]
length [Inthash]

M
main [Dpds_gui]
map [State_builder.Option_ref]
map [Lmap_bitwise.Location_map_bitwise.LOffset]
map2 [Lmap_bitwise.Location_map_bitwise]
like for fold, the boolean in bool * y indicates if it is possible that the zone was not modified
map_and_merge [Lmap_bitwise.Location_map_bitwise]
map_and_merge f m1 m2 maps f on values in m1 and add_exact all elements of the mapped m1 to m2
may [State_builder.Option_ref]
mem [Zones.Computer.StmtStartData]
mem [Datascope.GenStates]
mem [Inthash]
memo [State_builder.Option_ref]
Memoization.
memoize [Inthash]
merge [Zones.Data]
merge [Datascope.State]

N
name [Zones.Computer]
name [Datascope.ForwardScope]
name [Datascope.BackwardScope]

O
off [Plugin.BOOL]
Set the boolean to false.
on [Plugin.BOOL]
Set the boolean to true.

P
pretty [Zones.Computer]
pretty [Zones.Ctx]
pretty [Zones.Data]
pretty [Zones]
pretty [Datascope.ForwardScope]
pretty [Datascope.BackwardScope]
pretty [Datascope.GenStates]
pretty [Datascope.State]
pretty [Datascope.InitSid]
pretty_with_type [Lmap_bitwise.Location_map_bitwise.LOffset]
pretty_zone [Dpds_gui]
print_info [Dpds_gui]
process_call [Zones]
process_call_args [Zones]
process_call_res [Zones]
process_froms [Zones]
process_one_call [Zones]

R
register_modified_zones [Datascope]
Add to stmt to lmap for all the locations modified by the statement.
remove [Plugin.GEN_STRING_SET]
Remove a string from the option.
remove [Inthash]
remove_all [Inthash]
replace [Zones.Computer.StmtStartData]
replace [Datascope.GenStates]
replace [Inthash]
reset [Dpds_gui]
rm_asserts [Datascope]
Remove the annotations collected by check_asserts.

S
scope_b_tag [Dpds_gui]
scope_f_tag [Dpds_gui]
scope_fb_tag [Dpds_gui]
scope_p_tag [Dpds_gui]
scope_p_warn_tag [Dpds_gui]
scope_start_tag [Dpds_gui]
selector [Dpds_gui]
set [State_builder.Ref]
Change the referenced value.
set_possible_values [Plugin.STRING]
Set what are the acceptable values for this parameter.
set_range [Plugin.INT]
Set what is the possible range of values for this parameter.
show_def_tag [Dpds_gui]
single [Datascope.SidSet]
states [Datascope.GenStates]
stmt_can_reach [Datascope.ForwardScope]

T
tag [Lmap_bitwise.Location_map_bitwise.LOffset]
tag_annot [Dpds_gui.Pscope]
tag_stmt [Dpds_gui.DpdCmdSig]
tag_stmt [Dpds_gui.Zones]
tag_stmt [Dpds_gui.ShowDef]
tag_stmt [Dpds_gui.Pscope]
tag_stmt [Dpds_gui.DataScope]
test_and_merge [Datascope.State]
test_and_merge [Datascope.InitSid]
to_list [Datascope.SidSet]
tolist [Inthash]
transfer [Datascope.State]

U
uninitialize_locals [Lmap_bitwise.Location_map_bitwise]
binds the given variables to bottom, keeps the other unchanged.
used_stmts [Zones.Computer]

Z
zones_used_tag [Dpds_gui]