package bap-primus-promiscuous

  1. Overview
  2. Docs
Enables the promiscuous mode of execution

Install

Dune Dependency

Authors

Maintainers

Sources

v2.5.0.tar.gz
sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174
md5=5abd9b3628b43f797326034f31ca574f

doc/bap-plugin-primus_promiscuous/Primus_promiscuous_main/Forker/index.html

Module Primus_promiscuous_main.ForkerSource

Parameters

Signature

Sourcemodule Eval : sig ... end
Sourcemodule Env : sig ... end
Sourcemodule Mem : sig ... end
Sourcemodule Linker : sig ... end
Sourceval assume : assn list -> unit Machine.t
Sourceval unsat_assumptions : Bap.Std.blk Bap.Std.Term.t -> assn list list Machine.t
Sourceval do_fork : 'a Bap.Std.Term.t -> child:(unit -> unit Machine.t) -> Bap_primus.Std.Primus.Machine.id Machine.t
Sourceval assume_returns : 'a Bap.Std.Term.t -> Bap.Std.Call.t -> unit Machine.t
Sourceval fork_on_calls : 'a Bap.Std.Term.t -> Bap.Std.Jmp.t -> unit Machine.t
Sourceval has_no_def : Bap.Std.blk Bap.Std.Term.t -> bool
Sourceval mark_visited : 'a Bap.Std.Term.t -> unit Machine.t
Sourceval init : unit -> unit Machine.t
OCaml

Innovation. Community. Security.