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.3.0.tar.gz

sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea

md5=13f2cb1e3b9d90348852252fb0f2d09f

doc/bap/Bap/Std/Disasm_expert/Recursive/index.html

Module `Disasm_expert.Recursive`

Recursive Descent Disassembler. This disassembler is built on top of Basic disassembler. It uses the work list algorithm to implement recursive descent disassembly and reconstructs the whole program CFG.

This is an expert-level module, and it is suggested to use high-level Disasm interface, that is built ontop of this module.

type t

type error = [

| `Failed_to_disasm of mem
| `Failed_to_lift of mem * Basic.full_insn * Core_kernel.Error.t

]

error domain of errors.

val sexp_of_error : error -> Ppx_sexp_conv_lib.Sexp.t

val run : 
  ?backend:string ->
  ?brancher:brancher ->
  ?rooter:rooter ->
  arch ->
  mem ->
  t Core_kernel.Or_error.t

run ?backend ?brancher ?rooter arch mem disassemble and reconstruct a CFG of the code in mem, assuming architecture arch.

parameter backend
a backend name (default is implementation defined).

parameter brancher
what brancher to use (defaults to Brancher.of_bil.

parameter rooter
what rooter to use (defaults to Rooter.empty).

val cfg : t -> cfg

cfg t returns a control flow graph, representing the code in the input region of memory. Note, this is not a subroutine CFG, is is a whole segment graph.

val errors : t -> error list

errors disasm returns a list of non-critical errors, that happened during the disassembly (e.g., unknown opcodes and unlifted instructions.