about summary refs log tree commit diff homepage
path: root/scripts
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2020-01-16 18:27:26 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-01-17 16:37:47 +0000
commit67018f6facc1134ada21a6ea4cd1044ed4b97dd3 (patch)
tree94d04954acf1558810c1413be4f30efadc343d9d /scripts
parent6eafad4650409223d024a4d0da0a993a02d6e9fd (diff)
downloadklee-67018f6facc1134ada21a6ea4cd1044ed4b97dd3.tar.gz
Update objdump script to support python3
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/objdump44
1 files changed, 24 insertions, 20 deletions
diff --git a/scripts/objdump b/scripts/objdump
index 30f5893b..009693a9 100755
--- a/scripts/objdump
+++ b/scripts/objdump
@@ -16,35 +16,39 @@ This allows klee to output instruction level statistic information which
 kcachegrind can then display by intercepting kcachegrind's calls to objdump
 and returning the LLVM instructions in a format that it can parse.
 """
+from __future__ import print_function
+import os
+import sys
 
-import os, sys
-
-kActualObjdump = os.path.join(os.path.dirname(__file__),'objdump.actual')
+kActualObjdump = os.path.join(os.path.dirname(__file__), 'objdump.actual')
 if not os.path.exists(kActualObjdump):
-    for path in ['/usr/bin','/usr/local/bin']:
-        p = os.path.join(path,'objdump')
+    for path in ['/usr/bin', '/usr/local/bin']:
+        p = os.path.join(path, 'objdump')
         if os.path.exists(p):
             kActualObjdump = p
 
-def fakeObjdumpOutput(file, start, end):
-    print 'Using fake objdump output:\n\n'
-    
+
+def fake_objdump_output(file, start, end):
+    print('Using fake objdump output:\n\n')
+
     lines = open(file).readlines()
-    for i in range(max(0,start-1),min(end-1,len(lines))):
-        print '%x:\t00 00\t%s'%(i+1,lines[i])
-        
+    for i in range(max(0, start - 1), min(end - 1, len(lines))):
+        print('%x:\t00 00\t%s' % (i + 1, lines[i]))
+
+
 def main(args):
     # exact pattern match kcachegrind's calling sequence
-    if   (len(args)>=6 and
-          args[1]=='-C' and
-          args[2]=='-d' and
-          args[3].startswith('--start-address=') and
-          args[4].startswith('--stop-address=') and
-          args[5].endswith('.ll')):
-        fakeObjdumpOutput(args[5], eval(args[3].split('=',1)[1]), eval(args[4].split('=',1)[1]))
+    if (len(args) >= 6 and
+            args[1] == '-C' and
+            args[2] == '-d' and
+            args[3].startswith('--start-address=') and
+            args[4].startswith('--stop-address=') and
+            args[5].endswith('.ll')):
+        fake_objdump_output(args[5], eval(args[3].split('=', 1)[1]), eval(args[4].split('=', 1)[1]))
     else:
         os.execv(kActualObjdump, args)
         raise RuntimeError
-    
-if __name__=='__main__':
+
+
+if __name__ == '__main__':
     main(sys.argv)