Slicing.SlicingActionsSourceselection mode (ie which mark to associate to the node and how to propagate in the different kinds of dependencies)
val build_simple_node_selection :
?nd_marks:n_or_d_marks ->
SlicingTypes.sl_mark ->
n_or_d_marksval build_addr_dpds_selection :
?nd_marks:n_or_d_marks ->
SlicingTypes.sl_mark ->
n_or_d_marksval build_data_dpds_selection :
?nd_marks:n_or_d_marks ->
SlicingTypes.sl_mark ->
n_or_d_marksval build_ctrl_dpds_selection :
?nd_marks:n_or_d_marks ->
SlicingTypes.sl_mark ->
n_or_d_marksval build_node_and_dpds_selection :
?nd_marks:n_or_d_marks ->
SlicingTypes.sl_mark ->
n_or_d_marksval translate_crit_to_select :
Pdg.Api.t ->
?to_select:select ->
((Pdg_types.PdgTypes.Node.t * Frama_c_kernel.Locations.Zone.t option) list
* n_or_d_marks)
list ->
selectval mk_fct_crit :
SlicingInternals.fct_info ->
SlicingInternals.fct_crit ->
SlicingInternals.criterionval mk_crit_fct_user_select :
SlicingInternals.fct_info ->
select ->
SlicingInternals.criterionval mk_crit_fct_top :
SlicingInternals.fct_info ->
SlicingTypes.sl_mark ->
SlicingInternals.criterionval mk_crit_prop_persit_marks :
SlicingInternals.fct_info ->
select ->
SlicingInternals.criterionval mk_crit_choose_call :
SlicingInternals.fct_slice ->
Frama_c_kernel.Cil_types.stmt ->
SlicingInternals.criterionval mk_crit_change_call :
SlicingInternals.fct_slice ->
Frama_c_kernel.Cil_types.stmt ->
SlicingInternals.called_fct ->
SlicingInternals.criterionval mk_crit_missing_inputs :
SlicingInternals.fct_slice ->
Frama_c_kernel.Cil_types.stmt ->
(select * bool) ->
SlicingInternals.criterionval mk_crit_missing_outputs :
SlicingInternals.fct_slice ->
Frama_c_kernel.Cil_types.stmt ->
(select * bool) ->
SlicingInternals.criterionval mk_crit_examines_calls :
SlicingInternals.fct_slice ->
SlicingTypes.sl_mark Pdg_types.PdgMarks.info_called_outputs ->
SlicingInternals.criterionval mk_crit_mark_calls :
SlicingInternals.fct_info ->
Frama_c_kernel.Cil_types.kernel_function ->
SlicingTypes.sl_mark ->
SlicingInternals.criterionval mk_crit_add_output_marks :
SlicingInternals.fct_slice ->
select ->
SlicingInternals.criterionPrinting