package bap-primus-promiscuous
Enables the promiscuous mode of execution
Install
dune-project
Dependency
Authors
Maintainers
Sources
v2.5.0.tar.gz
sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174
md5=5abd9b3628b43f797326034f31ca574f
doc/bap-plugin-primus_promiscuous/Primus_promiscuous_main/EnableDivisionByZero/Linker/index.html
Module EnableDivisionByZero.LinkerSource
type 'a m = 'a Machine.tval link :
?addr:Bap.Std.addr ->
?name:string ->
?tid:Bap.Std.tid ->
Bap_primus.Std.Primus.Linker.code ->
unit mval unlink : Bap_primus.Std.Primus.Linker.name -> unit mval lookup :
Bap_primus.Std.Primus.Linker.name ->
Bap_primus.Std.Primus.Linker.code option mval exec : Bap_primus.Std.Primus.Linker.name -> unit mval resolve_addr : Bap_primus.Std.Primus.Linker.name -> Bap.Std.addr option mval resolve_symbol : Bap_primus.Std.Primus.Linker.name -> string option mval resolve_tid : Bap_primus.Std.Primus.Linker.name -> Bap.Std.tid option mval is_linked : Bap_primus.Std.Primus.Linker.name -> bool m