package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

Dune Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (18)

Authors

Maintainers

B

BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

binsec-0.6.3.tbz

sha256=108b575f2b5405814cab41e34d15602045cc708c4b11ebb662a49ca759b3a37c

sha512=3c17273fc1deb160bc1bccf827e9afaec50715ee46d0b8e232be7599a0cd7c91f8422d59ea4d18f72c6133d9d026e21786b0d7c7ce8f394784f2cc350d9ada07

doc/binsec/Binsec/Lreader/index.html

Module `Binsec.Lreader`

Basic stream reader

type byte = int

type t

Constructors

val create : 
  ?endianness:Machine.endianness ->
  ?at:int ->
  ('a -> int -> byte) ->
  'a ->
  t

val of_img : ?endianness:Machine.endianness -> ?at:int -> Loader.Img.t -> t

val of_zero_extend_buffer : 
  ?endianness:Machine.endianness ->
  ?at:int ->
  Loader_buf.t ->
  t

val of_nibbles : ?endianness:Machine.endianness -> ?at:int -> string -> t

val of_bytes : ?endianness:Machine.endianness -> ?at:int -> string -> t

val of_binstream : 
  ?endianness:Machine.endianness ->
  ?at:int ->
  Binstream.t ->
  t

Pretty-printer

val pp : Format.formatter -> t -> unit

Generic manipulation functions

val get_pos : t -> int

val rewind : t -> int -> unit

rewind r n moves back the cursor n bytes.

val advance : t -> int -> unit

advance r n moves the cursor the cursor n bytes.

val set_endianness : t -> Machine.endianness -> unit

set_endianness e r sets reader to report value w.r.t to endianness r

Read functions

module type Accessor = sig ... end

module Read : Accessor with type t := t

Accessor functions of module Read read n=1, 2, 4, or 8 bytes and advance n bytes as well.

module Peek : Accessor with type t := t

Peek is like Read but does not advance

val get_slice : t -> lo:int -> hi:int -> bytes

get_slice t ~lo ~hi returns the bytes contained in the interval from [lo, hi].

raises Invalid_argument
if lo > hi

On This Page

Constructors
Pretty-printer
Generic manipulation functions
Read functions