package binsec

  1. Overview
  2. Docs
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.