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.2.tbz
sha256=5e1d0f26a567df4abcbeb964b454cf8b2c8484194ff2d9639bdeb94d63edcb3b
sha512=a638c665407fde9aadbd57a7b9f84260db8f03c0cbf65722732d43dfc93122d801e31977e0ba7cd249b340262caf216bca746a3520d0e01d487a5baf6a6c77e6

doc/binsec.sse/Libsse/Fiber/index.html

Module Libsse.FiberSource

Sourcetype 'a t =
  1. | Hook : {
    1. addr : Binsec.Virtual_address.t;
    2. info : string;
    3. mutable succ : [ `All ] t;
    } -> [< `Label | `All ] t
  2. | Exec : {
    1. addr : Binsec.Virtual_address.t;
    2. info : string;
    3. n : int;
    4. others : (Binsec.Virtual_address.t * string) list;
    5. mutable succ : [ `All ] t;
    } -> [< `Label | `All ] t
  3. | Assign : {
    1. var : Libsse.Types.Var.t;
    2. rval : Libsse.Types.Expr.t;
    3. mutable succ : [ `All ] t;
    } -> [< `All ] t
  4. | Clobber : {
    1. var : Libsse.Types.Var.t;
    2. mutable succ : [ `All ] t;
    } -> [< `All ] t
  5. | Load : {
    1. var : Libsse.Types.Var.t;
    2. base : Types.A.t;
    3. dir : Binsec.Machine.endianness;
    4. addr : Libsse.Types.Expr.t;
    5. mutable succ : [ `All ] t;
    } -> [< `All ] t
  6. | Store : {
    1. base : Types.A.t;
    2. dir : Binsec.Machine.endianness;
    3. addr : Libsse.Types.Expr.t;
    4. rval : Libsse.Types.Expr.t;
    5. mutable succ : [ `All ] t;
    } -> [< `All ] t
  7. | Symbolize : {
    1. var : Libsse.Types.Var.t;
    2. mutable succ : [ `All ] t;
    } -> [< `All ] t
  8. | Assume : {
    1. test : Libsse.Types.Expr.t;
    2. mutable succ : [ `All ] t;
    } -> [< `Assume | `All ] t
  9. | Assert : {
    1. test : Libsse.Types.Expr.t;
    2. mutable succ : [ `All ] t;
    } -> [< `Assert | `All ] t
  10. | Branch : {
    1. test : Libsse.Types.Expr.t;
    2. mutable taken : [ `All ] t;
    3. mutable fallthrough : [ `All ] t;
    } -> [< `Branch | `All ] t
  11. | Goto : {
    1. addr : Binsec.Virtual_address.t;
    2. mutable preds : [ `All ] t list;
    } -> [< `All ] t
  12. | Jump : Libsse.Types.Expr.t -> [< `Jump | `All ] t
  13. | Halt : [< `All ] t
  14. | Probe : {
    1. kind : Probe.t;
    2. mutable succ : [ `All ] t;
    } -> [< `Probe | `All ] t
  15. | Cut : [< `All ] t
  16. | Die : string -> [< `All ] t
Sourceval addr : [ `Label ] t -> Binsec.Virtual_address.t
Sourceval assign : Binsec.Dba.LValue.t -> Binsec.Dba.Expr.t -> [ `All ] t -> [ `All ] t
Sourceval nondet : Binsec.Dba.LValue.t -> [ `All ] t -> [ `All ] t
Sourceval of_dhunk : Binsec.Dhunk.t -> [ `All ] t
Sourceval of_script : ?continue:[ `All ] t -> Script.Instr.t list -> [ `All ] t
Sourceval mk_cut : Binsec.Virtual_address.t -> string -> Libsse.Types.Expr.t option -> [ `All ] t -> [ `Label ] t
Sourceval mk_assume : Binsec.Virtual_address.t -> string -> Libsse.Types.Expr.t -> [ `All ] t -> [ `Label ] t
Sourceval mk_assert : Binsec.Virtual_address.t -> string -> Libsse.Types.Expr.t -> [ `All ] t -> [ `Label ] t
Sourceval mk_reach : Binsec.Virtual_address.t -> string -> int -> Libsse.Types.Expr.t option -> int -> Types.Output.t list -> [ `All ] t -> [ `Label ] t
Sourceval mk_enumerate : Binsec.Virtual_address.t -> string -> int -> Types.Output.format -> Libsse.Types.Expr.t -> int -> [ `All ] t -> [ `Label ] t