Re: lseek/llseek allows the negative offset

From: Andrea Arcangeli (andrea@suse.de)
Date: Sat Nov 18 2000 - 13:25:42 EST


On Fri, Nov 17, 2000 at 04:09:00PM -0800, H . J . Lu wrote:
> On Fri, Nov 17, 2000 at 03:59:13PM -0800, H . J . Lu wrote:
> > # gcc x.c
> > # ./a.out
> > lseek on -100000: -100000
> > write: File too large
> >
> > Should kernel allow negative offsets for lseek/llseek?
> >
> >
>
> Never mind. I was running the wrong kernel.

With 2.2.18pre21aa2 this little proggy:

main()
{
        int fd = creat("x", 0600);
        lseek(fd, 0x80000000, 0);
}

get confused this way:

lseek(3, 2147483648, SEEK_SET) = -1 ERRNO_0 (Success)
_exit(-2147483648) = ?

I fixed it this way:

diff -urN 2.2.18pre21/fs/read_write.c lseek/fs/read_write.c
--- 2.2.18pre21/fs/read_write.c Tue Sep 5 02:28:49 2000
+++ lseek/fs/read_write.c Sat Nov 18 18:42:55 2000
@@ -53,6 +53,10 @@
         struct dentry * dentry;
         struct inode * inode;
 
+ retval = -EINVAL;
+ if (offset < 0)
+ goto out_nolock;
+
         lock_kernel();
         retval = -EBADF;
         file = fget(fd);
@@ -69,6 +73,7 @@
         fput(file);
 bad:
         unlock_kernel();
+out_nolock:
         return retval;
 }
 
@@ -83,6 +88,11 @@
         struct inode * inode;
         loff_t offset;
 
+ retval = -EINVAL;
+ offset = ((loff_t) offset_high << 32) | offset_low;
+ if (offset < 0)
+ goto out_nolock;
+
         lock_kernel();
         retval = -EBADF;
         file = fget(fd);
@@ -96,8 +106,7 @@
         if (origin > 2)
                 goto out_putf;
 
- offset = llseek(file, ((loff_t) offset_high << 32) | offset_low,
- origin);
+ offset = llseek(file, offset, origin);
 
         retval = (int)offset;
         if (offset >= 0) {
@@ -109,6 +118,7 @@
         fput(file);
 bad:
         unlock_kernel();
+out_nolock:
         return retval;
 }
 #endif

I've not tried yet in practice but by reading sources 2.4.x has the same bug
since doing the check internally to ext2 is too late to handle the 32bit
(non-lfs) lseek interface. After moving the checks into the vfs (that seems
the right thing to do to me) the check internally to ext2 can be removed of
course (it was superflous anyways because ext2 file size is limited to 4T
that's not negative value in 64bit signed math)

Andrea
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Thu Nov 23 2000 - 21:00:15 EST