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.7.2.tbz

sha256=5e1d0f26a567df4abcbeb964b454cf8b2c8484194ff2d9639bdeb94d63edcb3b

sha512=a638c665407fde9aadbd57a7b9f84260db8f03c0cbf65722732d43dfc93122d801e31977e0ba7cd249b340262caf216bca746a3520d0e01d487a5baf6a6c77e6

doc/binsec/Binsec/Loader_buf/index.html

Module `Binsec.Loader_buf`

Generic representation of loader buffers

Thanks to def-lkb for the general idea: https://github.com/def-lkb/owee

exception Invalid_format of string

Minimal support for error reporting.

val invalid_format : string -> 'a

val assert_format : bool -> string -> unit

module type S = sig ... end

module type Bufferable = sig ... end

module Make (B : Bufferable) : S with type t = B.t

module type W = sig ... end

module type Writable = sig ... end

module Wake (W : Writable) : W with type t = W.t

include W
  with type t =
         (int, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t

include S
  with type t =
         (int, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t

type t = (int, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t

val dim : t -> int

Size of the buffer.

type cursor = private {

buffer : t;
endian : Machine.endianness;
mutable position : int;

}

A mutable cursor, pointing to an arbitrary position of a buffer.

val cursor : ?at:int -> Machine.endianness -> t -> cursor

val seek : cursor -> int -> unit

val ensure : cursor -> int -> string -> unit

val advance : cursor -> int -> unit

val at_end : cursor -> bool

module Peek : sig ... end

module Read : sig ... end

module Write : sig ... end

val sub : cursor -> int -> cursor

sub t len returns a fresh cursor pointing to the beginning of a sub-buffer * of size len starting from t, and advances t by len.

val read : ?signed:bool -> [ `x32 | `x64 ] -> cursor -> int