package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

dune-project

Dependency

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

Authors

Maintainers

B

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

Sources

binsec-0.11.0.tbz

sha256=4cf70a0367fef6f33ee3165f05255914513ea0539b94ddfef0bd46fc9b42fa8a

sha512=cd67a5b7617f661a7786bef0c828ee55307cef5260dfecbb700a618be795d81b1ac49fc1a18c4904fd2eb8a182dc862b0159093028651e78e7dc743f5babf9e3

doc/binsec_kernel_dba/Binsec_kernel_dba/Dba/index.html

Module `Binsec_kernel_dba.Dba`Source

Definition of DBA type

Sourcetype size = int

Sourcetype endianness = Binsec_base.Basic_types.endianness =

| LittleEndian
| BigEndian

Sourcetype id = int

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

Sourcetype address = {

base : Binsec_base.Virtual_address.t;
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.

Sourcetype addresses = address list

Sourcetype 'a jump_target =

| JInner of 'a
(*
Jump inside the same block, to a label
*)
| JOuter of address
(*
Jump outside the block to its first element
*)

Sourcetype tag =

| Default
| Call of address
| Return
(*
For call address of return site
*)

Sourcetype state =

| OK
| KO
| Undecoded of string
(*
Stop because of unanticipated string of bytes *
*)
| Unsupported of string
(*
Stop because instr is not supported by Binsec *
*)

Sourcemodule Unary_op : sig ... end

Sourcemodule Binary_op : sig ... end

Sourcemodule Var : sig ... end

Sourcemodule Expr : sig ... end

Sourcetype exprs = Expr.t list

Sourcetype printable =

| Exp of Expr.t
| Str of string

Sourcemodule LValue : sig ... end

Sourcemodule Tag : sig ... end

Sourcemodule Jump_target : sig ... end

Sourcemodule Instr : sig ... end