Frama-C API - SlicingActions
type select = SlicingTypes.sl_mark Pdg_types.PdgMarks.selectselection 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_persist_marks : SlicingInternals.fct_info -> select -> SlicingInternals.criterionval mk_ff_user_select : SlicingInternals.fct_slice -> 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_appli_select_calls : SlicingInternals.fct_info -> 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.criterionval print_nd_and_mark_list : Stdlib.Format.formatter -> n_or_d_marks -> unitPrinting
val print_nodes : Stdlib.Format.formatter -> Pdg_types.PdgTypes.Node.t list -> unitval print_sel_marks_list : Stdlib.Format.formatter -> select -> unitval print_crit : Stdlib.Format.formatter -> SlicingInternals.criterion -> unitval print_f_crit : Stdlib.Format.formatter -> SlicingInternals.fct_user_crit -> unitval print_list_crit : Stdlib.Format.formatter -> SlicingInternals.criterion list -> unit