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/Term/index.html

Module Binsec_base.TermSource

Sourcetype size = int
Sourcetype 'a interval = 'a Interval.t = {
  1. lo : 'a;
  2. hi : 'a;
}
Sourcetype endianness = Machine.endianness =
  1. | LittleEndian
  2. | BigEndian
Sourcetype unary =
  1. | U
Sourceand binary =
  1. | B
Sourcetype _ operator =
  1. | Not : unary operator
  2. | Sext : size -> unary operator
  3. | Uext : size -> unary operator
  4. | Restrict : int interval -> unary operator
  5. | Plus : binary operator
  6. | Minus : _ operator
  7. | Mul : binary operator
  8. | Udiv : binary operator
  9. | Urem : binary operator
  10. | Sdiv : binary operator
  11. | Srem : binary operator
  12. | Or : binary operator
  13. | And : binary operator
  14. | Xor : binary operator
  15. | Concat : binary operator
  16. | Lsl : binary operator
  17. | Lsr : binary operator
  18. | Asr : binary operator
  19. | Rol : binary operator
  20. | Ror : binary operator
  21. | Eq : binary operator
  22. | Diff : binary operator
  23. | Ule : binary operator
  24. | Ult : binary operator
  25. | Uge : binary operator
  26. | Ugt : binary operator
  27. | Sle : binary operator
  28. | Slt : binary operator
  29. | Sge : binary operator
  30. | Sgt : binary operator
Sourcemodule Op : sig ... end
Sourcemodule Bv : sig ... end
Sourcetype (_, 'a, 'b) t = private
  1. | Var : {
    1. hash : int;
    2. size : size;
    3. name : string;
    4. label : 'a;
    } -> ([< `Var | `Loc | `Exp ], 'a, _) t
  2. | Load : {
    1. hash : int;
    2. len : size;
    3. dir : endianness;
    4. mutable addr : ([ `Exp ], 'a, 'b) t;
    5. label : 'b;
    } -> ([< `Mem | `Loc | `Exp ], 'a, 'b) t
  3. | Cst : Bitvector.t -> ([< `Cst | `Exp ], _, _) t
  4. | Unary : {
    1. hash : int;
    2. size : size;
    3. f : unary operator;
    4. mutable x : ([ `Exp ], 'a, 'b) t;
    } -> ([< `Unary | `Exp ], 'a, 'b) t
  5. | Binary : {
    1. hash : int;
    2. size : size;
    3. f : binary operator;
    4. mutable x : ([ `Exp ], 'a, 'b) t;
    5. mutable y : ([ `Exp ], 'a, 'b) t;
    } -> ([< `Binary | `Exp ], 'a, 'b) t
  6. | Ite : {
    1. hash : int;
    2. size : size;
    3. mutable c : ([ `Exp ], 'a, 'b) t;
    4. mutable t : ([ `Exp ], 'a, 'b) t;
    5. mutable e : ([ `Exp ], 'a, 'b) t;
    } -> ([< `Ite | `Exp ], 'a, 'b) t
Sourcemodule type S = sig ... end
Sourcemodule Make (A : Sigs.HASHABLE) (B : Sigs.HASHABLE) : S with type a := A.t and type b := B.t
Sourceval sizeof : (_, _, _) t -> int
Sourceval to_exp : (_, 'a, 'b) t -> ([ `Exp ], 'a, 'b) t

Conversion

Sourceval to_var : (_, 'a, 'b) t -> ([ `Var ], 'a, 'b) t option
Sourceval to_var_exn : (_, 'a, 'b) t -> ([ `Var ], 'a, 'b) t
Sourceval to_loc : (_, 'a, 'b) t -> ([ `Loc ], 'a, 'b) t option
Sourceval to_loc_exn : (_, 'a, 'b) t -> ([ `Loc ], 'a, 'b) t
Sourceval to_mem : (_, 'a, 'b) t -> ([ `Mem ], 'a, 'b) t option
Sourceval to_mem_exn : (_, 'a, 'b) t -> ([ `Mem ], 'a, 'b) t
Sourceval to_cst : (_, _, _) t -> ([ `Cst ], _, _) t option
Sourceval to_cst_exn : (_, _, _) t -> ([ `Cst ], _, _) t
Sourceval pp : Format.formatter -> (_, _, _) t -> unit

Debug