To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type operation_argument_value =
| OAV_natural of Nat_big_num.num
| OAV_integer of Nat_big_num.num
| OAV_block of Nat_big_num.num * Byte_sequence.byte_sequence0
type operation_stack = Nat_big_num.num list
type arithmetic_context = {
ac_bitwidth : Nat_big_num.num;
ac_half : Nat_big_num.num;
ac_all : Nat_big_num.num;
ac_max : Nat_big_num.num;
}
type operation_semantics =
| OpSem_lit
| OpSem_deref
| OpSem_stack of arithmetic_context -> operation_stack -> operation_argument_value list -> operation_stack option
| OpSem_not_supported
| OpSem_binary of arithmetic_context -> Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.num option
| OpSem_unary of arithmetic_context -> Nat_big_num.num -> Nat_big_num.num option
| OpSem_opcode_lit of Nat_big_num.num
| OpSem_reg
| OpSem_breg
| OpSem_bregx
| OpSem_fbreg
| OpSem_deref_size
| OpSem_nop
| OpSem_piece
| OpSem_bit_piece
| OpSem_implicit_value
| OpSem_stack_value
| OpSem_call_frame_cfa
type operation = {
op_code : Nat_big_num.num;
op_string : string;
op_argument_values : operation_argument_value list;
op_semantics : operation_semantics;
}
type simple_location =
| SL_memory_address of Nat_big_num.num
| SL_register of Nat_big_num.num
| SL_implicit of Byte_sequence.byte_sequence0
| SL_empty
type composite_location_piece =
| CLP_piece of Nat_big_num.num * simple_location
| CLP_bit_piece of Nat_big_num.num * Nat_big_num.num * simple_location
type single_location =
| SL_simple of simple_location
| SL_composite of composite_location_piece list
type state = {
s_stack : operation_stack;
s_value : simple_location;
s_location_pieces : composite_location_piece list;
}
type !'a register_read_result =
| RRR_result of Nat_big_num.num
| RRR_not_currently_available
| RRR_bad_register_number
type !'a memory_read_result =
| MRR_result of Nat_big_num.num
| MRR_not_currently_available
| MRR_bad_address
type evaluation_context = {
read_register : Nat_big_num.num -> Nat_big_num.num register_read_result;
read_memory : Nat_big_num.num -> Nat_big_num.num -> Nat_big_num.num memory_read_result;
}
type abbreviation_declaration = {
ad_abbreviation_code : Nat_big_num.num;
ad_tag : Nat_big_num.num;
ad_has_children : bool;
ad_attribute_specifications : (Nat_big_num.num * Nat_big_num.num) list;
}
type abbreviations_table = abbreviation_declaration list
type attribute_value =
| AV_addr of Nat_big_num.num
| AV_block of Nat_big_num.num * Byte_sequence.byte_sequence0
| AV_constantN of Nat_big_num.num * Byte_sequence.byte_sequence0
| AV_constant_SLEB128 of Nat_big_num.num
| AV_constant_ULEB128 of Nat_big_num.num
| AV_exprloc of Nat_big_num.num * Byte_sequence.byte_sequence0
| AV_flag of bool
| AV_ref of Nat_big_num.num
| AV_ref_addr of Nat_big_num.num
| AV_ref_sig8 of Nat_big_num.num
| AV_sec_offset of Nat_big_num.num
| AV_string of Byte_sequence.byte_sequence0
| AV_strp of Nat_big_num.num
type die = {
die_offset : Nat_big_num.num;
die_abbreviation_code : Nat_big_num.num;
die_abbreviation_declaration : abbreviation_declaration;
die_attribute_values : (Nat_big_num.num * attribute_value) list;
die_children : die list;
}
type die_index = (Nat_big_num.num, die list * die) Pmap.map
type compilation_unit_header = {
cuh_offset : Nat_big_num.num;
cuh_dwarf_format : dwarf_format;
cuh_unit_length : Nat_big_num.num;
cuh_version : Nat_big_num.num;
cuh_debug_abbrev_offset : Nat_big_num.num;
cuh_address_size : Nat_big_num.num;
}
type compilation_unit = {
cu_header : compilation_unit_header;
cu_abbreviations_table : abbreviations_table;
cu_die : die;
cu_index : die_index;
}
type compilation_units = compilation_unit list
type type_unit_header = {
tuh_cuh : compilation_unit_header;
tuh_type_signature : Nat_big_num.num;
tuh_type_offset : Nat_big_num.num;
}
type type_unit = {
tu_header : type_unit_header;
tu_abbreviations_table : abbreviations_table;
tu_die : die;
}
type type_units = type_unit list
type single_location_description = Byte_sequence.byte_sequence0
type location_list_entry = {
lle_beginning_address_offset : Nat_big_num.num;
lle_ending_address_offset : Nat_big_num.num;
lle_single_location_description : single_location_description;
}
type location_list_item =
| LLI_lle of location_list_entry
| LLI_base of base_address_selection_entry
type location_list = Nat_big_num.num * location_list_item list
type location_list_list = location_list list
type range_list_entry = {
rle_beginning_address_offset : Nat_big_num.num;
rle_ending_address_offset : Nat_big_num.num;
}
type range_list = Nat_big_num.num * range_list_item list
type range_list_list = range_list list
type cfa_address = Nat_big_num.num
type cfa_block = Byte_sequence.byte_sequence0
type cfa_delta = Nat_big_num.num
type cfa_offset = Nat_big_num.num
type cfa_register = Nat_big_num.num
type cfa_sfoffset = Nat_big_num.num
type call_frame_argument_value =
| CFAV_address of cfa_address
| CFAV_block of cfa_block
| CFAV_delta of cfa_delta
| CFAV_offset of cfa_offset
| CFAV_register of cfa_register
| CFAV_sfoffset of cfa_sfoffset
type call_frame_instruction =
| DW_CFA_advance_loc of cfa_delta
| DW_CFA_offset of cfa_register * cfa_offset
| DW_CFA_restore of cfa_register
| DW_CFA_nop
| DW_CFA_set_loc of cfa_address
| DW_CFA_advance_loc1 of cfa_delta
| DW_CFA_advance_loc2 of cfa_delta
| DW_CFA_advance_loc4 of cfa_delta
| DW_CFA_offset_extended of cfa_register * cfa_offset
| DW_CFA_restore_extended of cfa_register
| DW_CFA_undefined of cfa_register
| DW_CFA_same_value of cfa_register
| DW_CFA_register of cfa_register * cfa_register
| DW_CFA_remember_state
| DW_CFA_restore_state
| DW_CFA_def_cfa of cfa_register * cfa_offset
| DW_CFA_def_cfa_register of cfa_register
| DW_CFA_def_cfa_offset of cfa_offset
| DW_CFA_def_cfa_expression of cfa_block
| DW_CFA_expression of cfa_register * cfa_block
| DW_CFA_offset_extended_sf of cfa_register * cfa_sfoffset
| DW_CFA_def_cfa_sf of cfa_register * cfa_sfoffset
| DW_CFA_def_cfa_offset_sf of cfa_sfoffset
| DW_CFA_val_offset of cfa_register * cfa_offset
| DW_CFA_val_offset_sf of cfa_register * cfa_sfoffset
| DW_CFA_val_expression of cfa_register * cfa_block
| DW_CFA_unknown of char
type cie = {
cie_offset : Nat_big_num.num;
cie_length : Nat_big_num.num;
cie_id : Nat_big_num.num;
cie_version : Nat_big_num.num;
cie_augmentation : Byte_sequence.byte_sequence0;
cie_address_size : Nat_big_num.num option;
cie_segment_size : Nat_big_num.num option;
cie_code_alignment_factor : Nat_big_num.num;
cie_data_alignment_factor : Nat_big_num.num;
cie_return_address_register : cfa_register;
cie_initial_instructions_bytes : Byte_sequence.byte_sequence0;
cie_initial_instructions : call_frame_instruction list;
}
type fde = {
fde_offset : Nat_big_num.num;
fde_length : Nat_big_num.num;
fde_cie_pointer : Nat_big_num.num;
fde_initial_location_segment_selector : Nat_big_num.num option;
fde_initial_location_address : Nat_big_num.num;
fde_address_range : Nat_big_num.num;
fde_instructions_bytes : Byte_sequence.byte_sequence0;
fde_instructions : call_frame_instruction list;
}
type frame_info = frame_info_element list
type cfa_rule =
| CR_undefined
| CR_register of cfa_register * Nat_big_num.num
| CR_expression of single_location_description
type register_rule =
| RR_undefined
| RR_same_value
| RR_offset of Nat_big_num.num
| RR_val_offset of Nat_big_num.num
| RR_register of Nat_big_num.num
| RR_expression of single_location_description
| RR_val_expression of single_location_description
| RR_architectural
type register_rule_map = (cfa_register * register_rule) list
type cfa_state = {
cs_current_row : cfa_table_row;
cs_previous_rows : cfa_table_row list;
cs_initial_instructions_row : cfa_table_row;
cs_row_stack : cfa_table_row list;
}
type evaluated_frame_info = (fde * cfa_table_row list) list
type line_number_argument_value =
| LNAV_address of Nat_big_num.num
| LNAV_ULEB128 of Nat_big_num.num
| LNAV_SLEB128 of Nat_big_num.num
| LNAV_uint16 of Nat_big_num.num
| LNAV_string of Byte_sequence.byte_sequence0
type line_number_operation =
| DW_LNS_copy
| DW_LNS_advance_pc of Nat_big_num.num
| DW_LNS_advance_line of Nat_big_num.num
| DW_LNS_set_file of Nat_big_num.num
| DW_LNS_set_column of Nat_big_num.num
| DW_LNS_negate_stmt
| DW_LNS_set_basic_block
| DW_LNS_const_add_pc
| DW_LNS_fixed_advance_pc of Nat_big_num.num
| DW_LNS_set_prologue_end
| DW_LNS_set_epilogue_begin
| DW_LNS_set_isa of Nat_big_num.num
| DW_LNE_end_sequence
| DW_LNE_set_address of Nat_big_num.num
| DW_LNE_define_file of Byte_sequence.byte_sequence0 * Nat_big_num.num * Nat_big_num.num * Nat_big_num.num
| DW_LNE_set_discriminator of Nat_big_num.num
| DW_LN_special of Nat_big_num.num
type line_number_file_entry = {
lnfe_path : Byte_sequence.byte_sequence0;
lnfe_directory_index : Nat_big_num.num;
lnfe_last_modification : Nat_big_num.num;
lnfe_length : Nat_big_num.num;
}
type line_number_header = {
lnh_offset : Nat_big_num.num;
lnh_dwarf_format : dwarf_format;
lnh_unit_length : Nat_big_num.num;
lnh_version : Nat_big_num.num;
lnh_header_length : Nat_big_num.num;
lnh_minimum_instruction_length : Nat_big_num.num;
lnh_maximum_operations_per_instruction : Nat_big_num.num;
lnh_default_is_stmt : bool;
lnh_line_base : Nat_big_num.num;
lnh_line_range : Nat_big_num.num;
lnh_opcode_base : Nat_big_num.num;
lnh_standard_opcode_lengths : Nat_big_num.num list;
lnh_include_directories : Byte_sequence.byte_sequence0 list;
lnh_file_entries : line_number_file_entry list;
lnh_comp_dir : string option;
}
type line_number_program = {
lnp_header : line_number_header;
lnp_operations : line_number_operation list;
}
type line_number_registers = {
lnr_address : Nat_big_num.num;
lnr_op_index : Nat_big_num.num;
lnr_file : Nat_big_num.num;
lnr_line : Nat_big_num.num;
lnr_column : Nat_big_num.num;
lnr_is_stmt : bool;
lnr_basic_block : bool;
lnr_end_sequence : bool;
lnr_prologue_end : bool;
lnr_epilogue_begin : bool;
lnr_isa : Nat_big_num.num;
lnr_discriminator : Nat_big_num.num;
}
type unpacked_decl = unpacked_file_entry * int * string
type dwarf = {
d_endianness : Endianness.endianness;
d_str : Byte_sequence.byte_sequence0;
d_compilation_units : compilation_units;
d_type_units : type_units;
d_loc : location_list_list;
d_ranges : range_list_list;
d_frame_info : frame_info;
d_line_info : line_number_program list;
}
type analysed_location_data =
((compilation_unit * die list * die)
* (Nat_big_num.num * Nat_big_num.num * single_location_description) list
option)
list
type analysed_location_data_at_pc =
((compilation_unit * die list * die)
* (Nat_big_num.num
* Nat_big_num.num
* single_location_description
* single_location Error.error))
list
type evaluated_line_info =
(line_number_header * line_number_registers list) list
type dwarf_static = {
ds_dwarf : dwarf;
ds_analysed_location_data : analysed_location_data;
ds_evaluated_frame_info : evaluated_frame_info;
ds_evaluated_line_info : evaluated_line_info;
ds_subprogram_line_extents : (unpacked_file_entry * (string * unpacked_file_entry * Nat_big_num.num) list) list;
}
type dwarf_dynamic_at_pc = analysed_location_data_at_pc
type cupdie = compilation_unit * die list * die
type !'t array_dimension = Nat_big_num.num option * 't
type !'t struct_union_member = cupdie * string option * 't * Nat_big_num.num
type enumeration_member = cupdie * string option * Nat_big_num.num
type !'t c_type_top =
| CT_base of cupdie * string * Nat_big_num.num * Nat_big_num.num option
| CT_pointer of cupdie * 't option
| CT_const of cupdie * 't option
| CT_volatile of cupdie * 't
| CT_restrict of cupdie * 't
| CT_typedef of cupdie * string * 't * decl
| CT_array of cupdie * 't * 't array_dimension list
| CT_struct_union of cupdie * struct_union_type_kind * string option * Nat_big_num.num option * decl * 't struct_union_member list option
| CT_enumeration of cupdie * string option * 't option * Nat_big_num.num option * decl * enumeration_member list option
type sdt_variable_or_formal_parameter = {
svfp_cupdie : cupdie;
svfp_name : string;
svfp_kind : variable_or_formal_parameter_kind;
svfp_type : c_type;
svfp_abstract_origin : sdt_variable_or_formal_parameter option;
svfp_const_value : Nat_big_num.num option;
svfp_external : bool;
svfp_declaration : bool;
svfp_locations : (Nat_big_num.num * Nat_big_num.num * operation list) list option;
svfp_decl : unpacked_decl option;
}
type sdt_subroutine = {
ss_cupdie : cupdie;
ss_name : string option;
ss_kind : sdt_subroutine_kind;
ss_call_site : unpacked_decl option;
ss_abstract_origin : sdt_subroutine option;
ss_type : c_type option;
ss_vars : sdt_variable_or_formal_parameter list;
ss_pc_ranges : (Nat_big_num.num * Nat_big_num.num) list option;
ss_entry_address : Nat_big_num.num option;
ss_unspecified_parameters : sdt_unspecified_parameter list;
ss_subroutines : sdt_subroutine list;
ss_lexical_blocks : sdt_lexical_block list;
ss_decl : unpacked_decl option;
ss_noreturn : bool;
ss_external : bool;
}
and sdt_lexical_block = {
slb_cupdie : cupdie;
slb_vars : sdt_variable_or_formal_parameter list;
slb_pc_ranges : (Nat_big_num.num * Nat_big_num.num) list option;
slb_subroutines : sdt_subroutine list;
slb_lexical_blocks : sdt_lexical_block list;
}
type sdt_compilation_unit = {
scu_cupdie : cupdie;
scu_name : string;
scu_subroutines : sdt_subroutine list;
scu_vars : sdt_variable_or_formal_parameter list;
}
type inlined_subroutine_const_param = {
iscp_abstract_origin : compilation_unit * die list * die;
iscp_value : Nat_big_num.num;
}
type inlined_subroutine = {
is_inlined_subroutine : compilation_unit * die list * die;
is_abstract_origin : compilation_unit * die list * die;
is_inlined_subroutine_sdt : sdt_subroutine;
is_inlined_subroutine_sdt_parents : sdt_subroutine list;
is_name : string;
is_call_file : unpacked_file_entry;
is_call_line : Nat_big_num.num;
is_pc_ranges : (Nat_big_num.num * Nat_big_num.num) list;
is_const_params : inlined_subroutine_const_param list;
}
type inlined_subroutine_data = inlined_subroutine list
type inlined_subroutine_data_by_range_entry =
(Nat_big_num.num * Nat_big_num.num)
* (Nat_big_num.num * Nat_big_num.num)
* inlined_subroutine
type inlined_subroutine_data_by_range =
inlined_subroutine_data_by_range_entry list
val index_natural : 'a list -> Nat_big_num.num -> 'a option
val partialNaturalFromInteger : Nat_big_num.num -> Nat_big_num.num
val tag_encodings : (string * Nat_big_num.num) list
val vDW_CHILDREN_no : Nat_big_num.num
val vDW_CHILDREN_yes : Nat_big_num.num
val attribute_encodings :
(string * Nat_big_num.num * dwarf_attribute_classes list) list
val attribute_form_encodings :
(string * Nat_big_num.num * dwarf_attribute_classes list) list
val operation_encodings :
(string
* Nat_big_num.num
* operation_argument_type list
* operation_semantics)
list
val vDW_OP_reg0 : Nat_big_num.num
val vDW_OP_breg0 : Nat_big_num.num
val call_frame_instruction_encoding :
(string
* Nat_big_num.num
* Nat_big_num.num
* call_frame_argument_type list
* (call_frame_argument_value list ->
call_frame_instruction option))
list
val line_number_standard_encodings :
(string
* Nat_big_num.num
* line_number_argument_type list
* (line_number_argument_value list ->
line_number_operation option))
list
val line_number_extended_encodings :
(string
* Nat_big_num.num
* line_number_argument_type list
* (line_number_argument_value list ->
line_number_operation option))
list
val base_type_attribute_encodings : (string * Nat_big_num.num) list
val bytes_of_natural :
Endianness.endianness ->
Nat_big_num.num ->
Nat_big_num.num ->
Byte_sequence_wrapper.byte_sequence
val natural_of_bytes_little :
Byte_sequence_wrapper.byte_sequence ->
Nat_big_num.num
val natural_of_bytes_big :
Nat_big_num.num ->
Byte_sequence_wrapper.byte_sequence ->
Nat_big_num.num
val natural_of_bytes :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
Nat_big_num.num
val bigunionListMap :
'b Lem_basic_classes.setType_class ->
('a -> 'b Pset.set) ->
'a list ->
'b Pset.set
val mytake' :
Nat_big_num.num ->
'a list ->
'a list ->
('a list * 'a list) option
val mytake : Nat_big_num.num -> 'a list -> ('a list * 'a list) option
val mynth : Nat_big_num.num -> 'a list -> 'a option
val pphexplain : Nat_big_num.num -> string
val pphex : Nat_big_num.num -> string
val pphex_integer : Nat_big_num.num -> string
val ppbytes : Byte_sequence_wrapper.byte_sequence -> string
val ppbytes2 : Nat_big_num.num -> Byte_sequence_wrapper.byte_sequence -> string
val ppbytesplain :
p_context ->
Nat_big_num.num ->
Byte_sequence_wrapper.byte_sequence ->
string
val max_address : Nat_big_num.num -> Nat_big_num.num
val lookup_Ab_b :
'a Lem_basic_classes.eq_class ->
'a ->
('a * 'b) list ->
'b option
val lookup_aB_a :
'b Lem_basic_classes.eq_class ->
'b ->
('a * 'b) list ->
'a option
val lookup_aBc_a :
'b Lem_basic_classes.eq_class ->
'b ->
('a * 'b * 'c) list ->
'a option
val lookup_aBc_ac :
'b Lem_basic_classes.eq_class ->
'b ->
('a * 'b * 'c) list ->
('a * 'c) option
val lookup_Abc_b :
'a Lem_basic_classes.eq_class ->
'a ->
('a * 'b * 'c) list ->
'b option
val lookup_aBcd_a :
'b Lem_basic_classes.eq_class ->
'b ->
('a * 'b * 'c * 'd) list ->
'a option
val lookup_aBcd_acd :
'b Lem_basic_classes.eq_class ->
'b ->
('a * 'b * 'c * 'd) list ->
('a * 'c * 'd) option
val lookup_abCde_de :
'a Lem_basic_classes.eq_class ->
'a ->
('b * 'c * 'a * 'd * 'e) list ->
('d * 'e) option
val pp_maybe : (Nat_big_num.num -> string option) -> Nat_big_num.num -> string
val pp_tag_encoding : Nat_big_num.num -> string
val pp_attribute_encoding : Nat_big_num.num -> string
val pp_attribute_form_encoding : Nat_big_num.num -> string
val pp_operation_encoding : Nat_big_num.num -> string
val tag_encode : string -> Nat_big_num.num
val attribute_encode : string -> Nat_big_num.num
val attribute_form_encode : string -> Nat_big_num.num
val base_type_attribute_encode : string -> Nat_big_num.num
type !'a parser = parse_context -> 'a parse_result
val pp_parse_context : parse_context -> string
val pp_parse_fail : string -> parse_context -> string
val pp_parse_result : ('a -> string) -> 'a parse_result -> string
val pr_bind :
'a parse_result ->
('a -> parse_context -> 'b parse_result) ->
'b parse_result
val pr_return : 'a -> parse_context -> 'a parse_result
val pr_map : ('a -> 'b) -> 'a parse_result -> 'b parse_result
val pr_map2 :
('a -> 'b) ->
(parse_context -> 'a parse_result) ->
parse_context ->
'b parse_result
val pr_post_map1 : 'a parse_result -> ('a -> 'b) -> 'b parse_result
val pr_post_map :
(parse_context -> 'a parse_result) ->
('a -> 'b) ->
parse_context ->
'b parse_result
val pr_with_pos :
(parse_context -> 'a parse_result) ->
parse_context ->
(Nat_big_num.num * 'a) parse_result
val parse_pair :
(parse_context -> 'a parse_result) ->
(parse_context -> 'b parse_result) ->
parse_context ->
('a * 'b) parse_result
val parse_triple :
(parse_context -> 'a parse_result) ->
(parse_context -> 'b parse_result) ->
(parse_context -> 'c parse_result) ->
parse_context ->
('a * ('b * 'c)) parse_result
val parse_quadruple :
(parse_context -> 'a parse_result) ->
(parse_context -> 'b parse_result) ->
(parse_context -> 'c parse_result) ->
(parse_context -> 'd parse_result) ->
parse_context ->
('a * ('b * ('c * 'd))) parse_result
val parse_pentuple :
(parse_context -> 'a parse_result) ->
(parse_context -> 'b parse_result) ->
(parse_context -> 'c parse_result) ->
(parse_context -> 'd parse_result) ->
(parse_context -> 'e parse_result) ->
parse_context ->
('a * ('b * ('c * ('d * 'e)))) parse_result
val parse_sextuple :
(parse_context -> 'a parse_result) ->
(parse_context -> 'b parse_result) ->
(parse_context -> 'c parse_result) ->
(parse_context -> 'd parse_result) ->
(parse_context -> 'e parse_result) ->
(parse_context -> 'f parse_result) ->
parse_context ->
('a * ('b * ('c * ('d * ('e * 'f))))) parse_result
val parse_dependent_pair :
(parse_context -> 'a parse_result) ->
('a -> parse_context -> 'b parse_result) ->
parse_context ->
('a * 'b) parse_result
val parse_dependent :
(parse_context -> 'a parse_result) ->
('a -> parse_context -> 'b parse_result) ->
parse_context ->
'b parse_result
val parse_list' :
(parse_context -> 'a option parse_result) ->
'a list ->
parse_context ->
'a list parse_result
val parse_list :
(parse_context -> 'a option parse_result) ->
parse_context ->
'a list parse_result
val parse_parser_list :
(parse_context -> 'a parse_result) list ->
parse_context ->
'a list parse_result
val parse_maybe :
(parse_context -> 'a parse_result) ->
parse_context ->
'a option parse_result
val parse_demaybe :
string ->
(parse_context -> 'a option parse_result) ->
parse_context ->
'a parse_result
val parse_restrict_length :
Nat_big_num.num ->
(parse_context -> 'a parse_result) ->
parse_context ->
'a parse_result
val parse_byte : char parser
val parse_n_bytes : Nat_big_num.num -> Byte_sequence.byte_sequence0 parser
val parse_string : Byte_sequence.byte_sequence0 parser
val parse_non_empty_string : Byte_sequence.byte_sequence0 option parser
val parse_uint8 : Nat_big_num.num parser
val parse_uint8_constant : Nat_big_num.num -> Nat_big_num.num parser
val parse_uint16 : p_context -> Nat_big_num.num parser
val parse_uint32 : p_context -> Nat_big_num.num parser
val parse_uint64 : p_context -> Nat_big_num.num parser
val integerFromTwosComplementNatural :
Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num
val partialTwosComplementNaturalFromInteger :
Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num
val parse_sint8 : Nat_big_num.num parser
val parse_sint16 : p_context -> Nat_big_num.num parser
val parse_sint32 : p_context -> Nat_big_num.num parser
val parse_sint64 : p_context -> Nat_big_num.num parser
val parse_ULEB128' :
Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num parser
val parse_ULEB128 : Nat_big_num.num parser
val parse_SLEB128' :
Nat_big_num.num ->
Nat_big_num.num ->
(bool * Nat_big_num.num * Nat_big_num.num) parser
val parse_SLEB128 : Nat_big_num.num parser
val parse_nonzero_ULEB128_pair :
(Nat_big_num.num * Nat_big_num.num) option parser
val parse_zero_terminated_ULEB128_pair_list :
(Nat_big_num.num * Nat_big_num.num) list parser
val parse_uintDwarfN : p_context -> dwarf_format -> Nat_big_num.num parser
val parse_uint_address_size :
p_context ->
Nat_big_num.num ->
Nat_big_num.num parser
val parse_uint_segment_selector_size :
p_context ->
Nat_big_num.num ->
Nat_big_num.num option parser
val pp_abbreviation_declaration : abbreviation_declaration -> string
val pp_abbreviations_table : abbreviations_table -> string
val remove_duplicates :
'a Lem_basic_classes.eq_class ->
('a * 'b) list ->
('a * 'b) list ->
('a * 'b) list
val pp_abbreviations_tables : dwarf -> string
val parse_abbreviation_declaration :
'a ->
abbreviation_declaration option parser
val parse_abbreviations_table :
'a ->
parse_context ->
abbreviation_declaration list parse_result
val null_terminated_bs :
Byte_sequence.byte_sequence0 ->
Byte_sequence.byte_sequence0
val pp_debug_str_entry :
Byte_sequence.byte_sequence0 ->
Nat_big_num.num ->
string
val pp_operation_argument_value : operation_argument_value -> string
val pp_operation_semantics : operation_semantics -> string
val pp_operation_semantics_brief : operation_semantics -> string
val pp_operation : operation -> string
val pp_operations : operation list -> string
val parser_of_operation_argument_type :
p_context ->
compilation_unit_header ->
operation_argument_type ->
parse_context ->
operation_argument_value parse_result
val parse_operation :
p_context ->
compilation_unit_header ->
parse_context ->
operation option parse_result
val parse_operations :
p_context ->
compilation_unit_header ->
parse_context ->
operation list parse_result
val parse_operations_bs :
p_context ->
compilation_unit_header ->
Byte_sequence.byte_sequence0 ->
operation list
val parse_and_pp_operations :
p_context ->
compilation_unit_header ->
Byte_sequence.byte_sequence0 ->
string
val pp_attribute_value :
p_context ->
compilation_unit_header ->
Byte_sequence.byte_sequence0 ->
Nat_big_num.num ->
attribute_value ->
string
val pp_attribute_value_like_objdump :
p_context ->
compilation_unit_header ->
Byte_sequence.byte_sequence0 ->
Nat_big_num.num ->
attribute_value ->
string
val parser_of_attribute_form_non_indirect :
p_context ->
compilation_unit_header ->
Nat_big_num.num ->
parse_context ->
attribute_value parse_result
val parser_of_attribute_form :
p_context ->
compilation_unit_header ->
Nat_big_num.num ->
parse_context ->
attribute_value parse_result
val pp_pos : Nat_big_num.num -> string
val find_die_by_offset_in_cu :
Nat_big_num.num ->
compilation_unit ->
cupdie option
val find_die_by_offset_in_all : Nat_big_num.num -> dwarf -> cupdie option
val find_dies_in_die :
(die -> bool) ->
compilation_unit ->
die list ->
die ->
(compilation_unit * die list * die) list
val string_of_string_attribute_value :
Byte_sequence.byte_sequence0 ->
attribute_value ->
string
val natural_of_constant_attribute_value :
p_context ->
attribute_value ->
Nat_big_num.num
val integer_of_constant_attribute_value :
p_context ->
attribute_value ->
Nat_big_num.num
val bool_of_flag_attribute_value : attribute_value -> bool
val reference_of_reference_attribute_value :
'a ->
dwarf ->
compilation_unit ->
'b ->
attribute_value ->
(compilation_unit * die list * die) option
val find_attribute_value : string -> die -> attribute_value option
val find_string_attribute_value_of_die :
string ->
Byte_sequence.byte_sequence0 ->
die ->
string option
val find_natural_attribute_value_of_die :
p_context ->
string ->
die ->
Nat_big_num.num option
val find_integer_attribute_value_of_die :
p_context ->
string ->
die ->
Nat_big_num.num option
val find_flag_attribute_value_of_die : string -> die -> bool option
val find_name_of_die : Byte_sequence.byte_sequence0 -> die -> string option
val find_reference_attribute_of_die :
'a ->
dwarf ->
compilation_unit ->
'b ->
string ->
die ->
(compilation_unit * die list * die) option
val find_DW_AT_type_of_die :
'a ->
dwarf ->
compilation_unit ->
'b ->
die ->
(compilation_unit * die list * die) option
val find_attribute_value_using_abstract_origin :
'a ->
dwarf ->
compilation_unit ->
'b ->
string ->
die ->
(compilation_unit * attribute_value) option
val find_name_of_die_using_abstract_origin :
'a ->
dwarf ->
compilation_unit ->
Byte_sequence.byte_sequence0 ->
die ->
string option
val find_reference_attribute_using_abstract_origin :
'a ->
dwarf ->
compilation_unit ->
'b ->
string ->
die ->
(compilation_unit * die list * die) option
val find_DW_AT_type_of_die_using_abstract_origin :
'a ->
dwarf ->
compilation_unit ->
'b ->
die ->
(compilation_unit * die list * die) option
val pp_dwarf_format : dwarf_format -> string
val pp_unit_header : string -> compilation_unit_header -> string
val pp_compilation_unit_header : compilation_unit_header -> string
val parse_unit_length : p_context -> (dwarf_format * Nat_big_num.num) parser
val parse_compilation_unit_header : p_context -> compilation_unit_header parser
val pp_type_unit_header : type_unit_header -> string
val parse_type_unit_header : p_context -> type_unit_header parser
val indent_level : bool -> Nat_big_num.num -> string
val indent_level_plus_one : bool -> Nat_big_num.num -> string
val pp_die_attribute :
p_context ->
compilation_unit_header ->
Byte_sequence.byte_sequence0 ->
bool ->
Nat_big_num.num ->
((Nat_big_num.num * Nat_big_num.num) * (Nat_big_num.num * attribute_value)) ->
string
val pp_die :
p_context ->
compilation_unit_header ->
Byte_sequence.byte_sequence0 ->
bool ->
Nat_big_num.num ->
bool ->
die ->
string
val pp_die_abbrev :
'a ->
'b ->
Byte_sequence.byte_sequence0 ->
Nat_big_num.num ->
bool ->
die list ->
die ->
string
val pp_die_abbrev_var :
'a ->
dwarf ->
compilation_unit ->
Byte_sequence.byte_sequence0 ->
bool ->
'b ->
die ->
string * string * string
val pp_die_abbrev_var_parent :
'a ->
dwarf ->
compilation_unit ->
Byte_sequence.byte_sequence0 ->
die ->
string
val pp_die_abbrev_var_parents :
'a ->
dwarf ->
compilation_unit ->
Byte_sequence.byte_sequence0 ->
die list ->
string
val parse_die :
p_context ->
'a ->
compilation_unit_header ->
(Nat_big_num.num -> abbreviation_declaration) ->
parse_context ->
die option parse_result
val has_attribute : string -> die -> bool
val pp_compilation_unit :
p_context ->
bool ->
Byte_sequence.byte_sequence0 ->
compilation_unit ->
string
val pp_compilation_units :
p_context ->
bool ->
Byte_sequence.byte_sequence0 ->
compilation_unit list ->
string
val pp_compilation_unit_abbrev :
'a ->
Byte_sequence.byte_sequence0 ->
compilation_unit ->
string
val pp_compilation_units_abbrev :
'a ->
Byte_sequence.byte_sequence0 ->
compilation_unit list ->
string
val parse_compilation_unit :
p_context ->
Byte_sequence.byte_sequence0 ->
Byte_sequence.byte_sequence0 ->
compilation_unit option parser
val parse_compilation_units :
p_context ->
Byte_sequence.byte_sequence0 ->
Byte_sequence.byte_sequence0 ->
compilation_unit list parser
val pp_type_unit :
p_context ->
Byte_sequence.byte_sequence0 ->
type_unit ->
string
val pp_type_units :
p_context ->
Byte_sequence.byte_sequence0 ->
type_unit list ->
string
val parse_type_unit :
p_context ->
Byte_sequence.byte_sequence0 ->
Byte_sequence.byte_sequence0 ->
type_unit option parser
val parse_type_units :
p_context ->
Byte_sequence.byte_sequence0 ->
Byte_sequence.byte_sequence0 ->
type_unit list parser
val pp_location_list_entry :
p_context ->
compilation_unit_header ->
Nat_big_num.num ->
location_list_entry ->
string
val pp_base_address_selection_entry :
'a ->
compilation_unit_header ->
Nat_big_num.num ->
base_address_selection_entry ->
string
val pp_location_list_item :
p_context ->
compilation_unit_header ->
Nat_big_num.num ->
location_list_item ->
string
val pp_location_list :
p_context ->
compilation_unit_header ->
(Nat_big_num.num * location_list_item list) ->
string
val pp_loc :
p_context ->
compilation_unit_header ->
location_list list ->
string
val parse_location_list_item :
p_context ->
compilation_unit_header ->
location_list_item option parser
val parse_location_list :
p_context ->
compilation_unit_header ->
location_list option parser
val parse_location_list_list :
p_context ->
compilation_unit_header ->
location_list_list parser
val find_location_list : location_list list -> Nat_big_num.num -> location_list
val interpret_location_list :
Nat_big_num.num ->
location_list_item list ->
(Nat_big_num.num * Nat_big_num.num * single_location_description) list
val pp_range_list_entry :
'a ->
compilation_unit_header ->
Nat_big_num.num ->
range_list_entry ->
string
val pp_range_list_item :
'a ->
compilation_unit_header ->
Nat_big_num.num ->
range_list_item ->
string
val pp_range_list :
'a ->
compilation_unit_header ->
(Nat_big_num.num * range_list_item list) ->
string
val pp_ranges : 'a -> compilation_unit_header -> range_list list -> string
val parse_range_list_item :
p_context ->
compilation_unit_header ->
range_list_item option parser
val parse_range_list :
p_context ->
compilation_unit_header ->
range_list option parser
val parse_range_list_list :
p_context ->
compilation_unit_header ->
range_list_list parser
val find_range_list : range_list list -> Nat_big_num.num -> range_list
val interpret_range_list :
Nat_big_num.num ->
range_list_item list ->
(Nat_big_num.num * Nat_big_num.num) list
val pp_cfa_address : Nat_big_num.num -> string
val pp_cfa_block : Byte_sequence_wrapper.byte_sequence -> string
val pp_cfa_delta : Nat_big_num.num -> string
val pp_cfa_sfoffset : 'a Show.show_class -> 'a -> string
val pp_cfa_register : 'a Show.show_class -> 'a -> string
val pp_cfa_offset : Nat_big_num.num -> string
val pp_cfa_rule : cfa_rule -> string
val pp_register_rule : register_rule -> string
val pp_call_frame_instruction : call_frame_instruction -> string
val pp_call_frame_instructions : call_frame_instruction list -> string
val parser_of_call_frame_argument_type :
p_context ->
compilation_unit_header ->
call_frame_argument_type ->
call_frame_argument_value parser
val parse_call_frame_instruction :
p_context ->
compilation_unit_header ->
call_frame_instruction option parser
val parse_call_frame_instructions :
p_context ->
compilation_unit_header ->
call_frame_instruction list parser
val parse_and_pp_call_frame_instructions :
p_context ->
compilation_unit_header ->
Byte_sequence.byte_sequence0 ->
string
val pp_call_frame_instructions' :
p_context ->
compilation_unit_header ->
Byte_sequence.byte_sequence0 ->
string
val pp_cie : 'a -> 'b -> cie -> string
val pp_fde : 'a -> 'b -> fde -> string
val pp_frame_info_element : 'a -> 'b -> frame_info_element -> string
val pp_frame_info : 'a -> 'b -> frame_info_element list -> string
val find_cie : frame_info_element list -> Nat_big_num.num -> cie
val parse_initial_location :
p_context ->
compilation_unit_header ->
Nat_big_num.num option ->
Nat_big_num.num option ->
(Nat_big_num.num option * Nat_big_num.num) parser
val parse_call_frame_instruction_bytes :
Nat_big_num.num ->
Nat_big_num.num ->
parse_context ->
Byte_sequence_wrapper.byte_sequence parse_result
val parse_frame_info_element :
p_context ->
compilation_unit_header ->
frame_info_element list ->
frame_info_element parser
val parse_dependent_list' :
('a list -> parse_context -> 'a parse_result) ->
'a list ->
parse_context ->
'a list parse_result
val parse_dependent_list :
('a list -> parse_context -> 'a parse_result) ->
parse_context ->
'a list parse_result
val parse_frame_info :
p_context ->
compilation_unit_header ->
frame_info parser
val pp_line_number_file_entry : line_number_file_entry -> string
val pp_line_number_header : line_number_header -> string
val pp_line_number_operation : line_number_operation -> string
val pp_line_number_program : line_number_program -> string
val parse_line_number_file_entry : line_number_file_entry option parser
val parse_line_number_header :
p_context ->
string option ->
line_number_header parser
val parser_of_line_number_argument_type :
p_context ->
compilation_unit_header ->
line_number_argument_type ->
line_number_argument_value parser
val parse_line_number_operation :
p_context ->
compilation_unit_header ->
line_number_header ->
line_number_operation parser
val parse_line_number_operations :
p_context ->
compilation_unit_header ->
line_number_header ->
line_number_operation list parser
val parse_line_number_program :
p_context ->
compilation_unit_header ->
string option ->
line_number_program parser
val line_number_offset_of_compilation_unit :
p_context ->
compilation_unit ->
Nat_big_num.num
val line_number_program_of_compilation_unit :
dwarf ->
compilation_unit ->
line_number_program
val filename : dwarf -> compilation_unit -> Nat_big_num.num -> string option
val unpack_file_entry :
line_number_header ->
Nat_big_num.num ->
unpacked_file_entry
val pp_ufe : unpacked_file_entry -> string
val pp_ud : unpacked_decl -> string
val pp_ufe_brief : unpacked_file_entry -> string
val parse_line_number_info :
p_context ->
Byte_sequence.byte_sequence0 ->
Byte_sequence.byte_sequence0 ->
compilation_unit ->
line_number_program
val parse_line_number_infos :
p_context ->
Byte_sequence.byte_sequence0 ->
Byte_sequence.byte_sequence0 ->
compilation_unit list ->
line_number_program list
val pp_line_info : line_number_program list -> string
val pp_dwarf_like_objdump : dwarf -> string
val pp_dwarf : dwarf -> string
val extract_section_body :
Elf_file.elf_file ->
string ->
bool ->
p_context * Nat_big_num.num * Byte_sequence_wrapper.byte_sequence
val extract_dwarf : Elf_file.elf_file -> dwarf option
val extract_text :
Elf_file.elf_file ->
p_context * Nat_big_num.num * Byte_sequence.byte_sequence0
val pp_simple_location : simple_location -> string
val pp_composite_location_piece : composite_location_piece -> string
val pp_single_location : single_location -> string
val initial_state : state
val arithmetic_context_of_cuh : compilation_unit_header -> arithmetic_context
val find_cfa_table_row_for_pc :
evaluated_frame_info ->
Nat_big_num.num ->
cfa_table_row
val evaluate_operation_list :
p_context ->
location_list_list ->
evaluated_frame_info ->
compilation_unit_header ->
arithmetic_context ->
evaluation_context ->
attribute_value option ->
Nat_big_num.num ->
state ->
operation list ->
single_location Error.error
val evaluate_location_description_bytes :
p_context ->
location_list_list ->
evaluated_frame_info ->
compilation_unit_header ->
arithmetic_context ->
evaluation_context ->
attribute_value option ->
Nat_big_num.num ->
Byte_sequence.byte_sequence0 ->
single_location Error.error
val evaluate_location_description :
p_context ->
location_list_list ->
evaluated_frame_info ->
compilation_unit_header ->
arithmetic_context ->
evaluation_context ->
attribute_value option ->
Nat_big_num.num ->
attribute_value ->
single_location Error.error
val rrp_update :
(Nat_big_num.num * register_rule) list ->
Nat_big_num.num ->
register_rule ->
(Nat_big_num.num * register_rule) list
val rrp_lookup :
Nat_big_num.num ->
(Nat_big_num.num * register_rule) list ->
register_rule
val rrp_empty : (cfa_register * register_rule) list
val register_footprint_rrp : register_rule_map -> cfa_register Pset.set
val register_footprint : cfa_table_row list -> cfa_register list
val max_lengths : string list list -> Nat_big_num.num list
val pad_row : string list -> Nat_big_num.num list -> string list
val pp_evaluated_fde : ('a * cfa_table_row list) -> string
val semi_pp_evaluated_fde :
('a * cfa_table_row list) ->
(Nat_big_num.num * string * (string * string) list) list
val semi_pp_evaluated_frame_info :
('a * cfa_table_row list) list ->
(Nat_big_num.num * string * (string * string) list) list
val evaluate_call_frame_instruction :
frame_info ->
cie ->
cfa_state ->
call_frame_instruction ->
cfa_state
val evaluate_call_frame_instructions :
frame_info ->
cie ->
cfa_state ->
call_frame_instruction list ->
cfa_state
val evaluate_fde : frame_info -> fde -> cfa_table_row list
val evaluate_frame_info : dwarf -> evaluated_frame_info
val pp_evaluated_frame_info : evaluated_frame_info -> string
val analyse_type_info_top :
p_context ->
dwarf ->
bool ->
cupdie ->
cupdie c_type_top
val find_DW_AT_type_of_die_deep :
dwarf ->
(compilation_unit * 'a * die) ->
c_type option
val find_DW_AT_type_of_die_deep_using_abstract_origin :
dwarf ->
(compilation_unit * 'a * die) ->
c_type option
val pp_struct_union_type_kind : struct_union_type_kind -> string
val pp_cupdie : (compilation_unit * 'a * die) -> string
val pp_cupdie3 : (compilation_unit * die list * die) -> string
val pp_mbyte_size : 'a Show.show_class -> 'a option -> string
val pp_type_info_top : ('a -> string) -> 'a c_type_top -> string
val pp_type_info_deep : c_type -> string
val pp_struct_union_type_member :
p_context ->
dwarf ->
cupdie struct_union_member ->
string list
val pp_struct_union_type_member' : c_type struct_union_member -> string list
val pp_enum_type_member' : enumeration_member -> string list
val pp_struct_union_type_defn' : c_type -> string
val pp_type_info_die_DW_AT_type :
p_context ->
dwarf ->
compilation_unit ->
'a ->
die ->
string
val pp_all_struct_union_enum_types' : dwarf -> string
val cu_base_address : compilation_unit -> Nat_big_num.num
val range_of_die :
p_context ->
range_list_list ->
Nat_big_num.num ->
die ->
(Nat_big_num.num * Nat_big_num.num) list option
val range_of_die_d :
dwarf ->
compilation_unit ->
die ->
(Nat_big_num.num * Nat_big_num.num) list option
val entry_address : die -> Nat_big_num.num option
val closest_enclosing_range :
p_context ->
range_list_list ->
Nat_big_num.num ->
die list ->
(Nat_big_num.num * Nat_big_num.num) list option
val closest_enclosing_frame_base :
'a ->
Nat_big_num.num ->
die list ->
attribute_value option
val interpreted_location_of_die :
p_context ->
compilation_unit_header ->
location_list_list ->
range_list_list ->
Nat_big_num.num ->
die list ->
die ->
(Nat_big_num.num * Nat_big_num.num * single_location_description) list option
val analyse_locations : dwarf -> analysed_location_data
val pp_analysed_locations1 :
p_context ->
compilation_unit_header ->
(Nat_big_num.num * Nat_big_num.num * single_location_description) list ->
string
val pp_analysed_locations2 :
p_context ->
compilation_unit_header ->
(Nat_big_num.num * Nat_big_num.num * single_location_description) list option ->
string
val pp_analysed_locations3 :
p_context ->
dwarf ->
Byte_sequence.byte_sequence0 ->
bool ->
analysed_location_data ->
(bool
* (string * string * string)
* (unit ->
string)
* string
* (unit ->
string))
list
val pp_analysed_locations3_diff :
p_context ->
dwarf ->
Byte_sequence.byte_sequence0 ->
analysed_location_data ->
analysed_location_data ->
(bool
* (string * string * string)
* (unit ->
string)
* string
* (unit ->
string))
list
val pp_analysed_location_data : dwarf -> analysed_location_data -> string
val pp_analysed_location_data_diff :
dwarf ->
analysed_location_data ->
analysed_location_data ->
string
val pp_analysed_location_data_at_pc :
dwarf ->
analysed_location_data_at_pc ->
string
val analysed_locations_at_pc :
evaluation_context ->
dwarf_static ->
Nat_big_num.num ->
analysed_location_data_at_pc
val names_of_address :
dwarf ->
analysed_location_data_at_pc ->
Nat_big_num.num ->
string list
val filtered_analysed_location_data :
dwarf_static ->
Nat_big_num.num ->
((compilation_unit * die list * die)
* (Nat_big_num.num * Nat_big_num.num * Byte_sequence_wrapper.byte_sequence)
list
option)
list
val subprogram_line_extents_compilation_unit :
dwarf ->
compilation_unit ->
(string * unpacked_file_entry * Nat_big_num.num) list
val extract :
'b Lem_basic_classes.eq_class ->
'b ->
('b * 'c) list ->
'c option * ('b * 'c) list
val partitionby :
'a Lem_basic_classes.eq_class ->
'b Lem_basic_classes.eq_class ->
('a -> 'b) ->
('a -> 'a -> bool) ->
'a list ->
('b * 'a list) list ->
('b * 'a list) list
val subprogram_line_extents :
dwarf ->
(unpacked_file_entry * (string * unpacked_file_entry * Nat_big_num.num) list)
list
val pp_subprograms :
'a Show.show_class ->
(unpacked_file_entry * (string * 'b * 'a) list) list ->
string
val find_by_line :
'b Lem_basic_classes.ord_class ->
'b ->
('a * 'c * 'b) list ->
'b ->
'a ->
'a
val subprogram_at_line :
((string option * string option * string)
* (string * 'a * Nat_big_num.num) list)
list ->
unpacked_file_entry ->
Nat_big_num.num ->
string
val initial_line_number_registers : line_number_header -> line_number_registers
val evaluate_line_number_operation :
line_number_header ->
(line_number_registers * line_number_registers list) ->
line_number_operation ->
line_number_registers * line_number_registers list
val evaluate_line_number_operations :
line_number_header ->
(line_number_registers * line_number_registers list) ->
line_number_operation list ->
line_number_registers * line_number_registers list
val evaluate_line_number_program :
line_number_program ->
line_number_registers list
val pp_line_number_registers : line_number_registers -> string
val pp_line_number_registers_tight : line_number_registers -> string list
val pp_line_number_registerss : line_number_registers list -> string
val pp_evaluated_line_info : evaluated_line_info -> string
val source_lines_of_address :
dwarf_static ->
Nat_big_num.num ->
(unpacked_file_entry * Nat_big_num.num * line_number_registers * string) list
val extract_dwarf_static : Elf_file.elf_file -> dwarf_static option
val decl_of_die :
dwarf ->
((string option * string option * string)
* (string * 'a * Nat_big_num.num) list)
list ->
compilation_unit ->
die ->
(unpacked_file_entry * int * string) option
val call_site_of_die :
dwarf ->
((string option * string option * string)
* (string * 'a * Nat_big_num.num) list)
list ->
compilation_unit ->
die ->
(unpacked_file_entry * int * string) option
val mk_sdt_unspecified_parameter :
dwarf ->
'a ->
'b ->
'c ->
die ->
sdt_unspecified_parameter option
val mk_sdt_variable_or_formal_parameter :
dwarf ->
((string option * string option * string)
* (string * 'a * Nat_big_num.num) list)
list ->
compilation_unit ->
die list ->
die ->
sdt_variable_or_formal_parameter option
val mk_sdt_subroutine :
dwarf ->
((string option * string option * string)
* (string * 'a * Nat_big_num.num) list)
list ->
compilation_unit ->
die list ->
die ->
sdt_subroutine option
val mk_sdt_lexical_block :
dwarf ->
((string option * string option * string)
* (string * 'a * Nat_big_num.num) list)
list ->
compilation_unit ->
die list ->
die ->
sdt_lexical_block option
val mk_sdt_compilation_unit :
dwarf ->
((string option * string option * string)
* (string * 'a * Nat_big_num.num) list)
list ->
compilation_unit ->
sdt_compilation_unit
val mk_sdt_dwarf :
dwarf ->
((string option * string option * string)
* (string * 'a * Nat_big_num.num) list)
list ->
sdt_dwarf
val pp_sdt_unspecified_parameter :
Nat_big_num.num ->
sdt_unspecified_parameter ->
string
val pp_parsed_single_location_description :
Nat_big_num.num ->
(Nat_big_num.num * Nat_big_num.num * operation list) ->
string
val pp_pc_ranges :
Nat_big_num.num ->
(Nat_big_num.num * Nat_big_num.num) list option ->
string
val pp_sdt_variable_or_formal_parameter :
Nat_big_num.num ->
sdt_variable_or_formal_parameter ->
string
val pp_sdt_subroutine : Nat_big_num.num -> sdt_subroutine -> string
val pp_sdt_lexical_block : Nat_big_num.num -> sdt_lexical_block -> string
val pp_sdt_compilation_unit : Nat_big_num.num -> sdt_compilation_unit -> string
val pp_sdt_dwarf : sdt_dwarf -> string
val pp_sdt_concise_variable_or_formal_parameter :
Nat_big_num.num ->
sdt_variable_or_formal_parameter ->
string
val pp_sdt_globals_compilation_unit :
Nat_big_num.num ->
sdt_compilation_unit ->
string
val pp_sdt_globals_dwarf : sdt_dwarf -> string
val pp_sdt_locals_subroutine : Nat_big_num.num -> sdt_subroutine -> string
val pp_sdt_locals_lexical_block :
Nat_big_num.num ->
sdt_lexical_block ->
string
val pp_sdt_locals_compilation_unit :
Nat_big_num.num ->
sdt_compilation_unit ->
string
val pp_sdt_locals_dwarf : sdt_dwarf -> string
val analyse_inlined_subroutines_sdt_const_param :
sdt_variable_or_formal_parameter ->
inlined_subroutine_const_param option
val analyse_inlined_subroutines_sdt_subroutine :
sdt_subroutine list ->
sdt_subroutine ->
inlined_subroutine list
val analyse_inlined_subroutines_sdt_lexical_block :
sdt_subroutine list ->
sdt_lexical_block ->
inlined_subroutine list
val analyse_inlined_subroutines_sdt_compilation_unit :
sdt_compilation_unit ->
inlined_subroutine list
val analyse_inlined_subroutines_sdt_dwarf :
sdt_dwarf ->
inlined_subroutine list
val analyse_inlined_subroutine_by_range :
inlined_subroutine ->
inlined_subroutine_data_by_range
val is_lt :
'a Lem_basic_classes.eq_class ->
'b Lem_basic_classes.ord_class ->
'a Lem_basic_classes.ord_class ->
(('a * 'b) * ('c * 'd) * 'e) ->
(('a * 'b) * ('f * 'g) * 'h) ->
bool
val analyse_inlined_subroutines_by_range :
inlined_subroutine_data ->
inlined_subroutine_data_by_range
val pp_inlined_subroutine_parents : die list -> string
val pp_inlined_subroutine_header : dwarf_static -> inlined_subroutine -> string
val pp_inlined_subroutine_const_params : dwarf -> inlined_subroutine -> string
val pp_inlined_subroutine : dwarf_static -> inlined_subroutine -> string
val pp_inlined_subroutines : dwarf_static -> inlined_subroutine list -> string
val pp_inlined_subroutine_by_range :
dwarf_static ->
((Nat_big_num.num * Nat_big_num.num)
* (Nat_big_num.num * Nat_big_num.num)
* inlined_subroutine) ->
string
val pp_inlined_subroutines_by_range :
dwarf_static ->
((Nat_big_num.num * Nat_big_num.num)
* (Nat_big_num.num * Nat_big_num.num)
* inlined_subroutine)
list ->
string
val words_of_byte_sequence :
Nat_big_num.num ->
Byte_sequence.byte_sequence0 ->
(Nat_big_num.num * Nat_big_num.num) list ->
(Nat_big_num.num * Nat_big_num.num) list
val pp_instruction : (Nat_big_num.num * Nat_big_num.num) -> string
val pp_text_section : Elf_file.elf_file -> string
val harness_string_of_elf_like_objdump : Elf_file.elf_file -> 'a -> string
val harness_string_of_elf : Elf_file.elf_file -> 'a -> string
val harness_string_of_elf64_debug_info_section :
Elf_file.elf64_file ->
'a ->
string
val harness_string_of_elf32_debug_info_section :
Elf_file.elf32_file ->
'a ->
string
val harness_string_of_elf64_like_objdump : Elf_file.elf64_file -> 'a -> string
val harness_string_of_elf32_like_objdump : Elf_file.elf32_file -> 'a -> string
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>