blob: da8dc66588c677a4e1f75b19b566beb106533f34 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#!/usr/bin/python
'''
Simple tool to run the demangler.
Usage: demangler.py FILENAME SPLITTER
Make sure you define ~/.emscripten, and fill it with something like
JS_ENGINE=[os.path.expanduser('~/Dev/v8/d8')]
JS_ENGINE_PARAMS=['--']
or
JS_ENGINE=[os.path.expanduser('~/Dev/tracemonkey/js/src/js')]
JS_ENGINE_PARAMS=[]
'''
import os, sys, subprocess
CONFIG_FILE = os.path.expanduser('~/.emscripten')
exec(open(CONFIG_FILE, 'r').read())
data = open(sys.argv[1], 'r').readlines()
splitter = sys.argv[2]
SEEN = {}
for line in data:
if line[0] == ' ': continue
if line[0] != '_': continue
func = line.split(splitter)[0][1:]
if func in SEEN: continue
SEEN[func] = True
args = JS_ENGINE + ['gcc_demangler.js'] + JS_ENGINE_PARAMS + [func]
cleaned = subprocess.Popen(args, stdout=subprocess.PIPE, stderr=subprocess.STDOUT).communicate()[0]
if cleaned is None: continue
cleaned = cleaned[1:-2]
if cleaned == '(null)': continue
if ' throw ' in cleaned: continue
print func, '=', cleaned
|
