Add a syscall implementation for llseek

manticore/native/cpu/abstractcpu.py

@@ -726,7 +726,7 @@ def read_int(self, where, size=None, force=False):
         self._publish("did_read_memory", where, value, size)
         return value
 
-    def write_bytes(self, where, data, force=False):
+    def write_bytes(self, where: int, data, force: bool = False) -> None:
         """
         Write a concrete or symbolic (or mixed) buffer to memory
 

manticore/platforms/linux.py

@@ -1320,7 +1320,7 @@ def sys_getcwd(self, buf, size):
         except OSError as e:
             return -e.errno
 
-    def sys_lseek(self, fd, offset, whence):
+    def sys_lseek(self, fd: File, offset: int, whence: int) -> int:
         """
         lseek - reposition read/write file offset
 
@@ -1345,7 +1345,9 @@ def sys_lseek(self, fd, offset, whence):
             )
             return -e.err
 
-    def sys_llseek(self, fd, offset_high, offset_low, resultp, whence):
+    def sys_llseek(
+        self, fd: File, offset_high: int, offset_low: int, resultp: int, whence: int
+    ) -> int:
         """
         _llseek - reposition read/write file offset