module Register_gui: sig
.. end
Extension of the GUI in order to support the value analysis.
No function is exported.
val select_kf : < select_global : Cil_types.varinfo -> 'a; .. > -> Kernel_function.t -> 'a
type
lval_or_absolute =
val pretty_lval_or_absolute : GText.buffer -> Cil_types.kinstr -> lval_or_absolute -> unit
val pretty_offsetmap : lval_or_absolute ->
Format.formatter -> Cvalue.V_Offsetmap.t option -> unit
val lval_or_absolute_to_offsetmap : Db.Value.state ->
lval_or_absolute -> Cvalue.V_Offsetmap.t option
val pretty_lval_or_absolute : GText.buffer -> Cil_types.kinstr -> lval_or_absolute -> unit
val gui_annot_action : Design.main_window_extension_points -> (unit -> string) -> unit
val gui_compute_values : Design.main_window_extension_points -> unit
val cleant_outputs : Cil_types.kernel_function -> Cil_types.stmt -> Locations.Zone.t option
val to_do_on_select : GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
int -> Pretty_source.localizable -> unit
module UsedVarState: Cil_state_builder.Varinfo_hashtbl
(
Datatype.Bool
)
(
sig
end
)
val no_memoization_enabled : unit -> bool
val used_var : UsedVarState.key -> UsedVarState.data
val hide_unused : (unit -> bool) Pervasives.ref
val sync_filetree : Filetree.t -> unit
val hide_unused_function_or_var : UsedVarState.key -> bool
module DegeneratedHighlighted: State_builder.Option_ref
(
Pretty_source.Localizable
)
(
sig
end
)
val main : Design.main_window_extension_points -> unit
val degeneration_occurred : 'a -> 'b -> unit