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 pretty_with_indirect : Format.formatter -> Kernel_function.t -> unit
val display : Format.formatter option -> unit
module SortCalls: sig .. end
module MapStmtCalls: FCMap.Make(SortCalls)
val iter_callwise_calls_sorted : (Cil_types.kinstr -> Function_Froms.t -> unit) -> unit
val main : unit -> unit
val access_from : Locations.Zone.t -> Function_Froms.Memory.t -> Locations.Zone.t