From acc6cc7deda57f7557a2f4bd8160db86e2eaeec0 Mon Sep 17 00:00:00 2001 From: tagomaru Date: Sat, 20 Oct 2018 09:38:13 +0900 Subject: [PATCH] fixed link search bug --- oyente/input_helper.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/oyente/input_helper.py b/oyente/input_helper.py index 9b719f35..55e5024d 100644 --- a/oyente/input_helper.py +++ b/oyente/input_helper.py @@ -115,7 +115,8 @@ def _compile_solidity(self): else: out = run_command(cmd) - libs = re.findall(r"_+(.*?)_+", out) + noinfo_out = re.sub(r"\n======= (.*?) =======\nBinary of the runtime part: ", "", out) + libs = re.findall(r"_+(.*?)_+", noinfo_out) libs = set(libs) if libs: return self._link_libraries(self.source, libs)