package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | XOR
  2. | WRITE
  3. | WORDSIZE
  4. | VAR
  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. | STACK
  21. | SOK
  22. | SLASH_U
  23. | SLASH_S
  24. | SKO
  25. | SEMICOLON
  26. | RSHIFTU
  27. | RSHIFTS
  28. | RROTATE
  29. | RPAR
  30. | RETURNFLAG
  31. | REGISTER
  32. | READ
  33. | REACH
  34. | RBRACKETU
  35. | RBRACKETS
  36. | RBRACKET
  37. | RBRACE
  38. | PRINT
  39. | PLUS
  40. | PERMISSIONS
  41. | OR
  42. | NWRITE
  43. | NREAD
  44. | NOT
  45. | NONDETASSUME
  46. | NONDET
  47. | NEXEC
  48. | NEQ
  49. | MODU
  50. | MODS
  51. | MINUS
  52. | MIN
  53. | MAX
  54. | MALLOC
  55. | LTU
  56. | LTS
  57. | LSHIFT
  58. | LROTATE
  59. | LPAR
  60. | LEU
  61. | LES
  62. | LBRACKET
  63. | LBRACE
  64. | INT of string
  65. | INFER
  66. | IF
  67. | IDENT of string
  68. | HEXA of string
  69. | GTU
  70. | GTS
  71. | GOTO
  72. | GEU
  73. | GES
  74. | FROMFILE
  75. | FROM
  76. | FREE
  77. | FLAGTAG
  78. | FLAG
  79. | FILE
  80. | FALSE
  81. | EXTU
  82. | EXTS
  83. | EXEC
  84. | EQUAL
  85. | EOF
  86. | ENUMERATE
  87. | ENTRYPOINT
  88. | END
  89. | ELSE
  90. | DOTDOT
  91. | DOT
  92. | CUT
  93. | CONSTANT
  94. | CONSEQUENT
  95. | CONCAT
  96. | COMMA
  97. | COLON
  98. | CALLFLAG
  99. | BSWAP
  100. | BIN of string
  101. | BEGIN
  102. | AT
  103. | ASSUME
  104. | ASSIGN
  105. | ASSERT
  106. | AS
  107. | ARROWINV
  108. | ARROW
  109. | ANNOT
  110. | AND
  111. | ALTERNATIVE
  112. | ALTERNATE
exception Error
val patchmap : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Binstream.t Virtual_address.Map.t
val instruction_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Dba_types.Instruction.t
val initialization : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_helpers.Initialization.t list
val expr_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Dba_types.Expr.t
val directives : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Directive.t list
val dhunk_substitutions_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (Loader_utils.Binary_loc.t * Dhunk.t) list
val dhunk_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Dhunk.t
val decoder_msg : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (string * Parse_helpers.Message.Value.t) list * (Dba.address * Dba_types.Instruction.t) list
val decoder_base : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (string * Parse_helpers.Message.Value.t) list
val dba : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Dba_types.program
val body : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (Dba.address * Dba_types.Instruction.t) list
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