Module From_register

module From_register: sig .. end
Registration of the From plugin in Frama-C main loop. Nothing is exported in this module

val display_aux : ((('a -> 'b -> 'c) -> 'b -> ('a -> 'd -> 'c) -> 'd -> 'e, 'a, 'c, 'f, 'f, 'e)
format6 ->
(Format.formatter -> Kernel_function.t -> unit) ->
Cil_types.kernel_function ->
(Format.formatter -> Cil_types.kernel_function -> unit) ->
Cil_types.kernel_function -> unit) ->
unit
val display : Format.formatter -> unit
module SortCalls: sig .. end
module MapStmtCalls: Map.Make(SortCalls)
val iter_callwise_calls_sorted : (Cil_types.kinstr -> Function_Froms.t -> unit) -> unit
val main : unit -> unit
val update_from : Locations.location ->
Lmap_bitwise.From_Model.y ->
Lmap_bitwise.From_Model.t -> Lmap_bitwise.From_Model.t
val access_from : Locations.Zone.t -> Lmap_bitwise.From_Model.t -> Lmap_bitwise.From_Model.y