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/Dwarf_lines/index.html

Module `Binsec.Dwarf_lines`

type entry = {

addresses : int Interval.t;
path : string;
line : int;
column : int;
is_stmt : bool;
basic_block : bool;
discriminator : int;

}

represent one or more rows of the addresse / line matrix addresses the range of virtual addresses of the entry path the path of the processed file line the line of the source (starting from 1) column the column (non reliable, old compilers do not produce it) is_stmt if the entry correspond to a statement in the source basic_block if the entry is the start of a basic block discriminator an integer identifying the block to which the entry belong

type t

val load : Loader.Img.t -> t

load img extract and interpret the content of .debug_line section

val fold : ('a -> entry -> 'a) -> 'a -> t -> 'a

fold f line iterate through the line matrix

val iter : (entry -> unit) -> t -> unit

iter f line same as fold but without return

include Sigs.PRINTABLE with type t := t

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