Index of values


A
add [State_builder.List_ref]
add [State_builder.Hashtbl]
Add a new binding.
add [Zones.Computer.StmtStartData]
add [Zones.Ctx]
add [Datascope.GenStates]
add [Datascope.StmtSetLattice]
add [Plugin.String_collection]
Add a string to the string set option.
add_annot [Datascope]
add annot to acc if it is not already in.
add_binding [Lmap_bitwise.Location_map_bitwise]
add_callee_nodes [Defs]
add_caller_nodes [Defs]
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.StmtSetLattice]
check_asserts [Datascope]
check_stmt_annots [Datascope]
Check if some assertions before s are identical to pred.
check_value [Dpds_gui]
clear [Dpds_gui.DpdCmdSig]
clear [Dpds_gui.Zones]
clear [Dpds_gui.ShowDef]
clear [Dpds_gui.Pscope]
clear [Dpds_gui.DataScope]
clear [State_builder.Hashtbl]
Clear the table.
clear [Zones.Computer.StmtStartData]
clear [Datascope.GenStates]
collapse [Lmap_bitwise.Location_map_bitwise.LOffset]
combinePredecessors [Datascope.ForwardScope]
combineStmtStartData [Zones.Computer]
combineStmtStartData [Datascope.BackwardScope]
combineSuccessors [Zones.Computer]
combineSuccessors [Datascope.BackwardScope]
compute [Dpds_gui.DpdCmdSig]
compute [Dpds_gui.Zones]
compute [Dpds_gui.ShowDef]
compute [Dpds_gui.Pscope]
compute [Dpds_gui.DataScope]
compute [Defs]
compute [Zones]
compute [Datascope]
compute the mapping for the function
computeFirstPredecessor [Datascope.ForwardScope]
compute_ctrl_info [Zones]
compute_new_data [Zones]
copy [Datascope.ForwardScope]
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]

D
debug [Zones.Computer]
debug [Datascope.ForwardScope]
debug [Datascope.BackwardScope]
debug1 [Defs]
debug1 [Zones]
debug2 [Defs]
debug2 [Zones]
default [Datascope.StmtSetLattice]
default [Datascope.StmtDefault]
defaultall [Datascope.StmtSetLattice]
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.StmtSetLattice]
empty_tag [Dpds_gui]
equal [Zones.Data]
equal [Datascope.State]
exists [Plugin.String_collection]
Checks if at least one element of the set satisfies the predicate.
exp_zone [Zones.Data]

F
f_check_asserts [Datascope]
filetree_decorate [Dpds_gui]
filterStmt [Zones.Computer]
filterStmt [Datascope.ForwardScope]
filterStmt [Datascope.BackwardScope]
filter_base [Lmap_bitwise.Location_map_bitwise]
find [State_builder.Hashtbl]
Return the current binding of the given key.
find [Zones.Computer.StmtStartData]
find [Zones.Ctx]
find [Datascope.GenStates]
find [Lmap_bitwise.Location_map_bitwise]
find [Datascope.InitSid]
find [Plugin.String_hashtbl]
find_all [State_builder.Hashtbl]
Return the list of all data associated with the given key.
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 [State_builder.Hashtbl]
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_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_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.String_collection]
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.String_collection]
Check if the set is empty.
is_included [Lmap_bitwise.Location_map_bitwise]
iter [State_builder.List_ref]
iter [State_builder.Hashtbl]
iter [Zones.Computer.StmtStartData]
iter [Datascope.GenStates]
iter [Plugin.String_collection]
Iter on each string in the set.

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

L
length [State_builder.Hashtbl]
Length of the table.
length [Zones.Computer.StmtStartData]
length [Datascope.GenStates]

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 [State_builder.Hashtbl]
mem [Zones.Computer.StmtStartData]
mem [Datascope.GenStates]
memo [State_builder.Option_ref]
Memoization.
memo [State_builder.Hashtbl]
Memoization.
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.
output [Plugin.WithOutput]
To be used by the plugin to output the results of the option in a controlled way.

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 [State_builder.Hashtbl]
remove [Plugin.String_collection]
Remove a string from the option.
replace [State_builder.Hashtbl]
Add a new binding.
replace [Zones.Computer.StmtStartData]
replace [Datascope.GenStates]
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 [Dpds_gui.Make_StmtSetState]
set_output_dependencies [Plugin.WithOutput]
Set the dependecies for the output of the option.
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.StmtSetLattice]
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.StmtSetLattice]
transfer [Datascope.State]

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

Z
zones_used_tag [Dpds_gui]