3 Tool for normalizing pointers such as two runs have the same 'addresses'
5 first address encountered will be replaced by 0X0000001, second by 0X0000002, ...
12 print "Usage ./normalize-pointers.py <filename>"
19 r = re.compile(r"0x[0-9a-f]{7}")
24 if s.group() not in pointers:
25 pointers[s.group()] = "0X%07d"%len(pointers)
26 print t[offset:s.start()],
27 print pointers[s.group()],
29 s = r.search(t, offset)