package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
val topologic_propagation : unit -> unit
val select_func_calls_to : set -> spare:bool -> Frama_c_kernel.Kernel_function.t -> set
val select_func_calls_into : set -> spare:bool -> Frama_c_kernel.Kernel_function.t -> set
val select_func_return : set -> spare:bool -> Frama_c_kernel.Kernel_function.t -> set
val select_stmt_annots : set -> SlicingTypes.sl_mark -> spare:bool -> threat:bool -> user_assert:bool -> slicing_pragma:bool -> loop_inv:bool -> loop_var:bool -> Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.kernel_function -> set
val select_func_annots : set -> SlicingTypes.sl_mark -> spare:bool -> threat:bool -> user_assert:bool -> slicing_pragma:bool -> loop_inv:bool -> loop_var:bool -> Frama_c_kernel.Cil_types.kernel_function -> set
val add_selection : set -> unit
val add_persistent_selection : set -> unit
val add_persistent_cmdline : unit -> unit
val apply_all : propagate_to_callers:bool -> unit
val apply_all_actions : unit -> unit
val apply_next_action : unit -> unit