module Value_util: sig
.. end
Callstacks related types and functions
Callstacks related types and functions
type
called_function = {
}
val call_stack : unit -> called_function list
val call_stack_for_callbacks : (Kernel_function.t * Cil_types.kinstr) list Pervasives.ref
val clear_call_stack : unit -> unit
val pop_call_stack : unit -> unit
val push_call_stack : called_function -> unit
val current_kf : unit -> Cil_types.kernel_function
val call_stack : unit -> called_function list
val for_callbacks_stack : unit -> (Kernel_function.t * Cil_types.kinstr) list
val pretty_call_stack : Format.formatter -> called_function list -> unit
val pretty_callbacks_call_stack : Format.formatter -> (Kernel_function.t * Cil_types.kinstr) list -> unit
val pp_callstack : Format.formatter -> unit
Misc
val get_rounding_mode : unit -> Ival.Float_abstract.rounding_mode
val do_degenerate : Cil_types.lval option -> unit
Assertions emitted during the analysis
val emitter_value : Emitter.t
val emit_status : Property.t -> Property_status.emitted_status -> unit
val warn_all_mode : CilE.warn_mode
val warn_all_quiet_mode : unit -> CilE.warn_mode
val get_slevel : Kernel_function.t -> Value_parameters.SlevelFunction.value
val set_loc : Cil_types.kinstr -> unit
module Got_Imprecise_Value: State_builder.Ref
(
Datatype.Bool
)
(
sig
end
)
val pretty_actuals : Format.formatter -> ('a * Cvalue.V.z * 'b) list -> unit
val pretty_current_cfunction_name : Format.formatter -> unit
val warning_once_current : ('a, Format.formatter, unit) Pervasives.format -> 'a