Debug_Info

Returns the source position for the code at address, and whether one was found. Returns false when no sequence covers the address, or the table is malformed.

Returns the source positions for the code from start up to, not including, end_exclusive, in address order.

info: Line_Info;
mappings, ok := get_line_mappings_for_address_range(info, 0x2000, 0x2000);
assert(ok && mappings.count == 0);

True if file_content starts with the MSF signature.

assert(!is_msf("not a pdb"));

True if file_content starts with the MSF signature.

assert(!is_msf("not a pdb"));

Reads the stream directory of an MSF file. file_content must stay alive as long as the result is used. Returns false, and logs why, for a file that is damaged or uses an unsupported layout. path is only used in that message.

Re-reads the file and checks that msf's stream directory and free-page map agree with it.

True if stream_index names a stream in msf.

Returns the size in bytes of stream stream_index, or -1 if there is no such stream.

Returns a copy of the contents of stream stream_index, and whether it could be read. The caller frees the bytes.

msf: Msf;
data, ok := get_stream_data(msf, 1);
assert(!ok);

Returns the type in unit with the given id, or null if there is none.

Parses DWARF 4 data into a Debug_Info. Pass the contents of the .debug_info, .debug_abbrev, .debug_line and .debug_str sections. Returns false, and logs why, for data that is malformed or not DWARF 4. Set verbose to log what it reads.

info, ok := parse_dwarf_debug_info(.[], .[], .[], .[]);
assert(ok && info.compilation_units.count == 0);

Returns the full path of file_info: its directory in info joined to its path, or the path alone when it is absolute.

Reads the type records of the type stream stream_index (stream 2 is the usual TPI stream, 4 the IPI stream).

Opens a PDB file: its container, signature, name table and type records. Returns false, and logs why, if it cannot. file_content must stay alive as long as the result is used.

ok, pdb := parse_pdb("not a pdb");
assert(!ok);

The line table of one compilation unit: its directories and files, and the address sequences that map code to lines.

A source file in a Line_Info: its directory (an index into dirs, 0 for none) and its path.

One run of the line program. addresses[i] starts the source position mappings[i]; the last mapping has is_end set and closes the run.

The source position of a code address: file, line and column, plus what kind of position it is (statement start, end of prologue, and so on).

One DWARF call frame instruction, as found in a Frame_Description_Entry.

The DWARF call frame information shared by a group of functions.

The DWARF call frame instructions for the code range pc_begin to pc_begin + pc_range.

The operation of a Call_Frame_Address_Instruction: how to find the caller's registers at one point in a function.

A parsed MSF container, the file format PDB files are stored in: a set of numbered streams over fixed-size pages.

How a DWARF base type encodes its values: signed or unsigned integer, float, boolean, character and so on.

The source language a DWARF compilation unit was written in.

What kind of entry a DWARF record is: a function, a variable, a type, a scope and so on.

A named type from the DWARF data: its tag, name and size.

A variable or parameter: its name, where it was declared and its type.

A scope inside a function: its code range, the declarations in it and the scopes nested in it.

A function: its name, code range (low_pc to high_pc), declaration site and scope tree.

One source file as compiled: its producer, language, functions, global variables, types and line table.

Everything read from a program's DWARF sections, one Compilation_Unit per compiled source file.

The fixed header at the start of a DWARF line program.

Canonical CodeView type records, including common using base storage.

Reviewed public PDB aggregates; contextual map storage is independently designed.

The fixed header of a PDB's information stream.

The fixed header of a PDB type stream (TPI or IPI).

Reviewed Jai aggregates; serialized payloads are decoded separately.