Fixed issue reported by DeeLMind

ChrisTheCoolHut · Aug 30, 2018 · 7097ff2 · 7097ff2
1 parent 36df402
commit 7097ff2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/formatDetector.py b/lib/formatDetector.py
@@ -127,7 +127,7 @@ def checkFormat(binary_name,inputType="STDIN"):
     if inputType == "STDIN":
         state = p.factory.full_init_state(args=argv)
     elif inputType == "LIBPWNABLE":
-        handle_connect = p.loader.main_object.get_symbol('handle_connection')
+        handle_connection = p.loader.main_object.get_symbol('handle_connection')
         state = p.factory.entry_state(addr=handle_connection.rebased_addr)
     else:
         arg = claripy.BVS("arg1", 300 * 8)