package binsec

  1. Overview
  2. Docs
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

  1. A
    Adel Djoudi
  2. B
    Benjamin Farinier
  3. C
    Chakib Foulani
  4. D
    Dorian Lesbre
  5. F
    Frédéric Recoules
  6. G
    Guillaume Girol
  7. J
    Josselin Feist
  8. L
    Lesly-Ann Daniel
  9. M
    Mahmudul Faisal Al Ameen
  10. M
    Manh-Dung Nguyen
  11. M
    Mathéo Vergnolle
  12. M
    Mathilde Ollivier
  13. M
    Matthieu Lemerre
  14. N
    Nicolas Bellec
  15. O
    Olivier Nicole
  16. R
    Richard Bonichon
  17. R
    Robin David
  18. S
    Sébastien Bardin
  19. S
    Soline Ducousso
  20. T
    Ta Thanh Dinh
  21. Y
    Yaëlle Vinçont
  22. Y
    Yanis Sellami

Maintainers

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

Sources

binsec-0.11.0.tbz
sha256=4cf70a0367fef6f33ee3165f05255914513ea0539b94ddfef0bd46fc9b42fa8a
sha512=cd67a5b7617f661a7786bef0c828ee55307cef5260dfecbb700a618be795d81b1ac49fc1a18c4904fd2eb8a182dc862b0159093028651e78e7dc743f5babf9e3

doc/binsec_kernel_loader/Binsec_kernel_loader/Loader_utils/index.html

Module Binsec_kernel_loader.Loader_utilsSource

Loader utility functions

Sourceval find_section_by_name : string -> Loader.Img.t -> Loader.Section.t

section_slice section_name img returns the interval lo, hi of virtual addresses defining the section section_name.

Sourceval find_section_by_address : address:Binsec_base.Virtual_address.t -> Loader.Img.t -> Loader.Section.t option
Sourceval find_section_by_address_exn : address:Binsec_base.Virtual_address.t -> Loader.Img.t -> Loader.Section.t
  • raises Failure

    exception if no such section exists

Sourceval find_section : p:(Loader.Section.t -> bool) -> Loader.Img.t -> Loader.Section.t option

Manipulation of symbols

Functions that are of the form f_by_name call the function symbol_by_name which is costly because it compares all the symbols in the image to the requested name. Use them with parcimony and cache the symbols if they are requested multiple times.

Sourceval symbol_by_name : name:Stdlib.String.t -> Loader.Img.t -> Loader.Symbol.t option

symbol_by_name ~name img Returns Some symbol name in img. If img contains no symbol name, returns None.

address_of_symbol symbol finds Some address where the symbole is defined. Otherwise returns None.

Sourceval address_of_symbol_by_name : name:string -> Loader.Img.t -> Binsec_base.Virtual_address.t option
Sourceval size_of_symbol : Loader.Symbol.t -> int
Sourceval size_of_symbol_by_name : name:string -> Loader.Img.t -> int option

symbol_interval symbol Returns the address range corresponding to symbol

Sourceval symbol_interval_by_name : name:string -> Loader.Img.t -> (Binsec_base.Virtual_address.t * Binsec_base.Virtual_address.t) option
Sourceval belongs_to_symbol : Loader.Symbol.t -> Binsec_base.Virtual_address.t -> bool

belongs_to_symbol symbol addr Returns true if the address addr is locate in the symbol (i.e. in the range address_of_symbol symbol (included) and address_of_symbol symbol + size_of_symbol symbol_interval (excluded)).

Sourceval belongs_to_symbol_by_name : name:string -> Loader.Img.t -> Binsec_base.Virtual_address.t -> bool
Sourceval address_of_symbol_or_section_by_name : name:string -> Loader.Img.t -> Binsec_base.Virtual_address.t option
Sourceval size_of_symbol_or_section_by_name : name:string -> Loader.Img.t -> int option
Sourceval interval_of_symbol_or_section_by_name : name:string -> Loader.Img.t -> (Binsec_base.Virtual_address.t * Binsec_base.Virtual_address.t) option
Sourceval get_byte_at : Loader.Img.t -> Binsec_base.Bitvector.t -> int
Sourceval entry_point : Loader.Img.t -> Binsec_base.Virtual_address.t
Sourcemodule Binary_loc : sig ... end