sig
type select = SlicingTypes.sl_mark PdgMarks.select
type n_or_d_marks
val build_simple_node_selection :
?nd_marks:SlicingActions.n_or_d_marks ->
SlicingTypes.sl_mark -> SlicingActions.n_or_d_marks
val build_addr_dpds_selection :
?nd_marks:SlicingActions.n_or_d_marks ->
SlicingTypes.sl_mark -> SlicingActions.n_or_d_marks
val build_data_dpds_selection :
?nd_marks:SlicingActions.n_or_d_marks ->
SlicingTypes.sl_mark -> SlicingActions.n_or_d_marks
val build_ctrl_dpds_selection :
?nd_marks:SlicingActions.n_or_d_marks ->
SlicingTypes.sl_mark -> SlicingActions.n_or_d_marks
val build_node_and_dpds_selection :
?nd_marks:SlicingActions.n_or_d_marks ->
SlicingTypes.sl_mark -> SlicingActions.n_or_d_marks
val translate_crit_to_select :
Db.Pdg.t ->
?to_select:SlicingActions.select ->
((PdgTypes.Node.t * Locations.Zone.t option) list *
SlicingActions.n_or_d_marks)
list -> SlicingActions.select
val mk_fct_crit :
SlicingInternals.fct_info ->
SlicingInternals.fct_crit -> SlicingInternals.criterion
val mk_crit_fct_user_select :
SlicingInternals.fct_info ->
SlicingActions.select -> SlicingInternals.criterion
val mk_crit_fct_top :
SlicingInternals.fct_info ->
SlicingTypes.sl_mark -> SlicingInternals.criterion
val mk_crit_prop_persit_marks :
SlicingInternals.fct_info ->
SlicingActions.select -> SlicingInternals.criterion
val mk_ff_user_select :
SlicingInternals.fct_slice ->
SlicingActions.select -> SlicingInternals.criterion
val mk_crit_choose_call :
SlicingInternals.fct_slice ->
Cil_types.stmt -> SlicingInternals.criterion
val mk_crit_change_call :
SlicingInternals.fct_slice ->
Cil_types.stmt ->
SlicingInternals.called_fct -> SlicingInternals.criterion
val mk_crit_missing_inputs :
SlicingInternals.fct_slice ->
Cil_types.stmt ->
SlicingActions.select * bool -> SlicingInternals.criterion
val mk_crit_missing_outputs :
SlicingInternals.fct_slice ->
Cil_types.stmt ->
SlicingActions.select * bool -> SlicingInternals.criterion
val mk_crit_examines_calls :
SlicingInternals.fct_slice ->
SlicingTypes.sl_mark PdgMarks.info_called_outputs ->
SlicingInternals.criterion
val mk_appli_select_calls :
SlicingInternals.fct_info -> SlicingInternals.criterion
val mk_crit_mark_calls :
SlicingInternals.fct_info ->
Cil_types.kernel_function ->
SlicingTypes.sl_mark -> SlicingInternals.criterion
val mk_crit_add_output_marks :
SlicingInternals.fct_slice ->
SlicingActions.select -> SlicingInternals.criterion
val print_nd_and_mark_list :
Stdlib.Format.formatter -> SlicingActions.n_or_d_marks -> unit
val print_nodes : Stdlib.Format.formatter -> PdgTypes.Node.t list -> unit
val print_sel_marks_list :
Stdlib.Format.formatter -> SlicingActions.select -> unit
val print_crit :
Stdlib.Format.formatter -> SlicingInternals.criterion -> unit
val print_f_crit :
Stdlib.Format.formatter -> SlicingInternals.fct_user_crit -> unit
val print_list_crit :
Stdlib.Format.formatter -> SlicingInternals.criterion list -> unit
end