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. | THEN
  11. | TEMPTAG
  12. | TEMPORARY
  13. | SUPER
  14. | STRING of string
  15. | STOP
  16. | STAR_U
  17. | STAR_S
  18. | STAR
  19. | STACK
  20. | SOK
  21. | SLASH_U
  22. | SLASH_S
  23. | SKO
  24. | SEMICOLON
  25. | RSHIFTU
  26. | RSHIFTS
  27. | RROTATE
  28. | RPAR
  29. | RETURNFLAG
  30. | REGISTER
  31. | READ
  32. | REACH
  33. | RBRACKETU
  34. | RBRACKETS
  35. | RBRACKET
  36. | RBRACE
  37. | PRINT
  38. | PLUS
  39. | PERMISSIONS
  40. | OR
  41. | NWRITE
  42. | NREAD
  43. | NOT
  44. | NONDETASSUME
  45. | NONDET
  46. | NEXEC
  47. | NEQ
  48. | MODU
  49. | MODS
  50. | MINUS
  51. | MALLOC
  52. | LTU
  53. | LTS
  54. | LSHIFT
  55. | LROTATE
  56. | LPAR
  57. | LEU
  58. | LES
  59. | LBRACKET
  60. | LBRACE
  61. | INT of string
  62. | INFER
  63. | IF
  64. | IDENT of string
  65. | HEXA of string
  66. | GTU
  67. | GTS
  68. | GOTO
  69. | GEU
  70. | GES
  71. | FROMFILE
  72. | FROM
  73. | FREE
  74. | FLAGTAG
  75. | FLAG
  76. | FILE
  77. | FALSE
  78. | EXTU
  79. | EXTS
  80. | EXEC
  81. | EQUAL
  82. | EOF
  83. | ENUMERATE
  84. | ENTRYPOINT
  85. | END
  86. | ELSE
  87. | DOTDOT
  88. | DOT
  89. | CUT
  90. | CONSTANT
  91. | CONSEQUENT
  92. | CONCAT
  93. | COMMA
  94. | COLON
  95. | CALLFLAG
  96. | BIN of string
  97. | BEGIN
  98. | AT
  99. | ASSUME
  100. | ASSIGN
  101. | ASSERT
  102. | AS
  103. | ARROWINV
  104. | ARROW
  105. | ANNOT
  106. | AND
  107. | ALTERNATIVE
  108. | 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 -> 'a Dba_types.program
val body : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (Dba.address * Dba_types.Instruction.t) list
OCaml

Innovation. Community. Security.