package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | ZEXT of int
  2. | XOR
  3. | WITH
  4. | WHILE
  5. | UNDEF
  6. | UMOD
  7. | ULT
  8. | ULE
  9. | UGT
  10. | UGE
  11. | UDIV
  12. | TO
  13. | TIMES
  14. | THEN
  15. | THAT
  16. | TAND
  17. | SYMBOL of string * Binsec.Dba.VarTag.attribute
  18. | SUCH
  19. | STREAM
  20. | STARTING
  21. | SMOD
  22. | SLT
  23. | SLE
  24. | SGT
  25. | SGE
  26. | SEXT of int
  27. | SEMICOLON
  28. | SECTIONS
  29. | SECTION
  30. | SDIV
  31. | RPAR
  32. | ROR
  33. | ROL
  34. | RMEM
  35. | REPLACE
  36. | REACH
  37. | RARROW
  38. | RANGE of int Binsec.Interval.t
  39. | QMARK
  40. | PRINT
  41. | PLUS
  42. | OR
  43. | NOT
  44. | NONDET
  45. | MUL
  46. | MODEL
  47. | MINUS
  48. | LSR
  49. | LSL
  50. | LPAR
  51. | LOR
  52. | LOAD
  53. | LMEM
  54. | LARROW
  55. | LAND
  56. | LABEL of string
  57. | JUMP
  58. | IS
  59. | INT of Z.t
  60. | IN
  61. | IF
  62. | IDENT of string * int
  63. | HEXA
  64. | HALT
  65. | GOTO
  66. | FROM
  67. | FORMULA
  68. | FOR
  69. | FILE
  70. | EQUAL
  71. | EOF
  72. | ENUMERATE
  73. | END
  74. | ELSE
  75. | DO
  76. | DIFF
  77. | DEC
  78. | CUT
  79. | CORE
  80. | CONST of Binsec.Bitvector.t
  81. | CONCAT
  82. | COMMA
  83. | COLON
  84. | CASE
  85. | BY
  86. | BIN
  87. | AT
  88. | ASSUME
  89. | ASSIGN
  90. | ASSERT
  91. | ASR
  92. | ASCII
  93. | AS
  94. | ANY
  95. | AND
  96. | ABORT