package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | XOR
  2. | UNDEF
  3. | TRUE
  4. | SUPER
  5. | STRING of string
  6. | STORELOAD
  7. | STOP
  8. | STATE_OK
  9. | STATE_KO
  10. | STACK
  11. | SEMICOLON
  12. | RSHIFTU
  13. | RSHIFTS
  14. | RROTATE
  15. | RPAR
  16. | RETURNFLAG
  17. | REPLACEINSTRAT
  18. | RBRACKET
  19. | RBRACE
  20. | PRINT
  21. | PLUS
  22. | OR
  23. | NOT
  24. | NONDETASSUME
  25. | NONDET
  26. | NEXT
  27. | NEQ
  28. | MULTU
  29. | MULTS
  30. | MODU
  31. | MODS
  32. | MINUS
  33. | MALLOC
  34. | LTU
  35. | LTS
  36. | LSHIFT
  37. | LROTATE
  38. | LPAR
  39. | LOWUNSIGNEDTHRESHOLDS
  40. | LOWSIGNEDTHRESHOLDS
  41. | LOCALWIDENINGDELAY
  42. | LOCALTHRESHOLDS
  43. | LNEXT
  44. | LINEAR
  45. | LEU
  46. | LES
  47. | LBRACKET
  48. | LBRACE
  49. | JUMP
  50. | INT of string
  51. | INFER
  52. | IFJUMP
  53. | IDENT of string
  54. | HIGHUNSIGNEDTHRESHOLDS
  55. | HIGHSIGNEDTHRESHOLDS
  56. | HEXADDRESS of string * int
  57. | HEXA of string * int
  58. | GTU
  59. | GTS
  60. | GLOBALWIDENINGDELAY
  61. | GLOBALTHRESHOLDS
  62. | GEU
  63. | GES
  64. | FREE
  65. | FALSE
  66. | EXTU
  67. | EXTS
  68. | EQQ
  69. | EOF
  70. | ENTR
  71. | ELSE
  72. | DIVU
  73. | DIVS
  74. | CONSTANT
  75. | CONCAT
  76. | COMMA
  77. | COLON
  78. | CLOSEDJUMPS
  79. | CALLFLAG
  80. | ASSUME
  81. | ASSIGN
  82. | ASSERT
  83. | ARROWINV
  84. | ARROW
  85. | ANNOT
  86. | AND
  87. | ADDINSTRAT
exception Error
val configuration : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Infos.t
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