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 (19)

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
    Mahmudul Faisal Al Ameen
  10. M
    Manh-Dung Nguyen
  11. M
    Mathéo Vergnolle
  12. M
    Mathilde Ollivier
  13. M
    Matthieu Lemerre
  14. N
    Nicolas Bellec
  15. O
    Olivier Nicole
  16. R
    Richard Bonichon
  17. R
    Robin David
  18. S
    Sébastien Bardin
  19. S
    Soline Ducousso
  20. T
    Ta Thanh Dinh
  21. Y
    Yaëlle Vinçont
  22. Y
    Yanis Sellami

Maintainers

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

Sources

binsec-0.11.0.tbz
sha256=4cf70a0367fef6f33ee3165f05255914513ea0539b94ddfef0bd46fc9b42fa8a
sha512=cd67a5b7617f661a7786bef0c828ee55307cef5260dfecbb700a618be795d81b1ac49fc1a18c4904fd2eb8a182dc862b0159093028651e78e7dc743f5babf9e3

doc/binsec_kernel_parser/Binsec_kernel_parser/Parser/index.html

Module Binsec_kernel_parser.ParserSource

Sourcetype token =
  1. | XOR
  2. | WRITE
  3. | UNSUPPORTED
  4. | UNIMPLEMENTED
  5. | UNDEFINED
  6. | UNDEF
  7. | UNCONTROLLED
  8. | UEXTN of int
  9. | TRUE
  10. | TMP of string
  11. | THEN
  12. | SUPER
  13. | STRING of string
  14. | STOP
  15. | STAR_U
  16. | STAR_S
  17. | STAR
  18. | SOK
  19. | SLASH_U
  20. | SLASH_S
  21. | SKO
  22. | SEXTN of int
  23. | SEMICOLON
  24. | RSHIFTU
  25. | RSHIFTS
  26. | RROTATE
  27. | RPAR
  28. | RETURNFLAG
  29. | READ
  30. | RBRACKETU
  31. | RBRACKETS
  32. | RBRACKET
  33. | RBRACE
  34. | PLUS
  35. | OR
  36. | NOT
  37. | NONDET
  38. | NEQ
  39. | MODU
  40. | MODS
  41. | MINUS
  42. | MIN
  43. | MAX
  44. | LTU
  45. | LTS
  46. | LSHIFT
  47. | LROTATE
  48. | LPAR
  49. | LEU
  50. | LES
  51. | LBRACKET
  52. | LBRACE
  53. | INT of string
  54. | INFER
  55. | IF
  56. | IDENT of string
  57. | HEXA of string
  58. | GTU
  59. | GTS
  60. | GOTO
  61. | GEU
  62. | GES
  63. | FROMFILE
  64. | FROM
  65. | FILE
  66. | FALSE
  67. | EXTU
  68. | EXTS
  69. | EQUAL
  70. | EOF
  71. | ELSE
  72. | DOTDOT
  73. | DOT
  74. | CONCAT
  75. | COMMA
  76. | COLON
  77. | CALLFLAG
  78. | BSWAP
  79. | BRANCH
  80. | BIN of string
  81. | AT
  82. | ASSUME
  83. | ASSIGN
  84. | ASSERT
  85. | AS
  86. | ARROWINV
  87. | ARROW
  88. | ANNOT
  89. | AND
Sourceexception Error
Sourceval patchmap : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Binsec_base.Binstream.t Binsec_base.Virtual_address.Map.t
Sourceval instruction_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Binsec_kernel_dba.Dba_types.Instruction.t
Sourceval initialization : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_helpers.Initialization.t list
Sourceval expr_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Binsec_kernel_dba.Dba_types.Expr.t
Sourceval dhunk_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Binsec_kernel_dba.Dhunk.t
Sourceval decoder_msg_list_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_helpers.Message.t list
Sourceval decoder_msg_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Parse_helpers.Message.t
Sourceval decoder_base : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (string * Parse_helpers.Message.Value.t) list