module Make: functor (Abstract : Abstractions.S) -> sig .. end
functor (
Abstract
:
Abstractions.S
) ->
sig
end
val compute_from_entry_point : Cil_types.kernel_function -> lib_entry:bool -> unit
Cil_types.kernel_function -> lib_entry:bool -> unit
val compute_from_init_state : Cil_types.kernel_function -> Abstract.Dom.t -> unit
Cil_types.kernel_function -> Abstract.Dom.t -> unit
include Analysis.Results