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

type t

module Idx : 
  Cbat_lattice_intf.S_semi with type t = WordSet.idx * Bap.Std.endian

include Cbat_lattice_intf.S_indexed with type t := t and type idx = Idx.t

type idx = Idx.t

val get_idx : t -> idx

val top : idx -> t

val bottom : idx -> t

val meet : t -> t -> t

val join : t -> t -> t

val widen_join : t -> t -> t

val precedes : t -> t -> bool

val equal : t -> t -> bool

val create : WordSet.t -> Bap.Std.endian -> t

val data : t -> WordSet.t

val is_top : t -> bool

val is_bottom : t -> bool

val join_at : idx -> t -> t -> t

val meet_at : idx -> t -> t -> t

val join_poly : t -> t -> t

val meet_poly : t -> t -> t