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