From f9652ce82cfc59522683280b7cbcf1daf1b29180 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Paul=20B=C3=A9daride?= Date: Thu, 19 Dec 2013 16:21:45 +0100 Subject: [PATCH] Add doc to new tool --- tools/normalize-pointers.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py index a1fc506f5d..6ee4a1c6d1 100755 --- a/tools/normalize-pointers.py +++ b/tools/normalize-pointers.py @@ -1,4 +1,11 @@ #!/usr/bin/python +""" +Tool for normalizing pointers such as two runs have the same 'addresses' + +first address encountered will be replaced by 0X0000001, second by 0X0000002, ... + +""" + import sys, re if len(sys.argv)!=2: -- 2.20.1