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
    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.10.1.tbz
sha256=87d4048c9a90c8a14ee029e77d31032a15427f06416a31938cec8a68394234c4
sha512=6a023d2a5c87c56b0aac489874431d8dcccee1451a072a826190be3a7f75a961688bab95f193f494231744abc3bc9733ab5c809057d36a5e4d24c6c29c369144

doc/binsec.parser/Libparser/Syntax/index.html

Module Libparser.SyntaxSource

Sourcetype ('dypgen__Binop, 'dypgen__Decl, 'dypgen__Expr, 'dypgen__Instr, 'dypgen__Lex_dquote, 'dypgen__Lex_dquote_Arg_buf, 'dypgen__Lex_quote, 'dypgen__Lex_quote_Arg_buf, 'dypgen__Loc, 'dypgen__Obj, 'dypgen__Obj_accept_newline, 'dypgen__Obj_array, 'dypgen__Obj_attr, 'dypgen__Obj_dypgen__nested_nt_0, 'dypgen__Obj_dypgen__nested_nt_1, 'dypgen__Obj_dypgen__nested_nt_10, 'dypgen__Obj_dypgen__nested_nt_11, 'dypgen__Obj_dypgen__nested_nt_12, 'dypgen__Obj_dypgen__nested_nt_13, 'dypgen__Obj_dypgen__nested_nt_14, 'dypgen__Obj_dypgen__nested_nt_15, 'dypgen__Obj_dypgen__nested_nt_16, 'dypgen__Obj_dypgen__nested_nt_17, 'dypgen__Obj_dypgen__nested_nt_18, 'dypgen__Obj_dypgen__nested_nt_19, 'dypgen__Obj_dypgen__nested_nt_2, 'dypgen__Obj_dypgen__nested_nt_20, 'dypgen__Obj_dypgen__nested_nt_21, 'dypgen__Obj_dypgen__nested_nt_22, 'dypgen__Obj_dypgen__nested_nt_23, 'dypgen__Obj_dypgen__nested_nt_24, 'dypgen__Obj_dypgen__nested_nt_3, 'dypgen__Obj_dypgen__nested_nt_4, 'dypgen__Obj_dypgen__nested_nt_5, 'dypgen__Obj_dypgen__nested_nt_6, 'dypgen__Obj_dypgen__nested_nt_7, 'dypgen__Obj_dypgen__nested_nt_8, 'dypgen__Obj_dypgen__nested_nt_9, 'dypgen__Obj_endianness, 'dypgen__Obj_int, 'dypgen__Obj_newline, 'dypgen__Obj_range, 'dypgen__Obj_separator, 'dypgen__Program, 'dypgen__Stmt, 'dypgen__String, 'dypgen__Symbol, 'dypgen__Unop) obj =
  1. | Binop of 'dypgen__Binop
  2. | Decl of 'dypgen__Decl
  3. | Expr of 'dypgen__Expr
  4. | Instr of 'dypgen__Instr
  5. | Lex_dquote of 'dypgen__Lex_dquote
  6. | Lex_dquote_Arg_buf of 'dypgen__Lex_dquote_Arg_buf
  7. | Lex_quote of 'dypgen__Lex_quote
  8. | Lex_quote_Arg_buf of 'dypgen__Lex_quote_Arg_buf
  9. | Lexeme_matched of string
  10. | Loc of 'dypgen__Loc
  11. | Obj of 'dypgen__Obj
  12. | Obj_ABORT
  13. | Obj_AS
  14. | Obj_ASCII
  15. | Obj_ASR
  16. | Obj_ASSERT
  17. | Obj_ASSET
  18. | Obj_ASSUME
  19. | Obj_AT
  20. | Obj_BIN
  21. | Obj_BY
  22. | Obj_CASE
  23. | Obj_CONST of Binsec.Bitvector.t
  24. | Obj_CORE
  25. | Obj_CSTRING
  26. | Obj_CUT
  27. | Obj_DEC
  28. | Obj_DO
  29. | Obj_ELSE
  30. | Obj_END
  31. | Obj_ENUMERATE
  32. | Obj_FILE
  33. | Obj_FOR
  34. | Obj_FORMULA
  35. | Obj_FROM
  36. | Obj_GOTO
  37. | Obj_HALT
  38. | Obj_HEXA
  39. | Obj_IF
  40. | Obj_IMPORT
  41. | Obj_IN
  42. | Obj_INT of string
  43. | Obj_IS
  44. | Obj_JUMP
  45. | Obj_LAST
  46. | Obj_LOAD
  47. | Obj_LSL
  48. | Obj_LSR
  49. | Obj_MODEL
  50. | Obj_NONDET
  51. | Obj_PRINT
  52. | Obj_REACH
  53. | Obj_REPLACE
  54. | Obj_ROL
  55. | Obj_ROR
  56. | Obj_SECTION
  57. | Obj_SECTIONS
  58. | Obj_SEXT of int
  59. | Obj_SIZE
  60. | Obj_STARTING
  61. | Obj_STREAM
  62. | Obj_SUCH
  63. | Obj_THAT
  64. | Obj_THEN
  65. | Obj_TIMES
  66. | Obj_TO
  67. | Obj_UNDEF
  68. | Obj_VALUE
  69. | Obj_WHILE
  70. | Obj_WITH
  71. | Obj_ZEXT of int
  72. | Obj___dypgen_layout
  73. | Obj_accept_newline of 'dypgen__Obj_accept_newline
  74. | Obj_array of 'dypgen__Obj_array
  75. | Obj_attr of 'dypgen__Obj_attr
  76. | Obj_dypgen__nested_nt_0 of 'dypgen__Obj_dypgen__nested_nt_0
  77. | Obj_dypgen__nested_nt_1 of 'dypgen__Obj_dypgen__nested_nt_1
  78. | Obj_dypgen__nested_nt_10 of 'dypgen__Obj_dypgen__nested_nt_10
  79. | Obj_dypgen__nested_nt_11 of 'dypgen__Obj_dypgen__nested_nt_11
  80. | Obj_dypgen__nested_nt_12 of 'dypgen__Obj_dypgen__nested_nt_12
  81. | Obj_dypgen__nested_nt_13 of 'dypgen__Obj_dypgen__nested_nt_13
  82. | Obj_dypgen__nested_nt_14 of 'dypgen__Obj_dypgen__nested_nt_14
  83. | Obj_dypgen__nested_nt_15 of 'dypgen__Obj_dypgen__nested_nt_15
  84. | Obj_dypgen__nested_nt_16 of 'dypgen__Obj_dypgen__nested_nt_16
  85. | Obj_dypgen__nested_nt_17 of 'dypgen__Obj_dypgen__nested_nt_17
  86. | Obj_dypgen__nested_nt_18 of 'dypgen__Obj_dypgen__nested_nt_18
  87. | Obj_dypgen__nested_nt_19 of 'dypgen__Obj_dypgen__nested_nt_19
  88. | Obj_dypgen__nested_nt_2 of 'dypgen__Obj_dypgen__nested_nt_2
  89. | Obj_dypgen__nested_nt_20 of 'dypgen__Obj_dypgen__nested_nt_20
  90. | Obj_dypgen__nested_nt_21 of 'dypgen__Obj_dypgen__nested_nt_21
  91. | Obj_dypgen__nested_nt_22 of 'dypgen__Obj_dypgen__nested_nt_22
  92. | Obj_dypgen__nested_nt_23 of 'dypgen__Obj_dypgen__nested_nt_23
  93. | Obj_dypgen__nested_nt_24 of 'dypgen__Obj_dypgen__nested_nt_24
  94. | Obj_dypgen__nested_nt_3 of 'dypgen__Obj_dypgen__nested_nt_3
  95. | Obj_dypgen__nested_nt_4 of 'dypgen__Obj_dypgen__nested_nt_4
  96. | Obj_dypgen__nested_nt_5 of 'dypgen__Obj_dypgen__nested_nt_5
  97. | Obj_dypgen__nested_nt_6 of 'dypgen__Obj_dypgen__nested_nt_6
  98. | Obj_dypgen__nested_nt_7 of 'dypgen__Obj_dypgen__nested_nt_7
  99. | Obj_dypgen__nested_nt_8 of 'dypgen__Obj_dypgen__nested_nt_8
  100. | Obj_dypgen__nested_nt_9 of 'dypgen__Obj_dypgen__nested_nt_9
  101. | Obj_dypgen__star___stmt of 'dypgen__Stmt list
  102. | Obj_endianness of 'dypgen__Obj_endianness
  103. | Obj_int of 'dypgen__Obj_int
  104. | Obj_newline of 'dypgen__Obj_newline
  105. | Obj_range of 'dypgen__Obj_range
  106. | Obj_separator of 'dypgen__Obj_separator
  107. | Program of 'dypgen__Program
  108. | Stmt of 'dypgen__Stmt
  109. | String of 'dypgen__String
  110. | Symbol of 'dypgen__Symbol
  111. | Unop of 'dypgen__Unop
  112. | Dypgen__dummy_obj_cons
Sourceval pp : unit -> (unit, (Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t, 'a, Binsec.Ast.Expr.t Binsec.Ast.loc, Binsec.Ast.Instr.t, unit, Buffer.t, unit, Buffer.t, Binsec.Ast.Loc.t Binsec.Ast.loc, 'b, unit, string option, Binsec.Dba.Var.Tag.attribute, Binsec.Dba.Var.Tag.attribute, Binsec.Dba.Var.Tag.attribute option, ((Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t) * Binsec.Ast.Expr.t Binsec.Ast.loc) list, Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc, (Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc) list, (Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc) list, Binsec.Ast.Instr.t list, Binsec.Ast.Instr.t list list, Binsec.Ast.Instr.t list list, Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list, (Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list) list, (Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list) list, Z.t, Binsec.Ast.Instr.t list, Binsec.Ast.Instr.t list option, string, string option, Binsec.Ast.Instr.t list list, Z.t option, Binsec.Machine.endianness, Binsec.Machine.endianness option, Z.t, Z.t option, (Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t) * Binsec.Ast.Expr.t Binsec.Ast.loc, ((Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t) * Binsec.Ast.Expr.t Binsec.Ast.loc) list, Binsec.Machine.endianness, Z.t, unit, int Binsec.Interval.t, unit, 'c, Binsec.Ast.Instr.t list, string, Binsec.Ast.Symbol.t Binsec.Ast.loc, Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t) obj, unit, unit, 'd Dyp.dyplexbuf) Dyp.parser_pilot
Sourceval stmts : ?global_data:unit -> ?local_data:unit -> (Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t, 'a, Binsec.Ast.Expr.t Binsec.Ast.loc, Binsec.Ast.Instr.t, unit, Buffer.t, unit, Buffer.t, Binsec.Ast.Loc.t Binsec.Ast.loc, 'b, unit, string option, Binsec.Dba.Var.Tag.attribute, Binsec.Dba.Var.Tag.attribute, Binsec.Dba.Var.Tag.attribute option, ((Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t) * Binsec.Ast.Expr.t Binsec.Ast.loc) list, Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc, (Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc) list, (Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc) list, Binsec.Ast.Instr.t list, Binsec.Ast.Instr.t list list, Binsec.Ast.Instr.t list list, Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list, (Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list) list, (Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list) list, Z.t, Binsec.Ast.Instr.t list, Binsec.Ast.Instr.t list option, string, string option, Binsec.Ast.Instr.t list list, Z.t option, Binsec.Machine.endianness, Binsec.Machine.endianness option, Z.t, Z.t option, (Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t) * Binsec.Ast.Expr.t Binsec.Ast.loc, ((Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t) * Binsec.Ast.Expr.t Binsec.Ast.loc) list, Binsec.Machine.endianness, Z.t, unit, int Binsec.Interval.t, unit, 'c, Binsec.Ast.Instr.t list, string, Binsec.Ast.Symbol.t Binsec.Ast.loc, Binsec.Ast.Expr.t Binsec.Ast.loc -> Binsec.Ast.Expr.t) obj Dyp.dyplexbuf -> (Binsec.Ast.Instr.t list * string) list