bap-taint

BAP Taint Analysis Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library taint
Module Bap_taint . Std . Taint . Gc . Conservative

Parameters

Signature

val init : unit -> unit Machine.t

init () component initialization function.