package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | XOR
  2. | VAR
  3. | UNIMPLEMENTED
  4. | UNDEFINED
  5. | UNDEF
  6. | UNCONTROLLED
  7. | TRUE
  8. | TMP of string
  9. | THEN
  10. | TEMPTAG
  11. | TEMPORARY
  12. | SUPER
  13. | STRING of string
  14. | STOP
  15. | STAR_U
  16. | STAR_S
  17. | STAR
  18. | SOK
  19. | SLASH_U
  20. | SLASH_S
  21. | SKO
  22. | SEMICOLON
  23. | RSHIFTU
  24. | RSHIFTS
  25. | RROTATE
  26. | RPAR
  27. | RETURNFLAG
  28. | REGISTER
  29. | REACH
  30. | RBRACKETU
  31. | RBRACKETS
  32. | RBRACKET
  33. | RBRACE
  34. | PLUS
  35. | OR
  36. | NOT
  37. | NONDET
  38. | NEQ
  39. | MODU
  40. | MODS
  41. | MINUS
  42. | MIN
  43. | MAX
  44. | LTU
  45. | LTS
  46. | LSHIFT
  47. | LROTATE
  48. | LPAR
  49. | LEU
  50. | LES
  51. | LBRACKET
  52. | LBRACE
  53. | INT of string
  54. | INFER
  55. | IF
  56. | IDENT of string
  57. | HEXA of string
  58. | GTU
  59. | GTS
  60. | GOTO
  61. | GEU
  62. | GES
  63. | FROMFILE
  64. | FROM
  65. | FLAGTAG
  66. | FLAG
  67. | FILE
  68. | FALSE
  69. | EXTU
  70. | EXTS
  71. | EQUAL
  72. | EOF
  73. | ENUMERATE
  74. | ENTRYPOINT
  75. | ELSE
  76. | DOTDOT
  77. | DOT
  78. | CUT
  79. | CONSEQUENT
  80. | CONCAT
  81. | COMMA
  82. | COLON
  83. | CALLFLAG
  84. | BSWAP
  85. | BIN of string
  86. | AT
  87. | ASSUME
  88. | ASSIGN
  89. | ASSERT
  90. | AS
  91. | ARROWINV
  92. | ARROW
  93. | ANNOT
  94. | AND
  95. | ALTERNATIVE
  96. | 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_list_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> ((string * Parse_helpers.Message.Value.t) list * (Dba.address * Dba_types.Instruction.t) list) list
val decoder_msg_eof : (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