From 5116438cf1210d4bc927b02c7a18bfece48eaf8d Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Fri, 27 Apr 2018 11:09:22 +0700 Subject: [PATCH] Quick Python 3.4-3.5 compatibility fix --- mythril/analysis/callgraph.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/mythril/analysis/callgraph.py b/mythril/analysis/callgraph.py index 3133f3f69..4c23d2058 100644 --- a/mythril/analysis/callgraph.py +++ b/mythril/analysis/callgraph.py @@ -95,11 +95,12 @@ def extract_nodes(statespace, color_map): code_split = [] for instruction in instructions: if instruction['opcode'].startswith("PUSH"): - code_split.append(f"{instruction['address']} {instruction['opcode']} {instruction['argument']}") + code_split.append("%d %s %s" % (instruction['address'], instruction['opcode'], instruction['argument'])) + # code_split.append("{instruction['address']} {instruction['opcode']} {instruction['argument']}") elif instruction['opcode'].startswith("JUMPDEST"): - code_split.append(f"{instruction['address']} {instruction['opcode']} {node.function_name}") + code_split.append("%d %s %s" % (instruction['address'], instruction['opcode'], node.function_name)) else: - code_split.append(f"{instruction['address']} {instruction['opcode']}") + code_split.append("%d %s" % (instruction['address'], instruction['opcode'])) truncated_code = '\n'.join(code_split) if (len(code_split) < 7) else '\n'.join( code_split[:6]) + "\n(click to expand +)"