module Equality_domain:sig
..end
type
call_init_state =
| |
ISCaller |
(* |
information from the caller is propagated in the callee. May be
more precise, but problematic w.r.t Memexec because it increases
cache miss dramatically.
| *) |
| |
ISFormals |
(* |
empty state, except for the equalities between a formal and
the corresponding actual. Lesser impact on Memexec.
| *) |
| |
ISEmpty |
(* |
completely empty state, without impact on Memexec.
| *) |
module type S =sig
..end
module MakeInternal:functor (
Equality
:
Equality_sig.S_with_collections
with type elt = Hcexprs.hashconsed_exprs
) ->
functor (
Value
:
Abstract_value.External
) ->
S
with type value = Value.t and type location = Precise_locs.precise_location and type equalities := Equality.Set.t
module Make:functor (
Value
:
Abstract_value.External
) ->
S
with type value = Value.t and type location = Precise_locs.precise_location