Functor Analysis.Make

module Make: 
functor (Abstract : Abstractions.S-> sig .. end
Parameters:
Abstract : Abstractions.S

val compute_from_entry_point : Cil_types.kernel_function -> lib_entry:bool -> unit
val compute_from_init_state : Cil_types.kernel_function -> Abstract.Dom.t -> unit
include Analysis.Results