Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

lib/strncpy_from_user.c strncpy_from_user() -> should_fail_usercopy()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &av7110->osd_mutex
HALF_LOCKED2 &vfpriv->context_lock
HALF_LOCKED2 global &system_transition_mutex

lib/iov_iter.c copy_from_user_iter() -> should_fail_usercopy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

lib/iov_iter.c copy_to_user_iter() -> should_fail_usercopy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

lib/iov_iter.c copy_to_user_iter_nofault() -> should_fail_usercopy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/vhost/vhost.c __copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/vhost.c __copy_to_user() -> should_fail_usercopy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vq->mutex

drivers/gpu/drm/i915/gem/i915_gem_execbuffer.c __copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value

kernel/trace/trace_syscalls.c __copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value

mm/maccess.c __copy_to_user_inatomic() -> should_fail_usercopy()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vcpu->kvm->srcu

arch/x86/kvm/vmx/sgx.c __copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value

mm/kasan/kasan_test_c.c __copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value

mm/kasan/kasan_test_c.c __copy_to_user() -> should_fail_usercopy()

Type Parameter Key Value

mm/kasan/kasan_test_c.c __copy_to_user_inatomic() -> should_fail_usercopy()

Type Parameter Key Value

drivers/gpu/drm/i915/i915_query.c __copy_to_user() -> should_fail_usercopy()

Type Parameter Key Value

kernel/trace/trace.c __copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value

fs/select.c __copy_to_user() -> should_fail_usercopy()

Type Parameter Key Value

arch/x86/kernel/fpu/regset.c __copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value

drivers/gpu/drm/i915/i915_gem.c __copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value

drivers/gpu/drm/i915/i915_gem.c __copy_to_user() -> should_fail_usercopy()

Type Parameter Key Value

drivers/gpu/drm/i915/i915_gem.c __copy_to_user_inatomic() -> should_fail_usercopy()

Type Parameter Key Value
PREEMPT_ADD

lib/usercopy.c _inline_copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value

lib/usercopy.c _inline_copy_to_user() -> should_fail_usercopy()

Type Parameter Key Value

drivers/vhost/scsi.c __copy_to_user() -> should_fail_usercopy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

arch/x86/kvm/../../../virt/kvm/kvm_main.c __copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value

arch/x86/kvm/../../../virt/kvm/kvm_main.c __copy_to_user() -> should_fail_usercopy()

Type Parameter Key Value
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/vmx/vmx.c __copy_to_user() -> should_fail_usercopy()

Type Parameter Key Value
HALF_LOCKED2 &kvm->slots_lock

arch/x86/kernel/fpu/signal.c __copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value

arch/x86/kernel/fpu/signal.c __copy_to_user() -> should_fail_usercopy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/tls.c __copy_from_user() -> should_fail_usercopy()

Type Parameter Key Value