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.8.1.tbz
sha256=94090e05906c7a0559f60d2c65dbe167eb5953a2338b958b71911c1c81dd9ffd
sha512=6f52f8918c3c242f1346ebdc244f80744966112b935e00519e5d4d5acc040f8e2d2c54ff6b172cf5eb34b9bf7366de085605de88fcc15c43f34abce39ed34220

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

Module Libsse.IrSource

Sourcetype builtin = ..
Sourcetype fallthrough =
  1. | Nop
  2. | Debug of string
  3. | Print of Types.Output.t
  4. | Instruction of Binsec.Instruction.t
  5. | Hook of {
    1. addr : Binsec.Virtual_address.t;
    2. info : string;
    }
  6. | Assign of {
    1. var : Libsse.Types.Var.t;
    2. rval : Libsse.Types.Expr.t;
    }
  7. | Clobber of Libsse.Types.Var.t
  8. | Forget of Libsse.Types.Var.t
  9. | Load of {
    1. var : Libsse.Types.Var.t;
    2. base : Types.A.t;
    3. dir : Binsec.Machine.endianness;
    4. addr : Libsse.Types.Expr.t;
    }
  10. | Store of {
    1. base : Types.A.t;
    2. dir : Binsec.Machine.endianness;
    3. addr : Libsse.Types.Expr.t;
    4. rval : Libsse.Types.Expr.t;
    }
  11. | Symbolize of Libsse.Types.Var.t
  12. | Assume of Libsse.Types.Expr.t
  13. | Assert of Libsse.Types.Expr.t
  14. | Enumerate of {
    1. enum : Libsse.Types.Expr.t;
    2. tid : int;
    3. format : Types.Output.format;
    4. n : int;
    }
  15. | Reach of {
    1. tid : int;
    2. n : int;
    3. guard : Libsse.Types.Expr.t;
    4. actions : Types.Output.t list;
    }
  16. | Builtin of builtin
Sourcetype terminator =
  1. | Jump of {
    1. target : Libsse.Types.Expr.t;
    2. tag : Binsec.Dba.tag;
    }
  2. | Halt
  3. | Cut
  4. | Die of string
Sourcetype node =
  1. | Fallthrough of {
    1. kind : fallthrough;
    2. succ : int;
    }
  2. | Branch of {
    1. test : Libsse.Types.Expr.t;
    2. target : int;
    3. fallthrough : int;
    }
  3. | Goto of {
    1. target : Binsec.Virtual_address.t;
    2. tag : Binsec.Dba.tag;
    3. succ : int option;
    }
  4. | Terminator of terminator
Sourceval pp_probe : Format.formatter -> 'a -> unit
Sourceval pp_fallthrough : Format.formatter -> fallthrough -> unit
Sourceval register_builtin_pp : (Format.formatter -> builtin -> bool) -> unit
Sourceval pp_terminator : Format.formatter -> terminator -> unit
Sourceval pp_node : Format.formatter -> node -> unit
Sourceval shuffle : (int -> int) -> node -> node
Sourcemodule type GRAPH = sig ... end