From 7349a0b13d74958e67b45152eb09e302146a22e9 Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Fri, 2 Mar 2018 21:52:56 +0100 Subject: [PATCH] Fix out-of-bound index in EVMWorld._process_pending_transaction (#786) --- manticore/platforms/evm.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py index 15b6b9a..c239dc1 100644 --- a/manticore/platforms/evm.py +++ b/manticore/platforms/evm.py @@ -2373,8 +2373,9 @@ class EVMWorld(Platform): self._transactions.append(tx) else: n = len(self._transactions) - if len (self._internal_transactions) < n: - self._internal_transactions.append([]) + if len(self._internal_transactions) <= n: + for _ in xrange(n-len(self._internal_transactions)+1): + self._internal_transactions.append([]) self._internal_transactions[n].append(tx)