Function get_source_info_batch

tools/stack_trace_decoder/generate_addrinfo.py:135–180

Query addr2line for source file and line info for a batch of addresses. Returns a dict mapping address -> (filename, line_number).

(addr2line_tool, elf_path, addresses, batch_size=500)

def get_source_info_batch(addr2line_tool, elf_path, addresses, batch_size=500):
    """
    Query addr2line for source file and line info for a batch of addresses.

    Returns a dict mapping address -> (filename, line_number).
    """
    result_map = {}

    for i in range(0, len(addresses), batch_size):
        batch = addresses[i : i + batch_size]
        hex_addrs = [f"0x{addr:x}" for addr in batch]

        cmd = [addr2line_tool, "-e", str(elf_path), "-C", "-f"] + hex_addrs
        proc = subprocess.run(cmd, capture_output=True, text=True)
        if proc.returncode != 0:
            print(f"Warning: addr2line error: {proc.stderr}", file=sys.stderr)
            continue

        lines = proc.stdout.splitlines()
        # addr2line outputs pairs: function_name\nfile:line
        idx = 0
        for addr in batch:
            if idx + 1 < len(lines):
                # function_name = lines[idx]  # We already have this from nm
                file_line = lines[idx + 1]
                idx += 2
            else:
                file_line = "??:0"
                idx += 2

            # Parse "file:line" or "file:line (discriminator N)"
            file_line = re.sub(r"\s*\(discriminator.*\)", "", file_line)
            if ":" in file_line:
                parts = file_line.rsplit(":", 1)
                filename = parts[0]
                try:
                    line_num = int(parts[1])
                except ValueError:
                    line_num = 0
            else:
                filename = file_line
                line_num = 0

            result_map[addr] = (filename, line_num)

    return result_map


def shorten_path(filepath):