From: Paul Bédaride <paul.bedaride@gmail.com>
Date: Thu, 19 Dec 2013 15:06:07 +0000 (+0100)
Subject: Add normalizing pointers addresses tool
X-Git-Tag: v3_11_beta~162
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/408f99bb2d97eaf693af4f803158eb7a015a5a85?ds=sidebyside

Add normalizing pointers addresses tool
---

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 <filename>"
+  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:]
+
+
+
+