Make sure std files are not None before assigning peer (#1604)

trailofbits · Jan 30, 2020 · 2b52544 · 2b52544
1 parent 5b2e159
commit 2b52544
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/manticore/platforms/linux.py b/manticore/platforms/linux.py
@@ -665,9 +665,12 @@ def __setstate__(self, state):
             else:
                 self.files.append(file_or_buffer)
 
-        self.files[0].peer = self.output
-        self.files[1].peer = self.output
-        self.files[2].peer = self.output
+        if self.files[0]:
+            self.files[0].peer = self.output
+        if self.files[1]:
+            self.files[1].peer = self.output
+        if self.files[2]:
+            self.files[2].peer = self.output
         self._getdents_c = state["_getdents_c"]
         self._closed_files = state["closed_files"]
         self.input.peer = self.files[0]