From 9ade0d20a2a0b5143c78942ebfbf5609e3d4389a Mon Sep 17 00:00:00 2001
From: Eric Hennenfent <eric.hennenfent@trailofbits.com>
Date: Mon, 6 Apr 2020 11:52:07 -0700
Subject: [PATCH] Another missing __init__ call

---
 manticore/platforms/linux.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/manticore/platforms/linux.py b/manticore/platforms/linux.py
index 5f274dd1b..08b02e86a 100644
--- a/manticore/platforms/linux.py
+++ b/manticore/platforms/linux.py
@@ -155,8 +155,11 @@ def sync(self):
         return
 
 
-class ProcSelfMaps(File):
+# TODO - we should consider refactoring File so that we don't have to mute these errors
+class ProcSelfMaps(File):  # lgtm [py/missing-call-to-init]
     def __init__(self, flags, linux):
+        # WARN: Does not call File.__init__. Should have the File API, but we manually
+        # manage the underlying file and mode
         self.file = tempfile.NamedTemporaryFile(mode="w", delete=False)
         self.file.write(linux.current.memory.__proc_self__)
         self.file.close()