From 408f99bb2d97eaf693af4f803158eb7a015a5a85 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Paul=20B=C3=A9daride?= Date: Thu, 19 Dec 2013 16:06:07 +0100 Subject: [PATCH 1/1] Add normalizing pointers addresses tool --- tools/normalize-pointers.py | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100755 tools/normalize-pointers.py diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py new file mode 100755 index 0000000000..a1fc506f5d --- /dev/null +++ b/tools/normalize-pointers.py @@ -0,0 +1,28 @@ +#!/usr/bin/python +import sys, re + +if len(sys.argv)!=2: + print "Usage ./normalize-pointers.py " + sys.exit(1) + +f = open(sys.argv[1]) +t = f.read() +f.close() + +r = re.compile(r"0x[0-9a-f]{7}") +s = r.search(t) +offset = 0 +pointers = {} +while (s): + if s.group() not in pointers: + pointers[s.group()] = "0X%07d"%len(pointers) + print t[offset:s.start()], + print pointers[s.group()], + offset = s.end() + s = r.search(t, offset) + +print t[offset:] + + + + -- 2.20.1