package bap-primus-support

You can search for identifiers within the package.

in-package search v0.2.0

Provides supporting components for Primus

Install

dune-project

Dependency

sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de

md5=3db9deac8d429b9b8a8ec9aec54987b1

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

module Eval : sig ... end

module Env : sig ... end

module Mem : sig ... end

module Linker : sig ... end

val assume : assn list -> unit Machine.t

val unsat_assumptions : Bap.Std.blk Bap.Std.Term.t -> assn list list Machine.t

val 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

val fork : Bap.Std.blk Bap.Std.Term.t -> unit Machine.t

val assume_returns : 'a Bap.Std.Term.t -> Bap.Std.Call.t -> unit Machine.t

val fork_on_calls : 'a Bap.Std.Term.t -> Bap.Std.Jmp.t -> unit Machine.t

val is_last : Bap.Std.blk Bap.Std.Term.t -> Bap.Std.def Bap.Std.Term.t -> bool

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

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

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

val init : unit -> unit Machine.t

On This Page