package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | XOR
  2. | WRITE
  3. | VAR
  4. | UNSUPPORTED
  5. | UNIMPLEMENTED
  6. | UNDEFINED
  7. | UNDEF
  8. | UNCONTROLLED
  9. | TRUE
  10. | TMP of string
  11. | THEN
  12. | TEMPTAG
  13. | TEMPORARY
  14. | SUPER
  15. | STRING of string
  16. | STOP
  17. | STAR_U
  18. | STAR_S
  19. | STAR
  20. | SOK
  21. | SLASH_U
  22. | SLASH_S
  23. | SKO
  24. | SEMICOLON
  25. | RSHIFTU
  26. | RSHIFTS
  27. | RROTATE
  28. | RPAR
  29. | RETURNFLAG
  30. | REGISTER
  31. | READ
  32. | REACH
  33. | RBRACKETU
  34. | RBRACKETS
  35. | RBRACKET
  36. | RBRACE
  37. | PLUS
  38. | OR
  39. | NOT
  40. | NONDET
  41. | NEQ
  42. | MODU
  43. | MODS
  44. | MINUS
  45. | MIN
  46. | MAX
  47. | LTU
  48. | LTS
  49. | LSHIFT
  50. | LROTATE
  51. | LPAR
  52. | LEU
  53. | LES
  54. | LBRACKET
  55. | LBRACE
  56. | INT of string
  57. | INFER
  58. | IF
  59. | IDENT of string
  60. | HEXA of string
  61. | GTU
  62. | GTS
  63. | GOTO
  64. | GEU
  65. | GES
  66. | FROMFILE
  67. | FROM
  68. | FLAGTAG
  69. | FLAG
  70. | FILE
  71. | FALSE
  72. | EXTU
  73. | EXTS
  74. | EQUAL
  75. | EOF
  76. | ENUMERATE
  77. | ENTRYPOINT
  78. | ELSE
  79. | DOTDOT
  80. | DOT
  81. | CUT
  82. | CONSEQUENT
  83. | CONCAT
  84. | COMMA
  85. | COLON
  86. | CALLFLAG
  87. | BSWAP
  88. | BRANCH
  89. | BIN of string
  90. | AT
  91. | ASSUME
  92. | ASSIGN
  93. | ASSERT
  94. | AS
  95. | ARROWINV
  96. | ARROW
  97. | ANNOT
  98. | AND
  99. | ALTERNATIVE
  100. | 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_eof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Dhunk.t
val decoder_msg_list_eof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Parse_helpers.Message.t list
val decoder_msg_eof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Parse_helpers.Message.t
val decoder_base : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (string * Parse_helpers.Message.Value.t) list
OCaml

Innovation. Community. Security.