> On 25 Jun 2015, at 15:05, Dmitry Kalinkin <dmitry.kalin...@gmail.com> wrote:
> 
> 
>> On 25 Jun 2015, at 14:27, Sudip Mukherjee <sudipm.mukher...@gmail.com> wrote:
>> 
>> On Tue, Jun 23, 2015 at 07:03:36PM +0300, Dmitry Kalinkin wrote:
>>> Signed-off-by: Dmitry Kalinkin <dmitry.kalin...@gmail.com>
>>> ---
>>> drivers/staging/vme/devices/vme_user.c | 47 
>>> ++++++++--------------------------
>>> 1 file changed, 11 insertions(+), 36 deletions(-)
>>> 
>> <snip>
>>> @@ -178,38 +167,24 @@ static ssize_t buffer_to_user(unsigned int minor, 
>>> char __user *buf,
>>>                           size_t count, loff_t *ppos)
>>> {
>>>     void *image_ptr;
>>> -   ssize_t retval;
>>> 
>>>     image_ptr = image[minor].kern_buf + *ppos;
>>> +   if (__copy_to_user(buf, image_ptr, (unsigned long)count))
>>> +           return -EFAULT;
>>> 
>>> -   retval = __copy_to_user(buf, image_ptr, (unsigned long)count);
>>> -   if (retval != 0) {
>>> -           retval = (count - retval);
>>> -           pr_warn("Partial copy to userspace\n");
>>> -   } else
>>> -           retval = count;
>>> -
>>> -   /* Return number of bytes successfully read */
>>> -   return retval;
>>> +   return count;
>> will it not affect the userspace code?
>> previously number of bytes successfully read was returned, now incase of
>> partial read -EFAULT is being returned.
> Exactly.
> 
> Practically there is an access_ok() call in vfs_read() and vfs_write() that
> will catch this first.  I don’t know exactly what is the condition for
> __copy_to_user to fail, but it is probably some rare arch-specific thing (and
> we only care for x86/powerpc here). But when it happens it better be returning
> proper error codes. This is why I think this is not a “we broke userspace”
> situation.

It seems like what I wrote above is not correct. access_ok does only coarse
checks and __copy_to_user does fail. Anyway, only a rare userspace application
would depend on “succesfull” read that was interrupted by a segfault. Also, if
__copy_to_user fails completely, the original code would return zero, which in
POSIX should mean something like “everything is good, try again later” and
this may cause infinite loops (e.g. python).
_______________________________________________
devel mailing list
de...@linuxdriverproject.org
http://driverdev.linuxdriverproject.org/mailman/listinfo/driverdev-devel

Reply via email to