bap-taint

BAP Taint Analysis Framework
IN THIS PACKAGE
Parameter #1 Bap_taint . Std . Taint . Kind . Make . Machine . Id . Map . Provide_bin_io . Key
include Bin_prot.Binable.S with type t := Key.t
include Bin_prot.Binable.S_only_functions with type t := Key.t
val bin_size_t : Key.t Bin_prot.Size.sizer
val bin_write_t : Key.t Bin_prot.Write.writer
val bin_read_t : Key.t Bin_prot.Read.reader
val __bin_read_t__ : ( int -> Key.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