package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=108b575f2b5405814cab41e34d15602045cc708c4b11ebb662a49ca759b3a37c

sha512=3c17273fc1deb160bc1bccf827e9afaec50715ee46d0b8e232be7599a0cd7c91f8422d59ea4d18f72c6133d9d026e21786b0d7c7ce8f394784f2cc350d9ada07

type t = (Loader_elf.Img.t, Loader_pe.Img.t, Loader_raw.Img.t) t_pack

type header =
  (Loader_elf.Img.header, Loader_pe.Img.header, Loader_raw.Img.header)
    header_pack

val arch : t -> Machine.t

val entry : t -> int

val sections : t -> Section.t array

val symbols : t -> Symbol.t array

val header : t -> header

val cursor : ?at:int -> t -> Loader_buf.cursor

val content : t -> Section.t -> Loader_buf.t

include Sigs.PRINTABLE with type t := t

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