bap-taint

BAP Taint Analysis Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library taint

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.