package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type

Definition of DBA type

type size = int
type malloc_size = Z.t
type id = int

An id is a local identifier which characterizes an atomic instruction inside a Dba.block

type address = {
  1. base : Virtual_address.t;
  2. id : id;
}

A DBA address is the association of a DBA block address represented by base and a unique id. The first element of a block has id 0.

type addresses = address list
type 'a jump_target =
  1. | JInner of 'a
    (*

    Jump inside the same block, to a label

    *)
  2. | JOuter of address
    (*

    Jump outside the block to its first element

    *)
type tag =
  1. | Call of address
  2. | Return
    (*

    For call address of return site

    *)
type state =
  1. | OK
  2. | KO
  3. | Undecoded of string
    (*

    Stop because of unanticipated string of bytes *

    *)
  4. | Unsupported of string
    (*

    Stop because instr is not supported by Binsec *

    *)
module Unary_op : sig ... end
module Binary_op : sig ... end
type malloc_status =
  1. | Freed
  2. | Freeable
type restricted_region = [
  1. | `Stack
  2. | `Malloc of (int * address) * Z.t
]
type region = [
  1. | `Constant
  2. | restricted_region
]
type 'a var = {
  1. name : string;
  2. size : size;
  3. info : 'a;
}
module VarTag : sig ... end
module Expr : sig ... end
type exprs = Expr.t list
module Var : sig ... end
type printable =
  1. | Exp of Expr.t
  2. | Str of string
module LValue : sig ... end
module Tag : sig ... end
module Jump_target : sig ... end
module Instr : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct