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.dwarf/Binsec_dwarf/Dwarf/Cunit/Attribute/index.html

Module Cunit.AttributeSource

Sourcetype t =
  1. | Null
  2. | Sibling
  3. | Location
  4. | Name
  5. | Ordering
  6. | Byte_size
  7. | Bit_offset
  8. | Bit_size
  9. | Stmt_list
  10. | Low_pc
  11. | High_pc
  12. | Language
  13. | Discr
  14. | Discr_value
  15. | Visibility
  16. | Import
  17. | String_length
  18. | Common_reference
  19. | Comp_dir
  20. | Const_value
  21. | Containing_type
  22. | Default_value
  23. | Inline
  24. | Is_optional
  25. | Lower_bound
  26. | Producer
  27. | Prototyped
  28. | Return_addr
  29. | Start_scope
  30. | Bit_stride
  31. | Upper_bound
  32. | Abstract_origin
  33. | Accessibility
  34. | Address_class
  35. | Artificial
  36. | Base_types
  37. | Calling_convention
  38. | Count
  39. | Data_member_location
  40. | Decl_column
  41. | Decl_file
  42. | Decl_line
  43. | Declaration
  44. | Discr_list
  45. | Encoding
  46. | External
  47. | Frame_base
  48. | Friend
  49. | Identifier_case
  50. | Namelist_item
  51. | Priority
  52. | Segment
  53. | Specification
  54. | Type
  55. | Use_location
  56. | Variable_parameter
  57. | Virtuality
  58. | Vtable_elem_location
  59. | Allocated
  60. | Associated
  61. | Data_location
  62. | Byte_stride
  63. | Entry_pc
  64. | Use_UTF8
  65. | Extension
  66. | Ranges
  67. | Trampoline
  68. | Call_column
  69. | Call_file
  70. | Call_line
  71. | Description
  72. | Binary_scale
  73. | Decimal_scale
  74. | Small
  75. | Decimal_sign
  76. | Digit_count
  77. | Picture_string
  78. | Mutable
  79. | Threads_scaled
  80. | Explicit
  81. | Object_pointer
  82. | Endianity
  83. | Elemental
  84. | Pure
  85. | Recursive
  86. | Signature
  87. | Main_subprogram
  88. | Data_bit_offset
  89. | Const_expr
  90. | Enum_class
  91. | Linkage_name
  92. | String_length_bit_size
  93. | String_length_byte_size
  94. | Rank
  95. | Str_offsets_base
  96. | Addr_base
  97. | Rnglists_base
  98. | Dwo_name
  99. | Reference
  100. | Rvalue_reference
  101. | Macros
  102. | Call_all_calls
  103. | Call_all_source_calls
  104. | Call_all_tail_calls
  105. | Call_return_pc
  106. | Call_value
  107. | Call_origin
  108. | Call_parameter
  109. | Call_pc
  110. | Call_tail_call
  111. | Call_target
  112. | Call_target_clobbered
  113. | Call_data_location
  114. | Call_data_value
  115. | Noreturn
  116. | Alignment
  117. | Export_symbols
  118. | Deleted
  119. | Defaulted
  120. | Loclists_base
  121. | Reserved
  122. | Custom of int
include Binsec_base.Sigs.PRINTABLE with type t := t
Sourceval pp : Format.formatter -> t -> unit