package binsec

  1. Overview
  2. Docs
package binsec
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.Var.Tag.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 of string option
  54. | LARROW
  55. | LAND
  56. | LABEL of string
  57. | JUMP
  58. | IS
  59. | INT of Z.t
  60. | IN
  61. | IMPORT
  62. | IF
  63. | IDENT of string * int
  64. | HEXA
  65. | HALT
  66. | GOTO
  67. | FROM
  68. | FORMULA
  69. | FOR
  70. | FILE
  71. | EQUAL
  72. | EOF
  73. | ENUMERATE
  74. | END
  75. | ELSE
  76. | DO
  77. | DIFF
  78. | DEC
  79. | CUT
  80. | CSTRING
  81. | CORE
  82. | CONST of Binsec.Bitvector.t
  83. | CONCAT
  84. | COMMA
  85. | COLON
  86. | CASE
  87. | BY
  88. | BIN
  89. | AT
  90. | ASSUME
  91. | ASSIGN
  92. | ASSERT
  93. | ASR
  94. | ASCII
  95. | AS
  96. | ANY
  97. | AND
  98. | ABORT