functor (Abstract : Abstractions.S) ->
sig
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
val get_stmt_state : Cil_types.stmt -> Abstract.Dom.state Eval.or_bottom
val eval_expr :
Abstract.Dom.state -> Cil_types.exp -> Abstract.Val.t Eval.evaluated
end