package cbat-vsa

  1. Overview
  2. Docs
module WordSet = Cbat_clp_set_composite
type t
include Cbat_lattice_intf.S_val with type t := t
val top : t
val join : t -> t -> t
val widen_join : t -> t -> t
val precedes : t -> t -> bool
val equal : t -> t -> bool
val bottom : t
val meet : t -> t -> t
val __bin_read_t__ : (int -> t) Core_kernel.Std.Bin_prot.Read.reader
val compare : t -> t -> int
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val pp : Format.formatter -> t -> unit
val add_word : t -> key:Bap.Std.var -> data:WordSet.t -> t
val add_memory : t -> key:Bap.Std.var -> data:Cbat_ai_memmap.t -> t
val find_word : WordSet.idx -> t -> Bap.Std.var -> WordSet.t
val find_memory : Cbat_ai_memmap.idx -> t -> Bap.Std.var -> Cbat_ai_memmap.t