Module Derefs

module Derefs: sig .. end

class virtual do_it_ : object .. end

module Analysis: Cumulative_analysis.Make(sig

val analysis_name : string
type t = Locations.Zone.t 


module T: Locations.Zone
class virtual do_it : Derefs.do_it_
end)

val get_internal : Cil_types.kernel_function -> Locations.Zone.t

val externalize : 'a -> Cil_types.fundec -> Locations.Zone.t -> Locations.Zone.t

module Externals: Kernel_function.Make_Table(Locations.Zone)(sig

val name : string
val dependencies : State.t list
val size : int
end)

val get_external : Externals.key -> Externals.data

val compute_external : Externals.key -> unit

val _pretty_internal : Format.formatter -> Kernel_function.t -> unit

val pretty_external : Format.formatter -> Kernel_function.t -> unit