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_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_set [Plugin.GEN_STRING_SET] |
Add each sub-string (separated by " \t *, \t *" regexp)
to the set option.
|
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 [Computation.REF_OUTPUT] |
Reset the reference to its default value.
|
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] |
|
compare [Project.Datatype.S] |
|
compare [Datascope.Sid] |
|
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] |
|
contain_project [Project.Datatype.S] |
|
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] |
|
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] |
|
equal [Lmap_bitwise.Location_map_bitwise.LOffset] |
|
equal [Project.Datatype.S] |
|
equal [Lmap_bitwise.Location_map_bitwise] |
|
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_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 [Plugin.GEN_STRING_SET] |
|
fold_base [Lmap_bitwise.Location_map_bitwise] |
|
forward_data_scope [Datascope] |
|
funcExitData [Zones.Computer] |
|
funcExitData [Datascope.BackwardScope] |
|
G |
get [Zones] |
|
get [Computation.REF_OUTPUT] |
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 [Computation.OPTION_REF_OUTPUT] |
|
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
white space separation.
|
get_val [Plugin.INDEXED_VAL] |
the currently selected value.
|
H |
hash [Project.Datatype.S] |
|
hash [Lmap_bitwise.Location_map_bitwise] |
|
hash [Datascope.Sid] |
|
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 |
id [Datascope.Sid] |
|
incr [Plugin.INT] |
Increment the integer.
|
intersects [Zones.Data] |
|
is_comparable_set [Project.Datatype.S] |
|
is_empty [Lmap_bitwise.Location_map_bitwise.LOffset] |
|
is_empty [Plugin.STRING_SET] |
|
is_included [Lmap_bitwise.Location_map_bitwise] |
|
iter [Zones.Computer.StmtStartData] |
|
iter [Datascope.GenStates] |
|
iter [Plugin.GEN_STRING_SET] |
|
J |
join [Lmap_bitwise.Location_map_bitwise.LOffset] |
|
join [Lmap_bitwise.Location_map_bitwise] |
|
M |
main [Dpds_gui] |
|
map [Computation.OPTION_REF_OUTPUT] |
|
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 [Computation.OPTION_REF_OUTPUT] |
|
mem [Zones.Computer.StmtStartData] |
|
mem [Datascope.GenStates] |
|
memo [Computation.OPTION_REF_OUTPUT] |
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 .
|
P |
physical_hash [Project.Datatype.S] |
|
pretty [Zones.Computer] |
|
pretty [Zones.Ctx] |
|
pretty [Zones.Data] |
|
pretty [Zones] |
|
pretty [Datascope.ForwardScope] |
|
pretty [Datascope.BackwardScope] |
|
pretty [Datascope.GenStates] |
|
pretty [Datascope.State] |
|
pretty [Lmap_bitwise.Location_map_bitwise.LOffset] |
|
pretty [Lmap_bitwise.Location_map_bitwise] |
|
pretty [Datascope.InitSid] |
|
pretty [Datascope.Sid] |
|
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_comparable [Project.Datatype.S] |
Allow to register a specific compare , equal , hash and
physical_hash functions for the datatype.
|
register_modified_zones [Datascope] |
Add to stmt to lmap for all the locations modified by the statement.
|
remove [Plugin.STRING_SET] |
Remove a string from the option.
|
remove_set [Plugin.STRING_SET] |
Remove each sub-string (separated by " \t *, \t *" regexp)
from the option.
|
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 [Computation.REF_OUTPUT] |
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.
|
set_set [Plugin.GEN_STRING_SET] |
Set each sub-string (separated by " \t *, \t *" regexp)
to the set option.
|
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] |
|
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] |
|
V |
var_zone [Zones.Data] |
|
Z |
zones_used_tag [Dpds_gui] |
|