package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=81859d54721969893aabcb5b16ff41d0698f8c24799d8357ec7b1c10cd5ebf94

sha512=580561e70189b3c77bf09364ad393750263b5cfb36dce01aa7cd34ea4d4ebcc9085a52f18b7514e4046d51b488f2dfc5271aea8259c7cbce1534b880cf76bb6e

val decode : 
  Binsec.Lreader.t ->
  Binsec.Virtual_address.t ->
  Binsec.Instruction.Generic.t * Binsec.Dhunk.t

decode r addr decodes what is at address addr in reader r.

val cached_decode : 
  Binsec.Lreader.t ->
  Binsec.Virtual_address.t ->
  Binsec.Instruction.Generic.t * Binsec.Dhunk.t

Use let decode = cached_decode reader in decode addr1; ... decode addrn;

if you want to use a cached decoder, adapted for a new reader.

The cached decoder assumes that the code will not change dynamically.