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