Christophe Leroy <christophe.leroy@xxxxxx> writes:
> In the powerpc, there are several places implementing safe
^
code ?
> access to user data. This is sometimes implemented using
> probe_kernel_address() with additional access_ok() verification,
> sometimes with get_user() enclosed in a pagefault_disable()/enable()
> pair, etc... :
> show_user_instructions()
> bad_stack_expansion()
> p9_hmi_special_emu()
> fsl_pci_mcheck_exception()
> read_user_stack_64()
> read_user_stack_32() on PPC64
> read_user_stack_32() on PPC32
> power_pmu_bhrb_to()
>
> In the same spirit as probe_kernel_read() and probe_kernel_address(),
> this patch adds probe_user_read() and probe_user_address().
>
> probe_user_read() does the same as probe_kernel_read() but
> first checks that it is really a user address.
>
> probe_user_address() is a shortcut to probe_user_read()
...
> +#define probe_user_address(addr, retval) \
> + probe_user_read(&(retval), addr, sizeof(retval))
I realise you added probe_user_address() to mirror probe_kernel_address(),
but I'd rather we just used probe_user_read() directly.
The only advantage of probe_kernel_address() is that you don't have to
mention retval twice.
But the downsides are that it's not obvious that you're writing to
retval (because the macro takes the address for you), and retval is
evaluated twice (the latter is usually not a problem but it can be).
eg, call sites like this are confusing:
static int read_user_stack_64(unsigned long __user *ptr, unsigned long *ret)
{
...
if (!probe_user_address(ptr, *ret))
return 0;
It's confusing because ret is a pointer, but then we dereference it
before passing it to probe_user_address(), so it looks like we're just
passing a value, but we're not.
Compare to:
if (!probe_user_read(ret, ptr, sizeof(*ret)))
return 0;
Which is entirely analogous to a call to memcpy() and involves no magic.
I know there's lots of precedent here with get_user() etc. but that
doesn't mean we have to follow that precedent blindly :)
I guess perhaps we can add probe_user_address() but just not use it in
the powerpc code, if other folks want it to exist.
cheers
