forked from Minki/linux
0c389d89ab
Now that we've renamed probe_kernel_address() to get_kernel_nofault() and made it look and behave more in line with get_user(), some of the subtle type behavior differences end up being more obvious and possibly dangerous. When you do get_user(val, user_ptr); the type of the access comes from the "user_ptr" part, and the above basically acts as val = *user_ptr; by design (except, of course, for the fact that the actual dereference is done with a user access). Note how in the above case, the type of the end result comes from the pointer argument, and then the value is cast to the type of 'val' as part of the assignment. So the type of the pointer is ultimately the more important type both for the access itself. But 'get_kernel_nofault()' may now _look_ similar, but it behaves very differently. When you do get_kernel_nofault(val, kernel_ptr); it behaves like val = *(typeof(val) *)kernel_ptr; except, of course, for the fact that the actual dereference is done with exception handling so that a faulting access is suppressed and returned as the error code. But note how different the casting behavior of the two superficially similar accesses are: one does the actual access in the size of the type the pointer points to, while the other does the access in the size of the target, and ignores the pointer type entirely. Actually changing get_kernel_nofault() to act like get_user() is almost certainly the right thing to do eventually, but in the meantime this patch adds logit to at least verify that the pointer type is compatible with the type of the result. In many cases, this involves just casting the pointer to 'void *' to make it obvious that the type of the pointer is not the important part. It's not how 'get_user()' acts, but at least the behavioral difference is now obvious and explicit. Cc: Christoph Hellwig <hch@lst.de> Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org> |
||
---|---|---|
.. | ||
syscalls | ||
.gitignore | ||
alternative.c | ||
asm-offsets.c | ||
audit.c | ||
cache.c | ||
compat_audit.c | ||
drivers.c | ||
entry.S | ||
firmware.c | ||
ftrace.c | ||
hardware.c | ||
head.S | ||
hpmc.S | ||
inventory.c | ||
irq.c | ||
jump_label.c | ||
kexec_file.c | ||
kexec.c | ||
kgdb.c | ||
kprobes.c | ||
Makefile | ||
module.c | ||
pa7300lc.c | ||
pacache.S | ||
parisc_ksyms.c | ||
patch.c | ||
pci-dma.c | ||
pci.c | ||
pdc_chassis.c | ||
pdc_cons.c | ||
pdt.c | ||
perf_asm.S | ||
perf_images.h | ||
perf.c | ||
process.c | ||
processor.c | ||
ptrace.c | ||
real2.S | ||
relocate_kernel.S | ||
setup.c | ||
signal32.c | ||
signal32.h | ||
signal.c | ||
smp.c | ||
stacktrace.c | ||
sys_parisc32.c | ||
sys_parisc.c | ||
syscall.S | ||
time.c | ||
topology.c | ||
traps.c | ||
unaligned.c | ||
unwind.c | ||
vmlinux.lds.S |