package cbat-vsa

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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_t : t Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_t : t Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_t__ : (int -> t) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_t : t Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_t : t Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_t : t Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_t : t Core_kernel.Std.Bin_prot.Type_class.writer

val bin_shape_t : Core_kernel.Std.Bin_prot.Shape.t

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