module Cvalue_domain: sig
.. end
Main domain of the Value Analysis.
module State: Abstract_domain.Internal
with type value = Main_values.CVal.t
and type location = Main_locations.PLoc.location
val key : Cvalue.Model.t Abstract_domain.key
: (Cvalue.Model.t Abstract_domain.key -> ('state -> Cvalue.Model.t) option) ->
'state Eval.or_bottom -> Cvalue.Model.t
val inject : Cvalue.Model.t -> State.t
val project : State.t -> Cvalue.Model.t
Specific functions for partitioning optimizations.
type
prefix
module Subpart: Hashtbl.HashedType
val distinct_subpart : Cvalue.Model.t ->
Cvalue.Model.t -> (prefix * Subpart.t * Subpart.t) option
val find_subpart : Cvalue.Model.t -> prefix -> Subpart.t option