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

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct