package bap-taint

You can search for identifiers within the package.

in-package search v0.2.0

bap-taint
- Library bap-taint
  - Bap_taint
    
    Std
    
    Value
    
    Taint
    
    Kind
    
    Make
    
    Replace_polymorphic_compare
    
    Map
    
    Key
    
    Tree
    
    Provide_of_sexp
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Provide_hash
    
    Set
    
    Elt
    
    Tree
    
    Named
    
    Provide_of_sexp
    
    Named
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Provide_hash
    
    Rel
    
    Object
    
    Make
    
    Replace_polymorphic_compare
    
    Map
    
    Key
    
    Tree
    
    Provide_of_sexp
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Provide_hash
    
    Set
    
    Elt
    
    Tree
    
    Named
    
    Provide_of_sexp
    
    Named
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Provide_hash
    
    Tracker
    
    Make
    
    Propagation
    
    Policy
    
    Make
    
    Gc
    
    Conservative

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Taint.Kind`

Each object that the engine tracks has an associated kind, that denotes a class of objects that share the same semantic properties.

In layman terms, kind allows analyses to distinguish their taints from other taints, since it introduces namespacing between different analyses so that several analyses could be ran in parallel without intersecting with each other.

type t

module Make (Machine : Bap_primus.Std.Primus.Machine.S) : sig ... end

include Core_kernel.Comparable.S_plain
  with type t := t
   and type comparator_witness = Bap_primus.Std.Primus.Value.comparator_witness

include Base.Comparable.S
  with type t := t
  with type comparator_witness = Bap_primus.Std.Primus.Value.comparator_witness

val (>=) : t -> t -> bool

val (<=) : t -> t -> bool

val (=) : t -> t -> bool

val (>) : t -> t -> bool

val (<) : t -> t -> bool

val (<>) : t -> t -> bool

val equal : t -> t -> bool

val compare : t -> t -> int

compare t1 t2 returns 0 if t1 is equal to t2, a negative integer if t1 is less than t2, and a positive integer if t1 is greater than t2.

val min : t -> t -> t

val max : t -> t -> t

val ascending : t -> t -> int

ascending is identical to compare. descending x y = ascending y x. These are intended to be mnemonic when used like List.sort ~compare:ascending and List.sort ~cmp:descending, since they cause the list to be sorted in ascending or descending order, respectively.

val descending : t -> t -> int

val between : t -> low:t -> high:t -> bool

between t ~low ~high means low <= t <= high

val clamp_exn : t -> min:t -> max:t -> t

clamp_exn t ~min ~max returns t', the closest value to t such that between t' ~low:min ~high:max is true.

Raises if not (min <= max).

val clamp : t -> min:t -> max:t -> t Base__.Or_error.t

type comparator_witness = Bap_primus.Std.Primus.Value.comparator_witness

val comparator : (t, comparator_witness) Base__.Comparator.comparator

val validate_lbound : min:t Base__.Maybe_bound.t -> t Base__.Validate.check

val validate_ubound : max:t Base__.Maybe_bound.t -> t Base__.Validate.check

val validate_bound : 
  min:t Base__.Maybe_bound.t ->
  max:t Base__.Maybe_bound.t ->
  t Base__.Validate.check

module Replace_polymorphic_compare : 
  Base.Comparable.Polymorphic_compare with type t := t

module Map : 
  Core_kernel.Map.S_plain
    with type Key.t = t
    with type Key.comparator_witness = comparator_witness

module Set : 
  Core_kernel.Set.S_plain
    with type Elt.t = t
    with type Elt.comparator_witness = comparator_witness

package bap-taint

Module Taint.Kind

Module `Taint.Kind`