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 (20)

Authors

  1. A
    Adel Djoudi
  2. B
    Benoit Boero
  3. B
    Benjamin Farinier
  4. C
    Chakib Foulani
  5. D
    Dorian Lesbre
  6. F
    Frédéric Recoules
  7. G
    Guillaume Girol
  8. J
    Josselin Feist
  9. L
    Lesly-Ann Daniel
  10. M
    Mahmudul Faisal Al Ameen
  11. M
    Manh-Dung Nguyen
  12. M
    Mathéo Vergnolle
  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.1.tbz
sha256=bb48234a4b60a872015a88282df4873f01dcc984753d49ad2583d49c1ae7d705
sha512=e8aa47a736b83bfd47d5b5e96d0988859b4873ad4a112fee7cd21d02bc72ecec61b7de610a959e38d2f2f5eef8082a2c100c201e5eae5ae3a880c747dce6ae63

doc/binsec_kernel_parser/Binsec_kernel_parser/Parser/index.html

Module Binsec_kernel_parser.ParserSource

Sourcetype token =
  1. | XOR
  2. | WRITE
  3. | UNSUPPORTED
  4. | UNIMPLEMENTED
  5. | UNDEFINED
  6. | UNDEF
  7. | UNCONTROLLED
  8. | UEXTN of int
  9. | TRUE
  10. | TMP of string
  11. | THEN
  12. | SUPER
  13. | STRING of string
  14. | STOP
  15. | STAR_U
  16. | STAR_S
  17. | STAR
  18. | SOK
  19. | SLASH_U
  20. | SLASH_S
  21. | SKO
  22. | SEXTN of int
  23. | SEMICOLON
  24. | RSHIFTU
  25. | RSHIFTS
  26. | RROTATE
  27. | RPAR
  28. | RETURNFLAG
  29. | READ
  30. | RBRACKETU
  31. | RBRACKETS
  32. | RBRACKET
  33. | RBRACE
  34. | PLUS
  35. | OR
  36. | NOT
  37. | NONDET
  38. | NEQ
  39. | MODU
  40. | MODS
  41. | MINUS
  42. | MIN
  43. | MAX
  44. | LTU
  45. | LTS
  46. | LSHIFT
  47. | LROTATE
  48. | LPAR
  49. | LEU
  50. | LES
  51. | LBRACKET
  52. | LBRACE
  53. | INT of string
  54. | INFER
  55. | IF
  56. | IDENT of string
  57. | HEXA of string
  58. | GTU
  59. | GTS
  60. | GOTO
  61. | GEU
  62. | GES
  63. | FROMFILE
  64. | FROM
  65. | FILE
  66. | FALSE
  67. | EXTU
  68. | EXTS
  69. | EQUAL
  70. | EOF
  71. | ELSE
  72. | DOTDOT
  73. | DOT
  74. | CONCAT
  75. | COMMA
  76. | COLON
  77. | CALLFLAG
  78. | BSWAP
  79. | BRANCH
  80. | BIN of string
  81. | AT
  82. | ASSUME
  83. | ASSIGN
  84. | ASSERT
  85. | AS
  86. | ARROWINV
  87. | ARROW
  88. | ANNOT
  89. | AND
Sourceexception Error
Sourceval patchmap : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Binsec_base.Binstream.t Binsec_base.Virtual_address.Map.t
Sourceval instruction_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Binsec_kernel_dba.Dba_types.Instruction.t
Sourceval initialization : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_helpers.Initialization.t list
Sourceval expr_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Binsec_kernel_dba.Dba_types.Expr.t
Sourceval dhunk_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Binsec_kernel_dba.Dhunk.t
Sourceval decoder_msg_list_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_helpers.Message.t list
Sourceval decoder_msg_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_helpers.Message.t
Sourceval decoder_base : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (string * Parse_helpers.Message.Value.t) list