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

sha256=ebc732ef78d3f6d94a0d179f8ef76a74dedd4d23f9783c3875091695c1ceee56

sha512=cf91afa2223681c9b50b71429d739fc37c792264e43f72212ac405088d3de5c9f04d40ef6ae92526c727569982d48d1678811341b5d9b4bbc596fbc55d45b79e

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