Module Register_gui


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 =
| LVal of Cil_types.lval
| AbsoluteMem
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
val size : int
val name : string
val dependencies : State.t list
val kind : [> `Internal ]
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
val name : string
val dependencies : State.t list
val kind : [> `Internal ]
end)
val main : Design.main_window_extension_points -> unit
val degeneration_occurred : 'a -> 'b -> unit