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.8.1.tbz
sha256=94090e05906c7a0559f60d2c65dbe167eb5953a2338b958b71911c1c81dd9ffd
sha512=6f52f8918c3c242f1346ebdc244f80744966112b935e00519e5d4d5acc040f8e2d2c54ff6b172cf5eb34b9bf7366de085605de88fcc15c43f34abce39ed34220

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_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 Z.t
  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_newline of 'dypgen__Obj_newline
  104. | Obj_range of 'dypgen__Obj_range
  105. | Obj_separator of 'dypgen__Obj_separator
  106. | Program of 'dypgen__Program
  107. | Stmt of 'dypgen__Stmt
  108. | String of 'dypgen__String
  109. | Symbol of 'dypgen__Symbol
  110. | Unop of 'dypgen__Unop
  111. | 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, 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, 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