package binsec

  1. Overview
  2. Docs
Semantic analysis of binary executables

Install

Dune 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.6.0.tbz
sha256=e9101e68d317c837d5cff9608c6fba2127dd31ef6373b9b90806780c1d80bb52
sha512=c01af277239b8cc84fb904c301897f7d2388a8c850c7cb6a53acb8a4f8d51115c8a595c5517843d076421a76f4b2becb16e722b4c90f19a8fa208cce5f3ba274

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

Module Se.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.VarTag.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
  54. | LARROW
  55. | LAND
  56. | LABEL of string
  57. | JUMP
  58. | IS
  59. | INT of Z.t
  60. | IN
  61. | IF
  62. | IDENT of string * int
  63. | HEXA
  64. | HALT
  65. | GOTO
  66. | FROM
  67. | FORMULA
  68. | FOR
  69. | FILE
  70. | EQUAL
  71. | EOF
  72. | ENUMERATE
  73. | END
  74. | ELSE
  75. | DO
  76. | DIFF
  77. | DEC
  78. | CUT
  79. | CORE
  80. | CONST of Binsec.Bitvector.t
  81. | CONCAT
  82. | COMMA
  83. | COLON
  84. | CASE
  85. | BY
  86. | BIN
  87. | AT
  88. | ASSUME
  89. | ASSIGN
  90. | ASSERT
  91. | ASR
  92. | ASCII
  93. | AS
  94. | ANY
  95. | AND
  96. | ABORT
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