package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
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_msg_list_eof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ((string * Parse_helpers.Message.Value.t) list * (Dba.address * Dba_types.Instruction.t) list) list
val decoder_msg_eof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (string * Parse_helpers.Message.Value.t) list * (Dba.address * Dba_types.Instruction.t) list
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