package bap-primus-promiscuous
Enables the promiscuous mode of execution
Install
dune-project
Dependency
Authors
Maintainers
Sources
v2.2.0.tar.gz
sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46
md5=5dbc6677d646bec59fd7414f23e88cf8
doc/bap-plugin-primus_promiscuous/Primus_promiscuous_main/EnableDivisionByZero/Linker/index.html
Module EnableDivisionByZero.Linker
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