bap-taint

BAP Taint Analysis Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library taint
Module Bap_taint . Std . Taint . Kind . Make . Machine . Global

get state extracts the state.

val put : 'a Bap_primus.Std.Primus.Machine.state -> 'a -> unit t

put state x saves a machine state

val update : 'a Bap_primus.Std.Primus.Machine.state -> f:( 'a -> 'a ) -> unit t

update state ~f updates a state using function f.