|
_color_green_yellow [PrintSlice.PrintProject] |
|
_color_pale_orange [PrintSlice.PrintProject] |
|
_color_soft_blue [PrintSlice.PrintProject] |
|
_is_included [SlicingMarks.MarkPair] |
|
_msg_appl_compute_values [Register_gui] |
|
_pretty_node_marks [Fct_slice] |
|
_print_ndm [SlicingActions] |
|
A |
add_change_call_action [Fct_slice] |
Build a new action ChangeCall (if needed)
|
add_fct_ff_filter [SlicingProject] |
|
add_fct_src_filter [SlicingProject] |
Add an action to the action list to filter the function fct_id with
the given criterion.
|
add_filter [SlicingProject] |
|
add_item [Register_gui] |
|
add_marks [Fct_slice] |
quite internal function that only computes the marks.
|
add_marks_to_fi [Fct_slice] |
add the marks to the persistent marks to be used when new slices will be
created.
|
add_missing_inputs_actions [Fct_slice] |
ff marks have just been modified :
check if the calls to ff compute enough inputs,
and create MissingInputs actions if not.
|
add_persistant_marks [SlicingProject] |
Add persistent the marks node_marks in fi and also add the marks
to existing slices if any.
|
add_persistent_cmdline [SlicingCmds] |
Registered as a slicing request function:
Add selections that will be applied to all the slices of the function
(already existing or created later)
Note: the function begins by applying the remaining internal requests., the requests added for the last kernel function are not applied.
|
add_persistent_selection [SlicingCmds] |
Registered as a slicing request function:
Add selections that will be applied to all the slices of the function
(already existing or created later)
Note: the function begins by applying the remaining internal requests., the requests added for the last kernel function are not applied.
|
add_proj_actions [SlicingProject] |
|
add_selection [SlicingCmds] |
Registered as a slicing request function:
Add selections to all concerned slices, as slicing requests and apply them,
kernel function by kernel function.
|
add_to_selection [SlicingCmds] |
|
add_top_mark_to_fi [Fct_slice] |
|
addr [SlicingMarks.Mark] |
|
after_marks_modifications [Fct_slice] |
ff marks have been modified : we have to check if the calls and the
callers are ok.
|
all_nodes_visible [SlicingTransform.Visibility] |
|
annotation_visible [SlicingTransform.Visibility] |
|
apply_action [SlicingProject] |
apply filter and return a list of generated filters
|
apply_add_marks [Fct_slice] |
main function to build or modify a slice.
|
apply_all [SlicingCmds] |
|
apply_all_actions [SlicingProject] |
|
apply_appli_crit [SlicingProject] |
|
apply_change_call [Fct_slice] |
check if f_to_call is ok for this call, and if so,
change the function call and propagate missing marks in the inputs
if needed.
|
apply_choose_call [Fct_slice] |
Choose the function (slice or source) to call according to the
slicing level of the called function.
|
apply_examine_calls [Fct_slice] |
|
apply_fct_action [SlicingProject] |
|
apply_fct_crit [SlicingProject] |
apply the given criterion and returns the list of new criterions to
add to the project worklist.
|
apply_missing_inputs [Fct_slice] |
ff calls a slice g that needs more inputs than those computed by ff .
|
apply_missing_outputs [Fct_slice] |
ff calls a slice g that doesn't compute enough outputs for the call .
|
apply_modif_call_inputs [Fct_slice] |
modif_call_inputs and then, check the calls and the callers
|
apply_next_action [SlicingProject] |
|
B |
blit [String] |
String.blit src srcoff dst dstoff len copies len characters
from string src , starting at character number srcoff , to
string dst , starting at character number dstoff .
|
body_visible [SlicingTransform.Visibility] |
|
bottom [SlicingMarks.Mark] |
|
bottom_mark [SlicingMarks] |
|
build_addr_dpds_selection [SlicingActions] |
Only the control dependencies of the nodes will be marked
|
build_ctrl_dpds_selection [SlicingActions] |
Only the control dependencies of the nodes will be marked
|
build_data_dpds_selection [SlicingActions] |
Only the control dependencies of the nodes will be marked
|
build_dot_project [PrintSlice] |
|
build_node_and_dpds_selection [SlicingActions] |
Build a description to tell how the selected PDG nodes and their
dependencies will have to be marked
(see SlicingTypes.Internals.node_or_dpds ).
|
build_simple_node_selection [SlicingActions] |
Build a description to tell that the associated nodes have to be marked
with the given mark, and than the same one will be propagated through
their dependencies.
|
C |
call_src_and_remove_all_ff [SlicingProject] |
|
called_info [SlicingTransform.Visibility] |
|
capitalize [String] |
Return a copy of the argument, with the first character set to uppercase.
|
change_call [Fct_slice.FctMarks] |
|
change_call [Fct_slice.CallInfo] |
very low level function to change information of a call :
no checks at all (they must have been done before).
|
change_fi_slicing_level [SlicingMacros] |
|
change_slicing_level [SlicingMacros] |
|
check_called_marks [Fct_slice.FctMarks] |
|
check_called_outputs [Fct_slice] |
we are about to call ff for sig_call : let's first add some more output
marks in ff if needed.
|
check_ff_called [Fct_slice] |
ff marks have changed : check if the call to ff_called is still ok.
|
check_outputs [Fct_slice] |
|
check_outputs_before_change_call [Fct_slice] |
When the user wants to make a change_call to a function that doesn't
compute enough outputs, he can call check_outputs_before_change_call in
order to build the action the add those outputs.
|
choose_f_to_call [Fct_slice] |
choose the function to call according to the slicing level of the function
to call
|
choose_precise_slice [Fct_slice] |
choose among the already computed slice if there is a function that computes
just enough outputs (what ever their marks are).
|
clear [State_builder.Ref] |
Reset the reference to its default value.
|
clear [SlicingParameters] |
|
clear_ff [Fct_slice] |
ff has to be removed.
|
color_medium_green [PrintSlice.PrintProject] |
|
color_medium_orange [PrintSlice.PrintProject] |
|
color_medium_pink [PrintSlice.PrintProject] |
|
color_medium_yellow [PrintSlice.PrintProject] |
|
color_soft_green [PrintSlice.PrintProject] |
|
color_soft_orange [PrintSlice.PrintProject] |
|
color_soft_pink [PrintSlice.PrintProject] |
|
color_soft_purple [PrintSlice.PrintProject] |
|
color_soft_yellow [PrintSlice.PrintProject] |
|
combine [SlicingMarks.MarkPair] |
combine ma mb is used to add the mb to the ma .
|
combine [SlicingMarks.Mark] |
|
combine_marks [SlicingMarks] |
combine_marks add a new information to the old value.
|
compare [SlicingMarks.MarkPair] |
|
compare [String] |
|
compare_mark [SlicingInternals] |
|
compare_marks [SlicingMarks] |
|
compare_pdg_mark [SlicingInternals] |
|
concat [String] |
String.concat sep sl concatenates the list of strings sl ,
inserting the separator string sep between each.
|
cond_edge_visible [SlicingTransform.Visibility] |
|
contains [String] |
String.contains s c tests if character c
appears in the string s .
|
contains_from [String] |
String.contains_from s start c tests if character c
appears in s after position start .
|
copy [Datatype.S] |
Deep copy: no possible sharing between x and copy x .
|
copy [String] |
Return a copy of the given string.
|
copy_slice [Fct_slice] |
|
create [String] |
String.create n returns a fresh string of length n .
|
create_slice [SlicingProject] |
Add a new slice for the function.
|
ctrl [SlicingMarks.Mark] |
|
ctrl_visible [SlicingMarks.SigMarks] |
|
D |
data [SlicingMarks.Mark] |
|
data_in_visible [SlicingTransform.Visibility] |
|
data_nodes_visible [SlicingTransform.Visibility] |
|
debug_marked_ff [Fct_slice.FctMarks] |
|
default_edge_attributes [PrintSlice.PrintProject] |
|
default_slice_names [SlicingTransform] |
|
default_vertex_attributes [PrintSlice.PrintProject] |
|
dst [PrintSlice.PrintProject.E] |
|
dummy_fct_info [SlicingInternals] |
|
dummy_fct_slice [SlicingInternals] |
|
dummy_fct_user_crit [SlicingInternals] |
|
dummy_ff_marks [SlicingInternals] |
|
dummy_marks_index [SlicingInternals] |
|
dummy_pdg_mark [SlicingInternals] |
For the journalization of these internals types
|
dummy_project [SlicingInternals] |
The whole project.
|
dyn_sl_fct_slice [SlicingTypes] |
|
dyn_sl_mark [SlicingTypes] |
|
E |
edge_attributes [PrintSlice.PrintProject] |
|
empty_sig [SlicingMarks] |
|
empty_to_prop [Fct_slice.FctMarks] |
|
equal_ff [SlicingMacros] |
|
equal_fi [SlicingMacros] |
|
escaped [String] |
Return a copy of the argument, with special characters
represented by escape sequences, following the lexical
conventions of OCaml.
|
examine_calls [Fct_slice] |
Examine the call statements after the modification of ff marks.
|
exists_fun_callers [SlicingTransform] |
|
extract [SlicingTransform] |
Apply the actions still waiting in the project
and transform the program (CIL AST) using slicing results
Can optionally specify how to name the sliced functions using f_slice_names .
|
F |
f_name [SlicingMacros] |
|
fct_info [SlicingTransform.Visibility] |
|
fct_name [SlicingTransform.Visibility] |
|
ff_name [SlicingMacros] |
get the name of the function corresponding to that slice.
|
ff_slicing_level [SlicingMacros] |
|
ff_src_name [SlicingMacros] |
|
ff_svar [SlicingMacros] |
|
fi_has_persistent_selection [SlicingMacros] |
|
fi_marks [Fct_slice.FctMarks] |
|
fi_name [SlicingMacros] |
|
fi_slices [SlicingMacros] |
|
fi_svar [SlicingMacros] |
|
fi_type [PrintSlice.PrintProject] |
|
file_tree_decorate [Register_gui] |
|
fill [String] |
String.fill s start len c modifies string s in place,
replacing len characters by c , starting at start .
|
filter_already_in [Fct_slice] |
a function that doesn't modify anything but test if the nodes_marks
are already in the slice or not.
|
find_sub_stmts [PrintSlice] |
|
fold_calls [Fct_slice.FctMarks] |
|
fold_calls [Fct_slice.CallInfo] |
|
fold_fi [SlicingMacros] |
|
fun_allocates_visible [SlicingTransform.Visibility] |
|
fun_assign_visible [SlicingTransform.Visibility] |
|
fun_deps_visible [SlicingTransform.Visibility] |
|
fun_frees_visible [SlicingTransform.Visibility] |
|
fun_postcond_visible [SlicingTransform.Visibility] |
|
fun_precond_visible [SlicingTransform.Visibility] |
|
fun_variant_visible [SlicingTransform.Visibility] |
|
G |
generic_select_func_calls [SlicingCmds] |
|
get [State_builder.Ref] |
Get the referenced value.
|
get [SlicingParameters.Print] |
|
get [String] |
String.get s n returns character number n in string s .
|
get_all_input_marks [Fct_slice.FctMarks] |
|
get_all_input_marks [SlicingMarks.SigMarks] |
|
get_all_input_marks [SlicingMarks] |
|
get_call_f_called [Fct_slice.CallInfo] |
|
get_call_output_marks [Fct_slice.FctMarks] |
|
get_call_sig [Fct_slice.CallInfo] |
|
get_called_kf [SlicingMacros] |
|
get_called_slice [Fct_slice] |
Inform about the called slice or else calls to source functions.
|
get_default_level_option [SlicingMacros] |
|
get_f_called [Fct_slice.CallInfo] |
|
get_ff_id [SlicingMacros] |
getting num id
|
get_ff_kf [SlicingMacros] |
|
get_ff_marks [Fct_slice.FctMarks] |
|
get_ff_pdg [SlicingMacros] |
|
get_fi_call [SlicingMacros] |
get the fct_info of the called function, if we know it
|
get_fi_kf [SlicingMacros] |
|
get_fi_node_mark [Fct_slice.FctMarks] |
|
get_fi_pdg [SlicingMacros] |
|
get_in_ctrl_mark [SlicingMarks.SigMarks] |
|
get_in_ctrl_mark [SlicingMarks] |
|
get_in_top_mark [SlicingMarks.SigMarks] |
|
get_info_call [Fct_slice.CallInfo] |
find call information (ff_called option + signature of a call)
|
get_input_loc_under_mark [Fct_slice] |
|
get_input_loc_under_mark [SlicingMarks.SigMarks] |
|
get_input_loc_under_mark [SlicingMarks] |
|
get_input_mark [SlicingMarks.SigMarks] |
|
get_input_mark [SlicingMarks] |
|
get_kf_fi [SlicingMacros] |
Get the fct_info if it exists or build a new fct_info.
|
get_label_mark [Fct_slice] |
|
get_local_var_mark [Fct_slice] |
|
get_mark_from_src_fun [Fct_slice] |
The mark m related to all statements of a source function kf .
|
get_marked_out_zone [SlicingMarks.SigMarks] |
|
get_marked_out_zone [SlicingMarks] |
|
get_matching_input_marks [Fct_slice.FctMarks] |
|
get_matching_input_marks [SlicingMarks.SigMarks] |
|
get_matching_input_marks [SlicingMarks] |
|
get_name [SlicingProject] |
|
get_new_marks [Fct_slice.FctMarks] |
|
get_next_filter [SlicingProject] |
|
get_node_key_mark [Fct_slice] |
|
get_node_mark [Fct_slice.FctMarks] |
|
get_node_mark [Fct_slice] |
|
get_node_marks [Fct_slice.FctMarks] |
|
get_or_raise [SlicingCmds] |
|
get_param_mark [Fct_slice] |
|
get_pdg_kf [SlicingMacros] |
|
get_setting_option_text [Register_gui] |
|
get_sgn [Fct_slice.FctMarks] |
|
get_slice_callers [SlicingProject] |
|
get_slices [SlicingProject] |
|
get_stmt_mark [Fct_slice] |
|
get_subgraph [PrintSlice.PrintProject] |
|
get_top_input_mark [Fct_slice] |
|
graph_attributes [PrintSlice.PrintProject] |
|
gui_annot_action [Register_gui] |
|
gui_annot_info [Register_gui] |
|
gui_apply_action [Register_gui] |
|
gui_compute_values [Register_gui] |
|
gui_mk_slice [Register_gui] |
|
gui_set_project [Register_gui] |
|
gui_set_slicing_debug [Register_gui] |
|
gui_set_slicing_level [Register_gui] |
|
gui_set_slicing_undef_functions [Register_gui] |
|
H |
has_persistent_selection [SlicingMacros] |
|
I |
index [String] |
String.index s c returns the character number of the first
occurrence of character c in string s .
|
index_from [String] |
String.index_from s i c returns the character number of the
first occurrence of character c in string s after position i .
|
inst_visible [SlicingTransform.Visibility] |
|
inter [SlicingMarks.MarkPair] |
|
inter [SlicingMarks.Mark] |
|
inter_all [SlicingMarks.MarkPair] |
|
inter_marks [SlicingMarks] |
|
is_addr [SlicingMarks.MarkPair] |
|
is_addr_mark [SlicingMarks] |
|
is_bottom [SlicingMarks.Mark] |
|
is_bottom_mark [SlicingMarks] |
|
is_call_stmt [SlicingMacros] |
|
is_call_to_change [Fct_slice.CallInfo] |
|
is_ctrl [SlicingMarks.MarkPair] |
|
is_ctrl_mark [SlicingMarks] |
|
is_data [SlicingMarks.MarkPair] |
|
is_data_mark [SlicingMarks] |
|
is_included [SlicingMarks.Mark] |
|
is_on [SlicingParameters] |
|
is_request_empty [SlicingProject] |
|
is_rw_zone [SlicingCmds.Kinstr] |
Look at intersection of rd_zone_opt /wr_zone_opt with the
directly read/writen Zone.t by the statement.
|
is_spare [SlicingMarks.MarkPair] |
|
is_spare_mark [SlicingMarks] |
|
is_src_fun_called [SlicingTransform] |
Return true if the source function is called
(even indirectly via transitivity) from a Slice.t .
|
is_src_fun_called [SlicingMacros] |
|
is_src_fun_visible [SlicingTransform] |
Return true if the source function is visible
(even indirectly via transitivity) from a Slice.t .
|
is_src_fun_visible [SlicingMacros] |
|
is_top [SlicingMarks.MarkPair] |
|
is_top [SlicingMarks.Mark] |
|
is_top_mark [SlicingMarks] |
|
is_topin_visible [SlicingMarks.SigMarks] |
|
is_topin_visible [SlicingMarks] |
|
is_variadic [SlicingMacros] |
|
iter [String] |
String.iter f s applies function f in turn to all
the characters of s .
|
iter_edges_actions [PrintSlice.PrintProject] |
|
iter_edges_e [PrintSlice.PrintProject] |
|
iter_edges_slices [PrintSlice.PrintProject] |
|
iter_edges_src_fun [PrintSlice.PrintProject] |
|
iter_from_func [SlicingCmds.Kinstr] |
Iter on statements of a kernel function
|
iter_vertex [PrintSlice.PrintProject] |
|
iteri [String] |
Same as String.iter , but the
function is applied to the index of the element as first argument
(counting from 0), and the character itself as second argument.
|
K |
keep_body [SlicingTransform.Visibility] |
|
L |
label_visible [SlicingTransform.Visibility] |
|
length [String] |
Return the length (number of characters) of the given string.
|
loc_var_visible [SlicingTransform.Visibility] |
|
lowercase [String] |
Return a copy of the argument, with all uppercase letters
translated to lowercase, including accented letters of the ISO
Latin-1 (8859-1) character set.
|
M |
main [Register_gui] |
|
make [String] |
String.make n c returns a fresh string of length n ,
filled with the character c .
|
make_new_ff [Fct_slice] |
build a new empty slice in the given fct_info .
|
make_type [Datatype.Hashtbl] |
|
map [String] |
String.map f s applies function f in turn to all
the characters of s and stores the results in a new string that
is returned.
|
mark_and_propagate [Fct_slice.FctMarks] |
mark the node with the given mark and propagate it to its dependencies
|
mark_spare_call_nodes [Fct_slice.FctMarks] |
|
mark_to_string [SlicingMarks] |
|
mark_visible_inputs [Fct_slice.FctMarks] |
TODO :
this function should disappear when the parameter declarations will
be handled...
|
mark_visible_output [Fct_slice.FctMarks] |
|
marks_for_call_outputs [Fct_slice.FctMarks] |
|
marks_for_caller_inputs [Fct_slice.FctMarks] |
compute the marks to propagate in pdg_caller when the called function
have the to_prop marks.
|
memo [Datatype.Hashtbl] |
memo tbl k f returns the binding of k in tbl .
|
merge [Fct_slice.FctMarks] |
|
merge [SlicingMarks.MarkPair] |
|
merge [SlicingMarks.Mark] |
|
merge_all [SlicingMarks.MarkPair] |
|
merge_fun_callers [Fct_slice] |
|
merge_inputs_m1_mark [Fct_slice] |
|
merge_inputs_m1_mark [SlicingMarks.SigMarks] |
|
merge_inputs_m1_mark [SlicingMarks] |
|
merge_marks [SlicingMarks] |
|
merge_slices [SlicingProject] |
Build a new slice ff which contains the marks of ff1 and ff2
and generate everything that is needed to choose the calls in ff .
|
merge_slices [Fct_slice] |
Build a new slice which marks are a join between ff1 marks and ff2
marks.
|
merge_user_marks [SlicingMarks.MarkPair] |
merge only ma_1 et mb_1, m_2 is always bottom
|
minus [SlicingMarks.MarkPair] |
|
minus [SlicingMarks.Mark] |
|
minus_marks [SlicingMarks] |
|
missing_input [SlicingMarks.MarkPair] |
tells if the caller (f ) computes enough inputs for the callee (g ).
|
missing_input_mark [SlicingMarks] |
|
missing_output [SlicingMarks.MarkPair] |
we want to know if the called function g with output marks
m_out_called compute enough things to be used in f call
with output marks m_out_call .
|
missing_output_mark [SlicingMarks] |
|
mk_adc [SlicingMarks.Mark] |
|
mk_appli_select_calls [SlicingActions] |
|
mk_crit_add_output_marks [SlicingActions] |
|
mk_crit_change_call [SlicingActions] |
|
mk_crit_choose_call [SlicingActions] |
|
mk_crit_examines_calls [SlicingActions] |
|
mk_crit_fct_top [SlicingActions] |
|
mk_crit_fct_user_select [SlicingActions] |
|
mk_crit_mark_calls [SlicingActions] |
|
mk_crit_missing_inputs [SlicingActions] |
|
mk_crit_missing_outputs [SlicingActions] |
|
mk_crit_prop_persit_marks [SlicingActions] |
|
mk_fct_crit [SlicingActions] |
build an action to apply the criteria to the persistent selection of the
function.
|
mk_fct_user_crit [SlicingActions] |
|
mk_ff_crit [SlicingActions] |
build an action to apply the criteria to the given slice.
|
mk_ff_user_select [SlicingActions] |
|
mk_gen_spare [SlicingMarks.MarkPair] |
|
mk_gen_spare [SlicingMarks] |
generated spare = the smallest visible mark
|
mk_m1 [SlicingMarks] |
|
mk_m1_spare [SlicingMarks.MarkPair] |
|
mk_m2 [SlicingMarks] |
|
mk_project [SlicingProject] |
|
mk_selection [Register_gui] |
|
mk_selection_all [Register_gui] |
|
mk_selection_cad [Register_gui] |
|
mk_slice [Register_gui] |
|
mk_user_mark [SlicingMarks] |
|
mk_user_spare [SlicingMarks] |
|
modif_call_inputs [Fct_slice] |
propagate the input_marks in the inputs of call in ff .
|
msg_help_compute_values [Register_gui] |
|
msg_help_enable_gui [Register_gui] |
|
msg_help_libraries [Register_gui] |
|
N |
new_command [SlicingParameters.Print] |
|
new_copied_slice [Fct_slice.FctMarks] |
|
new_empty_fi_marks [Fct_slice.FctMarks] |
|
new_empty_slice [Fct_slice.FctMarks] |
|
new_init_slice [Fct_slice.FctMarks] |
|
node_slice_callers [PrintSlice.PrintProject] |
|
node_slice_calls [PrintSlice.PrintProject] |
|
none_text [Register_gui] |
|
P |
param_visible [SlicingTransform.Visibility] |
|
pdg_mark_packed_descr [SlicingInternals] |
|
persistant_in_marks_to_prop [Fct_slice.FctMarks] |
|
pp_sl_fct_slice [SlicingTypes] |
|
pp_sl_mark [SlicingTypes] |
|
pp_sl_project [SlicingTypes] |
|
pretty [SlicingMarks.SigMarks] |
|
pretty [SlicingMarks.MarkPair] |
|
pretty [SlicingMarks.Mark] |
|
pretty_mark [SlicingMarks] |
|
pretty_sig [SlicingMarks] |
|
pretty_slice [SlicingProject] |
|
print_crit [SlicingActions] |
|
print_f_crit [SlicingActions] |
|
print_fct_from_pdg [PrintSlice] |
|
print_fct_stmts [PrintSlice] |
|
print_ff_sig [Fct_slice] |
|
print_list_crit [SlicingActions] |
|
print_marked_ff [PrintSlice] |
|
print_nd_and_mark [SlicingActions] |
|
print_nd_and_mark_list [SlicingActions] |
Printing
|
print_node_mark [SlicingActions] |
|
print_nodes [SlicingActions] |
|
print_original_glob [PrintSlice] |
|
print_proj_worklist [SlicingProject] |
|
print_project [SlicingProject] |
|
print_project_and_worklist [SlicingProject] |
|
print_sel_marks_list [SlicingActions] |
|
prop_persistant_marks [Fct_slice] |
when the user adds persistent marks to a function,
he might want to propagate them to the callers,
but, anyway, we don't want to propagate persistent marks to the calls
for the same reason (if we mark x = g (); in f , we don't necessarily want
all versions of g to have a visible return for instance).
|
R |
raise_if_visible [SlicingMarks.SigMarks] |
|
rcontains_from [String] |
String.rcontains_from s stop c tests if character c
appears in s before position stop+1 .
|
rebuild_model [Register_gui] |
|
refresh_combo_box [Register_gui] |
|
remove_called_by [Fct_slice.CallInfo] |
call_id is a call to g in f .
|
remove_ff [SlicingProject] |
Delete ff_to_remove if it is not called.
|
remove_uncalled_slices [SlicingProject] |
|
res_call_visible [SlicingTransform.Visibility] |
|
result_visible [SlicingTransform.Visibility] |
|
rindex [String] |
String.rindex s c returns the character number of the last
occurrence of character c in string s .
|
rindex_from [String] |
String.rindex_from s i c returns the character number of the
last occurrence of character c in string s before position i+1 .
|
S |
same_call [SlicingMacros] |
|
same_ff_call [SlicingMacros] |
|
select_ZoneAnnot_pragmas [SlicingCmds] |
|
select_ZoneAnnot_zones_decl_vars [SlicingCmds] |
|
select_decl_var [SlicingCmds] |
Add a selection of the declaration of vi .
|
select_entry_point_and_some_inputs_outputs [SlicingCmds] |
Add a selection to the entrance of the function kf
and add a selection to its return if ~return is true
and add a selection to ~inputs parts of its inputs
and add a selection to ~ouputs parts of its outputs
|
select_func_annots [SlicingCmds] |
Registered as a slicing selection function:
Add a selection of the annotations related to a function.
|
select_func_calls_into [SlicingCmds] |
Registered as a slicing selection function:
Add a selection of calls to a kf .
|
select_func_calls_to [SlicingCmds] |
Registered as a slicing selection function:
Add a selection of calls to a kf .
|
select_func_lval [SlicingCmds] |
Registered as a slicing selection function:
Add selection of function ouputs.
|
select_func_lval_rw [SlicingCmds] |
Registered as a slicing selection function:
Add a selection of data relative to read/write accesses.
|
select_func_return [SlicingCmds] |
Registered as a slicing selection function:
Add a selection of the kf return statement.
|
select_func_zone [SlicingCmds] |
Registered as a slicing selection function:
Add selection of function ouputs.
|
select_lval_rw [SlicingCmds] |
Add a selection of data relative to read/write accesses.
|
select_pdg_nodes [SlicingCmds] |
Registered as a slicing selection function:
Add a selection of the pdg nodes.
|
select_stmt [SlicingCmds] |
Registered as a slicing selection function:
Add a selection of the statement.
|
select_stmt_annot [SlicingCmds] |
Registered as a slicing selection function:
Add selection of the annotations related to a statement.
|
select_stmt_annots [SlicingCmds] |
Registered as a slicing selection function:
Add selection of the annotations related to a statement.
|
select_stmt_ctrl [SlicingCmds] |
Registered as a slicing selection function:
Add a selection of the statement reachability.
|
select_stmt_lval [SlicingCmds] |
Registered as a slicing selection function:
Add a selection of data relative to a statement.
|
select_stmt_lval_rw [SlicingCmds] |
Registered as a slicing selection function:
Add a selection of rw accesses to lvalues relative to a statement.
|
select_stmt_pred [SlicingCmds] |
Registered as a slicing selection function:
Add selection of the annotations related to a statement.
|
select_stmt_term [SlicingCmds] |
Registered as a slicing selection function:
Add selection of the annotations related to a statement.
|
select_stmt_zone [SlicingCmds] |
Registered as a slicing selection function:
Add a selection of data relative to a statement.
|
set [State_builder.Ref] |
Change the referenced value.
|
set [String] |
String.set s n c modifies string s in place,
replacing the character number n by c .
|
set_off [SlicingParameters] |
|
slicing_highlighter [Register_gui] |
|
slicing_panel [Register_gui] |
|
slicing_selector [Register_gui] |
|
some_visible_in [SlicingMarks.SigMarks] |
|
some_visible_out [SlicingMarks.SigMarks] |
|
some_visible_out [SlicingMarks] |
|
something_visible [Fct_slice.CallInfo] |
|
something_visible [SlicingMarks.SigMarks] |
|
something_visible [SlicingMarks] |
|
spare [SlicingMarks.Mark] |
|
split_slice [SlicingProject] |
|
src [PrintSlice.PrintProject.E] |
|
str_call_sig [PrintSlice] |
|
str_level_option [SlicingMacros] |
|
sub [String] |
String.sub s start len returns a fresh string of length len ,
containing the substring of s that starts at position start and
has length len .
|
T |
to_string [SlicingMarks.MarkPair] |
|
topologic_propagation [SlicingCmds] |
Topologically propagate user marks to callers in whole project
|
translate_crit_to_select [SlicingActions] |
|
translate_num_to_slicing_level [SlicingMacros] |
|
trim [String] |
Return a copy of the argument, without leading and trailing
whitespace.
|
U |
uncapitalize [String] |
Return a copy of the argument, with the first character set to lowercase.
|
update_column [Register_gui] |
|
uppercase [String] |
Return a copy of the argument, with all lowercase letters
translated to uppercase, including accented letters of the ISO
Latin-1 (8859-1) character set.
|
user_mark [SlicingMarks] |
|
V |
vertex_attributes [PrintSlice.PrintProject] |
|
vertex_name [PrintSlice.PrintProject] |
|
visible_mark [SlicingTransform.Visibility] |
|