Documentation · bap-taint 2.4.0

bap-taint

BAP Taint Analysis Framework

Version

Overview Documentation

IN THIS PACKAGE

library taint
- module Bap_taint
  - module Std
    
    module Taint
    
    module Gc
    
    module Conservative
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Other
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Kind
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Other
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Object
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Other
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Propagation
    
    module Policy
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Other
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module Rel
    
    module Tracker
    
    module Make
    
    argument 1-Machine
    
    module Collection
    
    module Delay
    
    argument 1-T
    
    module Eager
    
    argument 1-T
    
    module type S
    
    module Exn
    
    module Fn
    
    module Global
    
    module Id
    
    module Hash_queue
    
    module Hash_set
    
    module Provide_bin_io
    
    argument 1-X
    
    module Provide_of_sexp
    
    argument 1-X
    
    module Map
    
    module Key
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_hash
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Tree
    
    module Provide_of_sexp
    
    argument 1-K
    
    module Replace_polymorphic_compare
    
    module Set
    
    module Elt
    
    module Named
    
    module Provide_bin_io
    
    argument 1-Elt
    
    module Provide_hash
    
    argument 1-Elt
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Tree
    
    module Named
    
    module Provide_of_sexp
    
    argument 1-Elt
    
    module Table
    
    module Provide_bin_io
    
    argument 1-Key
    
    module Provide_of_sexp
    
    argument 1-Key
    
    module Let
    
    module Let_syntax
    
    module Let_syntax
    
    module Open_on_rhs
    
    module Lift
    
    module List
    
    module Local
    
    module Monad_infix
    
    module Observation
    
    module Other
    
    module Pair
    
    module Seq
    
    module Syntax
    
    module Triple
    
    module type Value
library taint_plugin

Libraries

This package provides the following libraries (via ocamlobjinfo):

taint

Documentation:

Bap_taint Taint Analysis Framework.

taint_plugin

Documentation:

Taint_main