package bap-primus-promiscuous
Enables the promiscuous mode of execution
Install
dune-project
Dependency
Authors
Maintainers
Sources
v2.3.0.tar.gz
sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea
md5=13f2cb1e3b9d90348852252fb0f2d09f
doc/bap-plugin-primus_promiscuous/Primus_promiscuous_main/Forker/Env/index.html
Module Forker.Env
val get : Bap.Std.var -> Bap_primus.Std.Primus.value Machine.tval set : Bap.Std.var -> Bap_primus.Std.Primus.value -> unit Machine.tval add : Bap.Std.var -> Bap_primus.Std.Primus.Generator.t -> unit Machine.tval del : Bap.Std.var -> unit Machine.tval has : Bap.Std.var -> bool Machine.tval is_set : Bap.Std.var -> bool Machine.tval all : Bap.Std.var Bap.Std.seq Machine.t