binsec.dwarf
Cunit.Attribute
binsec
binsec.base
binsec.cli
binsec.domains
binsec.isa
binsec.kernel
binsec.script
binsec.smtlib
binsec.sse
binsec.symbolic
binsec.unix
binsec_cli_bbsse
binsec_cli_disasm
binsec_cli_ghidra
binsec_cli_sse
binsec_cli_xtrasec
binsec_isa_armv7
binsec_isa_armv8
binsec_isa_ppc64
binsec_isa_riscv
binsec_isa_sparcv8
binsec_isa_x86_32
binsec_isa_x86_64
binsec_kernel_dba
binsec_kernel_isa
binsec_kernel_loader
binsec_kernel_parser
binsec_script_ast
binsec_smtlib_bindings
binsec_sse_checkct
binsec_sse_loader
binsec_sse_quick_merge
binsec_sse_shadow_stack
binsec_sse_stake
checkct
shadow_stack
stake
type t =
| Null
| Sibling
| Location
| Name
| Ordering
| Byte_size
| Bit_offset
| Bit_size
| Stmt_list
| Low_pc
| High_pc
| Language
| Discr
| Discr_value
| Visibility
| Import
| String_length
| Common_reference
| Comp_dir
| Const_value
| Containing_type
| Default_value
| Inline
| Is_optional
| Lower_bound
| Producer
| Prototyped
| Return_addr
| Start_scope
| Bit_stride
| Upper_bound
| Abstract_origin
| Accessibility
| Address_class
| Artificial
| Base_types
| Calling_convention
| Count
| Data_member_location
| Decl_column
| Decl_file
| Decl_line
| Declaration
| Discr_list
| Encoding
| External
| Frame_base
| Friend
| Identifier_case
| Namelist_item
| Priority
| Segment
| Specification
| Static_link
| Type
| Use_location
| Variable_parameter
| Virtuality
| Vtable_elem_location
| Allocated
| Associated
| Data_location
| Byte_stride
| Entry_pc
| Use_UTF8
| Extension
| Ranges
| Trampoline
| Call_column
| Call_file
| Call_line
| Description
| Binary_scale
| Decimal_scale
| Small
| Decimal_sign
| Digit_count
| Picture_string
| Mutable
| Threads_scaled
| Explicit
| Object_pointer
| Endianity
| Elemental
| Pure
| Recursive
| Signature
| Main_subprogram
| Data_bit_offset
| Const_expr
| Enum_class
| Linkage_name
| String_length_bit_size
| String_length_byte_size
| Rank
| Str_offsets_base
| Addr_base
| Rnglists_base
| Dwo_name
| Reference
| Rvalue_reference
| Macros
| Call_all_calls
| Call_all_source_calls
| Call_all_tail_calls
| Call_return_pc
| Call_value
| Call_origin
| Call_parameter
| Call_pc
| Call_tail_call
| Call_target
| Call_target_clobbered
| Call_data_location
| Call_data_value
| Noreturn
| Alignment
| Export_symbols
| Deleted
| Defaulted
| Loclists_base
| Reserved
| Custom of int
include Binsec_base.Sigs.PRINTABLE with type t := t
val pp : Format.formatter -> t -> unit