package bap-primus-promiscuous

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Primus_promiscuous_main.Forker`Source

module Machine : Bap_primus.Std.Primus.Machine.S

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 pp_id : Format.formatter -> Monads.Std.Monad.State.Multi.id -> unit

val do_fork : 
  'a Bap.Std.Term.t ->
  child:(unit -> unit Machine.t) ->
  Bap_primus.Std.Primus.Machine.id Machine.t

Sourceval fork : Bap.Std.blk Bap.Std.Term.t -> unit 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 is_last : Bap.Std.blk Bap.Std.Term.t -> Bap.Std.def Bap.Std.Term.t -> bool

Sourceval has_no_def : Bap.Std.blk Bap.Std.Term.t -> bool

Sourceval step : Bap_primus.Std.Primus.Pos.t -> unit Machine.t

Sourceval mark_visited : 'a Bap.Std.Term.t -> unit Machine.t

Sourceval init : unit -> unit Machine.t