package binsec

  1. Overview
  2. Docs
Semantic analysis of binary executables

Install 

dune-project
 Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (18)

Authors

  1. A
    Adel Djoudi
  2. B
    Benjamin Farinier
  3. C
    Chakib Foulani
  4. D
    Dorian Lesbre
  5. F
    Frédéric Recoules
  6. G
    Guillaume Girol
  7. J
    Josselin Feist
  8. L
    Lesly-Ann Daniel
  9. M
    Manh-Dung Nguyen
  10. M
    Mathéo Vergnolle
  11. M
    Mathilde Ollivier
  12. M
    Matthieu Lemerre
  13. O
    Olivier Nicole
  14. R
    Richard Bonichon
  15. R
    Robin David
  16. S
    Sébastien Bardin
  17. S
    Soline Ducousso
  18. T
    Ta Thanh Dinh
  19. Y
    Yaëlle Vinçont

Maintainers

  1. B
    BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

binsec-0.7.2.tbz
sha256=5e1d0f26a567df4abcbeb964b454cf8b2c8484194ff2d9639bdeb94d63edcb3b
sha512=a638c665407fde9aadbd57a7b9f84260db8f03c0cbf65722732d43dfc93122d801e31977e0ba7cd249b340262caf216bca746a3520d0e01d487a5baf6a6c77e6

doc/binsec.sse/Libsse/Sse_tokens/index.html

Module Libsse.Sse_tokensSource

Sourcetype token =
  1. | ZEXT of int
  2. | XOR
  3. | WITH
  4. | WHILE
  5. | UNDEF
  6. | UMOD
  7. | ULT
  8. | ULE
  9. | UGT
  10. | UGE
  11. | UDIV
  12. | TO
  13. | TIMES
  14. | THEN
  15. | THAT
  16. | TAND
  17. | SYMBOL of string * Binsec.Dba.Var.Tag.attribute
  18. | SUCH
  19. | STREAM
  20. | STARTING
  21. | SMOD
  22. | SLT
  23. | SLE
  24. | SGT
  25. | SGE
  26. | SEXT of int
  27. | SEMICOLON
  28. | SECTIONS
  29. | SECTION
  30. | SDIV
  31. | RPAR
  32. | ROR
  33. | ROL
  34. | RMEM
  35. | REPLACE
  36. | REACH
  37. | RARROW
  38. | RANGE of int Binsec.Interval.t
  39. | QMARK
  40. | PRINT
  41. | PLUS
  42. | OR
  43. | NOT
  44. | NONDET
  45. | MUL
  46. | MODEL
  47. | MINUS
  48. | LSR
  49. | LSL
  50. | LPAR
  51. | LOR
  52. | LOAD
  53. | LMEM of string option
  54. | LARROW
  55. | LAND
  56. | LABEL of string
  57. | JUMP
  58. | IS
  59. | INT of Z.t
  60. | IN
  61. | IMPORT
  62. | IF
  63. | IDENT of string * int
  64. | HEXA
  65. | HALT
  66. | GOTO
  67. | FROM
  68. | FORMULA
  69. | FOR
  70. | FILE
  71. | EQUAL
  72. | EOF
  73. | ENUMERATE
  74. | END
  75. | ELSE
  76. | DO
  77. | DIFF
  78. | DEC
  79. | CUT
  80. | CSTRING
  81. | CORE
  82. | CONST of Binsec.Bitvector.t
  83. | CONCAT
  84. | COMMA
  85. | COLON
  86. | CASE
  87. | BY
  88. | BIN
  89. | AT
  90. | ASSUME
  91. | ASSIGN
  92. | ASSERT
  93. | ASR
  94. | ASCII
  95. | AS
  96. | ANY
  97. | AND
  98. | ABORT