bap-taint

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

get machine state returns the local state of the machine.

put machine state sets the local state of the machine.

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

update machine state ~f maps the local state of the machine.