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 : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Infos.t