bap-taint

BAP Taint Analysis Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library taint
Parameter #1 Bap_taint . Std . Taint . Kind . Make . Machine . Id . Set . Provide_bin_io . Elt
include Bin_prot.Binable.S with type t := Elt.t
include Bin_prot.Binable.S_only_functions with type t := Elt.t
val bin_size_t : Elt.t Bin_prot.Size.sizer
val bin_write_t : Elt.t Bin_prot.Write.writer
val bin_read_t : Elt.t Bin_prot.Read.reader
val __bin_read_t__ : ( int -> Elt.t ) Bin_prot.Read.reader

This function only needs implementation if t exposed to be a polymorphic variant. Despite what the type reads, this does *not* produce a function after reading; instead it takes the constructor tag (int) before reading and reads the rest of the variant t afterwards.

val bin_shape_t : Bin_prot.Shape.t