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
    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.9.1.tbz
sha256=a6ccc9c0a756f6056a5bf6a2f602d59690944f4164cc180d0082c36f081e7e94
sha512=cd85654f94da9ce8fedab746c557c326821cc7932005337303607e0c52d7caf403655fc1000b34d32f1f2606ab1b3d079b9057346ef0a2f88057e0dd7b412cce

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