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
val pretty_offsetmap : Cil_types.lval ->
Format.formatter -> Cvalue_type.V_Offsetmap.t option -> unit
val gui_annot_action : Design.main_window_extension_points -> (unit -> string) -> unit
val gui_compute_values : Design.main_window_extension_points -> unit
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 used_var : UsedVarState.key -> UsedVarState.data
val reset : Design.main_window_extension_points -> unit
module DegeneratedHighlighted: State_builder.Option_ref
(
Pretty_source.Localizable
)
(
sig
end
)
val main : Design.main_window_extension_points -> unit
val degeneration_occurred : Cil_types.kinstr -> Cil_types.lval option -> unit