(names: list[str])
| 112 | |
| 113 | |
| 114 | def batch_demangle(names: list[str]) -> dict[str, str]: |
| 115 | if not names: |
| 116 | return {} |
| 117 | proc = subprocess.run( |
| 118 | [str(CXXFILT)], |
| 119 | input="\n".join(names), |
| 120 | capture_output=True, |
| 121 | text=True, |
| 122 | check=True, |
| 123 | ) |
| 124 | out_lines = proc.stdout.splitlines() |
| 125 | return dict(zip(names, out_lines)) |
| 126 | |
| 127 | |
| 128 | def batch_addr2line(addrs: list[int]) -> dict[int, str]: |