package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val is_src_fun_called : Frama_c_kernel.Cil_types.kernel_function -> bool

Return 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 -> bool

Return true if the source function is visible * (even indirectly via transitivity) from a Slice.t.

  • raises SlicingTypes.ExternalFunction

    if the function has no source code, because there cannot be any slice for it.

val clear_ff : SlicingInternals.fct_slice -> unit
val print_ff_sig : Stdlib.Format.formatter -> SlicingInternals.fct_slice -> unit
OCaml

Innovation. Community. Security.