Index of values


A
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_marks_to_fi [Fct_slice]
add the marks to the persistent marks to be used when new slices will be created.
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_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_top_mark_to_fi [Fct_slice]
apply_add_marks [Fct_slice]
main function to build or modify a slice.
apply_all [SlicingCmds]
apply_all_actions [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_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_next_action [SlicingProject]

B
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
change_fi_slicing_level [SlicingMacros]
change_slicing_level [SlicingMacros]
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.
clear [SlicingParameters]
clear_ff [Fct_slice]
ff has to be removed.
combine_marks [SlicingMarks]
combine_marks add a new information to the old value.
compare_mark [SlicingInternals]
compare_marks [SlicingMarks]
compare_pdg_mark [SlicingInternals]
copy [Datatype.S]
Deep copy: no possible sharing between x and copy x.
copy_slice [Fct_slice]
create_slice [SlicingProject]
Add a new slice for the function.

D
default_slice_names [SlicingTransform]
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
empty_sig [SlicingMarks]
equal_ff [SlicingMacros]
equal_fi [SlicingMacros]
exists [Parameter_sig.Set]
Is there some element satisfying the given predicate?
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]
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_name [SlicingMacros]
fi_slices [SlicingMacros]
fi_svar [SlicingMacros]
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.
fold_fi [SlicingMacros]

G
get_all_input_marks [SlicingMarks]
get_called_slice [Fct_slice]
Inform about the called slice or else calls to source functions.
get_default_level_option [SlicingMacros]
get_ff_id [SlicingMacros]
getting num id
get_ff_kf [SlicingMacros]
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_pdg [SlicingMacros]
get_function_name [Parameter_sig.String]
returns the given argument only if it is a valid function name (see Parameter_customize.get_c_ified_functions for more information), and abort otherwise.
get_in_ctrl_mark [SlicingMarks]
get_input_loc_under_mark [Fct_slice]
get_input_loc_under_mark [SlicingMarks]
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]
get_matching_input_marks [SlicingMarks]
get_name [SlicingProject]
get_node_key_mark [Fct_slice]
get_node_mark [Fct_slice]
get_param_mark [Fct_slice]
get_pdg_kf [SlicingMacros]
get_plain_string [Parameter_sig.String]
always return the argument, even if the argument is not a function name.
get_possible_values [Parameter_sig.String]
What are the acceptable values for this parameter.
get_range [Parameter_sig.Int]
What is the possible range of values for this parameter.
get_slice_callers [SlicingProject]
get_slices [SlicingProject]
get_stmt_mark [Fct_slice]
get_top_input_mark [Fct_slice]

H
has_persistent_selection [SlicingMacros]

I
incr [Parameter_sig.Int]
Increment the integer.
inter_marks [SlicingMarks]
is_addr_mark [SlicingMarks]
is_bottom_mark [SlicingMarks]
is_call_stmt [SlicingMacros]
is_ctrl_mark [SlicingMarks]
is_data_mark [SlicingMarks]
is_on [SlicingParameters]
is_request_empty [SlicingProject]
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_mark [SlicingMarks]
is_topin_visible [SlicingMarks]

M
make_new_ff [Fct_slice]
build a new empty slice in the given fct_info.
make_type [Datatype.Hashtbl]
mark_to_string [SlicingMarks]
mem [Parameter_sig.Set]
Does the given element belong to the set?
memo [Datatype.Hashtbl]
memo tbl k f returns the binding of k in tbl.
merge_inputs_m1_mark [Fct_slice]
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.
minus_marks [SlicingMarks]
missing_input_mark [SlicingMarks]
missing_output_mark [SlicingMarks]
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_ff_user_select [SlicingActions]
mk_gen_spare [SlicingMarks]
generated spare = the smallest visible mark
mk_project [SlicingProject]
API function : see Db.Slicing.Project.mk_project.
mk_user_mark [SlicingMarks]
mk_user_spare [SlicingMarks]

O
off [Parameter_sig.Bool]
Set the boolean to false.
on [Parameter_sig.Bool]
Set the boolean to true.

P
pdg_mark_packed_descr [SlicingInternals]
pp_sl_fct_slice [SlicingTypes]
pp_sl_mark [SlicingTypes]
pp_sl_project [SlicingTypes]
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_list [SlicingActions]
Printing
print_nodes [SlicingActions]
print_original_glob [PrintSlice]
print_proj_worklist [SlicingProject]
print_project_and_worklist [SlicingProject]
print_sel_marks_list [SlicingActions]

R
remove_ff [SlicingProject]
Delete ff_to_remove if it is not called.
remove_uncalled_slices [SlicingProject]

S
same_ff_call [SlicingMacros]
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_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_off [SlicingParameters]
set_possible_values [Parameter_sig.String]
Set what are the acceptable values for this parameter.
set_range [Parameter_sig.Int]
Set what is the possible range of values for this parameter.
some_visible_out [SlicingMarks]
something_visible [SlicingMarks]
split_slice [SlicingProject]
str_level_option [SlicingMacros]

T
topologic_propagation [SlicingCmds]
Topologically propagate user marks to callers in whole project
translate_crit_to_select [SlicingActions]