package owee
-
owee
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package owee
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type pointers_to_other_sections = {debug_line_str : Owee_buf.t option;debug_str : Owee_buf.t option;
}val read_chunk :
?pointers_to_other_sections:pointers_to_other_sections ->
Owee_buf.cursor ->
(header * Owee_buf.cursor) optionread_chunk cursor ~pointers_to_other_sections expects the cursor to be pointing to the beginning of a DWARF linenumber program. Those are usually put in ".debug_line" section of an ELF binary.
Iff such a program is found, the cursor is advanced to the next one (or to the end) and Some (header, cursor') is returned.
pointers_to_other_sections are needed in DWARF 5 because filenames can be pointers to strings in entirely separate sections of DWARF. You can use Owee_elf.debug_line_pointers to construct such a value.
type state = {mutable address : int;mutable filename : string;mutable file : int;mutable line : int;mutable col : int;mutable is_statement : bool;mutable basic_block : bool;mutable end_sequence : bool;mutable prologue_end : bool;mutable epilogue_begin : bool;mutable isa : int;mutable discriminator : int;
}State of the linenumber automaton. IMPORTANT: this state is mutable! A value of this type can change as the file is scanned.
get_filename header state get the filename associated to the row described by state. Linenumber programs are allowed to store the filename as an index to a registry in the state.file field. This function reads this registry if state.file is valid, or returns state.filename.
val fold_rows :
(header * Owee_buf.cursor) ->
(header -> state -> 'a -> 'a) ->
'a ->
'afold_rows (header, cursor) f init will fold over the rows defined by the program described by (header, cursor), using the function f and initial state init.