bap-taint

BAP Taint Analysis Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library taint
Module Bap_taint . Std . Taint . Gc . Conservative . Machine . Id . Set . Tree . Named
val is_subset : named -> of_:named -> unit Base.Or_error.t
val equal : named -> named -> unit Base.Or_error.t