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.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
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