Another missing __init__ call

trailofbits · Apr 6, 2020 · 9ade0d2 · 9ade0d2
1 parent 61ad83c
commit 9ade0d2
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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()