module Computer:functor (
Domain
:
Abstract_domain.External
) ->
functor (
States
:
Partitioning.StateSet
with type state = Domain.t
) ->
functor (
Transfer
:
Transfer_stmt.S
with type state = Domain.t and type value = Domain.value and type summary = Domain.summary
) ->
functor (
Logic
:
Transfer_logic.S
with type state = Domain.t and type states = States.t
) ->
sig
..end
Parameters: |
|
val compute : Cil_types.kernel_function ->
Cil_types.kinstr ->
Domain.t ->
(Domain.t, Domain.summary, Domain.value) Eval.call_result *
Value_types.cacheable