package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

The Binary Analysis Platform Standard Library

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.1.0.tar.gz

sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de

md5=3db9deac8d429b9b8a8ec9aec54987b1

doc/bap/Bap/Std/Disasm/Driver/index.html

Module `Disasm.Driver`

type state

type insns

val init : state

val scan : mem -> state -> state Bap_knowledge.knowledge

val explore : 
  ?entry:addr ->
  ?follow:(addr -> bool Bap_knowledge.knowledge) ->
  block:(mem -> insns -> 'n Bap_knowledge.knowledge) ->
  node:('n -> 'c -> 'c Bap_knowledge.knowledge) ->
  edge:('n -> 'n -> 'c -> 'c Bap_knowledge.knowledge) ->
  init:'c ->
  state ->
  'c Bap_knowledge.knowledge

val list_insns : ?rev:bool -> insns -> Bap_core_theory.Theory.Label.t list

val execution_order : 
  insns ->
  Bap_core_theory.Theory.Label.t list Bap_knowledge.knowledge