Frama-C API - Fct_slice
val is_src_fun_called : Frama_c_kernel.Cil_types.kernel_function -> boolReturn true if the source function is called (even indirectly via transitivity) from a Slice.t.
val is_src_fun_visible : Frama_c_kernel.Cil_types.kernel_function -> boolReturn true if the source function is visible (even indirectly via transitivity) from a Slice.t.
val make_new_ff : SlicingInternals.fct_info -> bool -> SlicingInternals.fct_slice * SlicingInternals.criterion listval merge_slices : SlicingInternals.fct_slice -> SlicingInternals.fct_slice -> SlicingInternals.fct_slice * SlicingInternals.criterion listval copy_slice : SlicingInternals.fct_slice -> SlicingInternals.fct_sliceval filter_already_in : SlicingInternals.fct_slice -> SlicingInternals.fct_base_criterion -> SlicingInternals.fct_base_criterionval apply_add_marks : SlicingInternals.fct_slice -> SlicingInternals.fct_base_criterion -> SlicingInternals.criterion listval add_marks_to_fi : SlicingInternals.fct_info -> SlicingInternals.fct_base_criterion -> bool -> SlicingInternals.criterion list -> bool * SlicingInternals.criterion listval add_top_mark_to_fi : SlicingInternals.fct_info -> SlicingInternals.pdg_mark -> bool -> SlicingInternals.criterion list -> SlicingInternals.criterion listval check_outputs_before_change_call : SlicingInternals.fct_slice -> Frama_c_kernel.Cil_types.stmt -> SlicingInternals.fct_slice -> SlicingInternals.criterion listval apply_change_call : SlicingInternals.fct_slice -> Frama_c_kernel.Cil_types.stmt -> SlicingInternals.called_fct -> SlicingInternals.criterion listval apply_choose_call : SlicingInternals.fct_slice -> Frama_c_kernel.Cil_types.stmt -> SlicingInternals.criterion listval apply_missing_inputs : SlicingInternals.fct_slice -> Frama_c_kernel.Cil_types.stmt -> (SlicingInternals.fct_base_criterion * bool) -> SlicingInternals.criterion listval apply_missing_outputs : SlicingInternals.fct_slice -> Frama_c_kernel.Cil_types.stmt -> SlicingInternals.fct_base_criterion -> bool -> SlicingInternals.criterion listval apply_examine_calls : SlicingInternals.fct_slice -> SlicingInternals.pdg_mark Pdg_types.PdgMarks.info_called_outputs -> SlicingInternals.criterion listval get_called_slice : SlicingInternals.fct_slice -> Frama_c_kernel.Cil_types.stmt -> SlicingInternals.fct_slice option * boolval get_node_mark : SlicingInternals.fct_slice -> Pdg_types.PdgTypes.Node.t -> SlicingInternals.pdg_markval get_node_key_mark : SlicingInternals.fct_slice -> Pdg_types.PdgIndex.Key.t -> SlicingInternals.pdg_markval get_top_input_mark : SlicingInternals.fct_info -> SlicingInternals.pdg_markval get_stmt_mark : SlicingInternals.fct_slice -> Frama_c_kernel.Cil_types.stmt -> SlicingInternals.pdg_markval get_label_mark : SlicingInternals.fct_slice -> Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.label -> SlicingInternals.pdg_markval get_param_mark : SlicingInternals.fct_slice -> int -> SlicingInternals.pdg_markval get_local_var_mark : SlicingInternals.fct_slice -> Frama_c_kernel.Cil_types.varinfo -> SlicingInternals.pdg_markval get_input_loc_under_mark : SlicingInternals.fct_slice -> Frama_c_kernel.Locations.Zone.t -> SlicingInternals.pdg_markval get_mark_from_src_fun : Frama_c_kernel.Kernel_function.t -> SlicingInternals.pdg_markval merge_inputs_m1_mark : SlicingInternals.fct_slice -> SlicingInternals.pdg_markval clear_ff : SlicingInternals.fct_slice -> unitval print_ff_sig : Stdlib.Format.formatter -> SlicingInternals.fct_slice -> unit