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

Module Binsec.Parser

type token =
  1. | XOR
  2. | VAR
  3. | UNIMPLEMENTED
  4. | UNDEFINED
  5. | UNDEF
  6. | UNCONTROLLED
  7. | TRUE
  8. | TMP of string
  9. | THEN
  10. | TEMPTAG
  11. | TEMPORARY
  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. | SEMICOLON
  23. | RSHIFTU
  24. | RSHIFTS
  25. | RROTATE
  26. | RPAR
  27. | RETURNFLAG
  28. | REGISTER
  29. | REACH
  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. | FLAGTAG
  66. | FLAG
  67. | FILE
  68. | FALSE
  69. | EXTU
  70. | EXTS
  71. | EQUAL
  72. | EOF
  73. | ENUMERATE
  74. | ENTRYPOINT
  75. | ELSE
  76. | DOTDOT
  77. | DOT
  78. | CUT
  79. | CONSEQUENT
  80. | CONCAT
  81. | COMMA
  82. | COLON
  83. | CALLFLAG
  84. | BSWAP
  85. | BIN of string
  86. | AT
  87. | ASSUME
  88. | ASSIGN
  89. | ASSERT
  90. | AS
  91. | ARROWINV
  92. | ARROW
  93. | ANNOT
  94. | AND
  95. | ALTERNATIVE
  96. | ALTERNATE
exception Error
val instruction_eof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Dba_types.Instruction.t
val directives : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Directive.t list
val dhunk_substitutions_eof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Loader_utils.Binary_loc.t * Dhunk.t) list
val dhunk_eof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Dhunk.t
val decoder_base : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (string * Parse_helpers.Message.Value.t) list
val body : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Dba.address * Dba_types.Instruction.t) list