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.base/Binsec_base/Zmap/index.html

Module Binsec_base.ZmapSource

Sourcetype ('a, _) node = private
  1. | Empty : ('a, [< `Empty | `Item_or_empty | `Any ]) node
  2. | Item : {
    1. lo : Z.t;
    2. hi : Z.t;
    3. elt : 'a;
    } -> ('a, [< `Non_empty | `Item | `Item_or_empty | `Any ]) node
  3. | Node : {
    1. lo : Z.t;
    2. hi : Z.t;
    3. mask : Z.t;
    4. zero : 'a tree;
    5. one : 'a tree;
    } -> ('a, [< `Non_empty | `Node | `Any ]) node
Sourceand 'a tree = ('a, [ `Non_empty ]) node
Sourceand 'a t = ('a, [ `Any ]) node
Sourceand 'a item = ('a, [ `Item ]) node
Sourceand 'a item_opt = ('a, [ `Item_or_empty ]) node
Sourceval empty : 'a t
Sourceval is_empty : 'a t -> bool
Sourceval is_empty_between : Z.t -> Z.t -> 'a t -> bool
Sourceval disjoint : 'a t -> 'b t -> bool
Sourceval singleton : lo:Z.t -> hi:Z.t -> 'a -> 'a t
Sourceval union_eq : ?stich:('a item -> 'a item -> 'a option) -> ('a item -> 'a item -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval union_left : ?stich:('a item -> 'a item -> 'a option) -> ?crop:(lo:Z.t -> hi:Z.t -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval union_update : ?stich:('a item -> 'a item -> 'a option) -> ('a item -> 'a item -> 'a t) -> 'a t -> 'a t -> 'a t
Sourceval find : Z.t -> 'a t -> 'a item
Sourceval find_opt : Z.t -> 'a t -> 'a item_opt
Sourceval none : 'a item_opt
Sourceval mem : Z.t -> 'a t -> bool
Sourceval iter : ('a item -> unit) -> 'a t -> unit
Sourceval rev_iter : ('a item -> unit) -> 'a t -> unit
Sourceval fold : ('a item -> 'b -> 'b) -> 'b -> 'a t -> 'b
Sourceval rev_fold : ('a item -> 'b -> 'b) -> 'b -> 'a t -> 'b
Sourceval map : ('a item -> 'b) -> 'a t -> 'b t
Sourceval choose : 'a t -> 'a item
Sourceval bindings : 'a t -> 'a item list
Sourceval substract : ?crop:(lo:Z.t -> hi:Z.t -> 'a -> 'a) -> 'a t -> 'b t -> 'a t
Sourceval fold_inter : ('a item -> 'b item -> 'c -> 'c) -> 'c -> 'a t -> 'b t -> 'c