mirror of
https://github.com/rcore-os/rCore.git
synced 2024-11-23 08:26:17 +04:00
20 lines
725 B
Python
20 lines
725 B
Python
|
#!/usr/bin/env python3
|
||
|
|
import sys
|
||
|
|
import re
|
||
|
|
import subprocess
|
||
|
|
|
||
|
|
print('Paste backtrace here, and then input EOF(Ctrl-D or Ctrl-Z) to get annotated backtrace.')
|
||
|
|
lines = sys.stdin.readlines()
|
||
|
|
addrline = sys.argv[1]
|
||
|
|
arch = sys.argv[2]
|
||
|
|
print('--------------------------------------')
|
||
|
|
for line in lines:
|
||
|
|
match = re.search('(#[0-9]+ )(0x[0-9A-F]+)( fp 0x[0-9A-F]+)', line)
|
||
|
|
if match:
|
||
|
|
addr = match.group(2)
|
||
|
|
process = subprocess.run([addrline, '-e', 'target/{0}/debug/rcore'.format(arch), '-f', '-C', addr], capture_output=True)
|
||
|
|
res = process.stdout.decode('utf-8')
|
||
|
|
print('{0}{1}{3} {2}'.format(match.group(1), match.group(2), res.strip(), match.group(3)))
|
||
|
|
else:
|
||
|
|
print(line, end='')
|