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 (18)

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
    Manh-Dung Nguyen
  10. M
    Mathéo Vergnolle
  11. M
    Mathilde Ollivier
  12. M
    Matthieu Lemerre
  13. O
    Olivier Nicole
  14. R
    Richard Bonichon
  15. R
    Robin David
  16. S
    Sébastien Bardin
  17. S
    Soline Ducousso
  18. T
    Ta Thanh Dinh
  19. Y
    Yaëlle Vinçont

Maintainers

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

Sources

binsec-0.7.1.tbz
sha256=2f990f80ebd06b71af4fde46c6a248eb74d52c6f46be63bdf97d99f72589db13
sha512=38d93ae20ae58e10027eb0f7669d3ab960ddc640526018fc94008ccd6cb63ec99030d0ee39dfb9cbd0d5e144db4615c9027bd2adcb197fc75676c45dbb54f836

doc/binsec/Binsec/Machine/index.html

Module Binsec.Machine

Abstract description of machines

Abstract representation of hardware architecture

type bitwidth = [
  1. | `x16
  2. | `x32
  3. | `x64
  4. | `x128
]
type endianness =
  1. | LittleEndian
  2. | BigEndian
type isa = private
  1. | Unknown
  2. | ARM of {
    1. rev : [ `v7 | `v8 ];
    2. endianness : endianness;
    }
  3. | RISCV of {
    1. bits : [ `x32 | `x64 | `x128 ];
    }
  4. | X86 of {
    1. bits : [ `x16 | `x32 | `x64 ];
    }
  5. | Z80
module ISA : sig ... end
module Bitwidth : sig ... end

Word size of the machine in bits

module Endianness : Sigs.PRINTABLE with type t = endianness
type t = isa
val amd64 : t
val armv7 : endianness -> t
val armv8 : endianness -> t
val riscv : [ `x32 | `x64 | `x128 ] -> t
val x86 : t
val z80 : t
val unknown : t
include Sigs.PRINTABLE with type t := t
val pp : Format.formatter -> t -> unit