lists.openwall.net   lists  /  announce  owl-users  owl-dev  john-users  john-dev  passwdqc-users  yescrypt  popa3d-users  /  oss-security  kernel-hardening  musl  sabotage  tlsify  passwords  /  crypt-dev  xvendor  /  Bugtraq  Full-Disclosure  linux-kernel  linux-netdev  linux-ext4  linux-hardening  linux-cve-announce  PHC 
Open Source and information security mailing list archives
 
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <201904242047.cHccU4xI%lkp@intel.com>
Date:   Wed, 24 Apr 2019 20:38:53 +0800
From:   kbuild test robot <lkp@...el.com>
To:     Peter Zijlstra <peterz@...radead.org>
Cc:     kbuild-all@...org, linux-kernel@...r.kernel.org,
        tipbuild@...or.com, Ingo Molnar <mingo@...nel.org>
Subject: [tip:core/objtool 26/27] arch/x86/kernel/signal.c:357:16: sparse:
    got unsigned long long [usertype] *__pu_ptr

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git core/objtool
head:   29da93fea3ea39ab9b12270cc6be1b70ef201c9e
commit: 6ae865615fc43d014da2fd1f1bba7e81ee622d1b [26/27] x86/uaccess: Dont leak the AC flag into __put_user() argument evaluation
reproduce:
        # apt-get install sparse
        git checkout 6ae865615fc43d014da2fd1f1bba7e81ee622d1b
        make ARCH=x86_64 allmodconfig
        make C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__'

If you fix the issue, kindly add following tag
Reported-by: kbuild test robot <lkp@...el.com>

sparse warnings: (new ones prefixed by >>)

   arch/x86/kernel/signal.c:357:16: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:357:16: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:357:16: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:357:16: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:357:16: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:357:16: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:357:16: sparse: sparse: incorrect type in argument 1 (different address spaces) @@    expected void const volatile [noderef] <asn:1> * @@    got st volatile [noderef] <asn:1> * @@
   arch/x86/kernel/signal.c:357:16: sparse:    expected void const volatile [noderef] <asn:1> *
>> arch/x86/kernel/signal.c:357:16: sparse:    got unsigned long long [usertype] *__pu_ptr
   arch/x86/kernel/signal.c:417:17: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:417:17: sparse: sparse: incorrect type in argument 1 (different address spaces) @@    expected void const volatile [noderef] <asn:1> * @@    got st volatile [noderef] <asn:1> * @@
   arch/x86/kernel/signal.c:417:17: sparse:    expected void const volatile [noderef] <asn:1> *
   arch/x86/kernel/signal.c:417:17: sparse:    got unsigned long long [usertype] *
   arch/x86/kernel/signal.c:417:17: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:417:17: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:417:17: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:417:17: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:417:17: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:417:17: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:417:17: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:417:17: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:417:17: sparse: sparse: cast removes address space '<asn:1>' of expression
   arch/x86/kernel/signal.c:417:17: sparse: sparse: cast removes address space '<asn:1>' of expression

vim +357 arch/x86/kernel/signal.c

75779f05 arch/x86/kernel/signal.c    Hiroshi Shimamoto 2009-02-27  312  
7e907f48 arch/x86/kernel/signal_32.c Ingo Molnar       2008-03-06  313  static int
235b8022 arch/x86/kernel/signal.c    Al Viro           2012-11-09  314  __setup_frame(int sig, struct ksignal *ksig, sigset_t *set,
7e907f48 arch/x86/kernel/signal_32.c Ingo Molnar       2008-03-06  315  	      struct pt_regs *regs)
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  316  {
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  317  	struct sigframe __user *frame;
7e907f48 arch/x86/kernel/signal_32.c Ingo Molnar       2008-03-06  318  	void __user *restorer;
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  319  	int err = 0;
ab513701 arch/x86/kernel/signal_32.c Suresh Siddha     2008-07-29  320  	void __user *fpstate = NULL;
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  321  
235b8022 arch/x86/kernel/signal.c    Al Viro           2012-11-09  322  	frame = get_sigframe(&ksig->ka, regs, sizeof(*frame), &fpstate);
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  323  
96d4f267 arch/x86/kernel/signal.c    Linus Torvalds    2019-01-03  324  	if (!access_ok(frame, sizeof(*frame)))
3d0aedd9 arch/x86/kernel/signal_32.c Hiroshi Shimamoto 2008-09-12  325  		return -EFAULT;
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  326  
2ba48e16 arch/x86/kernel/signal_32.c Hiroshi Shimamoto 2008-09-12  327  	if (__put_user(sig, &frame->sig))
3d0aedd9 arch/x86/kernel/signal_32.c Hiroshi Shimamoto 2008-09-12  328  		return -EFAULT;
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  329  
2ba48e16 arch/x86/kernel/signal_32.c Hiroshi Shimamoto 2008-09-12  330  	if (setup_sigcontext(&frame->sc, fpstate, regs, set->sig[0]))
3d0aedd9 arch/x86/kernel/signal_32.c Hiroshi Shimamoto 2008-09-12  331  		return -EFAULT;
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  332  
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  333  	if (_NSIG_WORDS > 1) {
2ba48e16 arch/x86/kernel/signal_32.c Hiroshi Shimamoto 2008-09-12  334  		if (__copy_to_user(&frame->extramask, &set->sig[1],
2ba48e16 arch/x86/kernel/signal_32.c Hiroshi Shimamoto 2008-09-12  335  				   sizeof(frame->extramask)))
3d0aedd9 arch/x86/kernel/signal_32.c Hiroshi Shimamoto 2008-09-12  336  			return -EFAULT;
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  337  	}
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  338  
1a3e4ca4 arch/x86/kernel/signal_32.c Roland McGrath    2008-04-09  339  	if (current->mm->context.vdso)
6f121e54 arch/x86/kernel/signal.c    Andy Lutomirski   2014-05-05  340  		restorer = current->mm->context.vdso +
0a6d1fa0 arch/x86/kernel/signal.c    Andy Lutomirski   2015-10-05  341  			vdso_image_32.sym___kernel_sigreturn;
9fbbd4dd arch/i386/kernel/signal.c   Andi Kleen        2007-02-13  342  	else
ade1af77 arch/x86/kernel/signal_32.c Jan Engelhardt    2008-01-30  343  		restorer = &frame->retcode;
235b8022 arch/x86/kernel/signal.c    Al Viro           2012-11-09  344  	if (ksig->ka.sa.sa_flags & SA_RESTORER)
235b8022 arch/x86/kernel/signal.c    Al Viro           2012-11-09  345  		restorer = ksig->ka.sa.sa_restorer;
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  346  
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  347  	/* Set up to return from userspace.  */
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  348  	err |= __put_user(restorer, &frame->pretcode);
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  349  
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  350  	/*
7e907f48 arch/x86/kernel/signal_32.c Ingo Molnar       2008-03-06  351  	 * This is popl %eax ; movl $__NR_sigreturn, %eax ; int $0x80
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  352  	 *
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  353  	 * WE DO NOT USE IT ANY MORE! It's only left here for historical
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  354  	 * reasons and because gdb uses it as a signature to notice
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  355  	 * signal handler stack frames.
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  356  	 */
4a612048 arch/x86/kernel/signal_32.c Hiroshi Shimamoto 2008-11-11 @357  	err |= __put_user(*((u64 *)&retcode), (u64 *)frame->retcode);
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  358  
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  359  	if (err)
3d0aedd9 arch/x86/kernel/signal_32.c Hiroshi Shimamoto 2008-09-12  360  		return -EFAULT;
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  361  
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  362  	/* Set up registers for signal handler */
65ea5b03 arch/x86/kernel/signal_32.c H. Peter Anvin    2008-01-30  363  	regs->sp = (unsigned long)frame;
235b8022 arch/x86/kernel/signal.c    Al Viro           2012-11-09  364  	regs->ip = (unsigned long)ksig->ka.sa.sa_handler;
65ea5b03 arch/x86/kernel/signal_32.c H. Peter Anvin    2008-01-30  365  	regs->ax = (unsigned long)sig;
92bc2056 arch/x86/kernel/signal_32.c Harvey Harrison   2008-02-08  366  	regs->dx = 0;
92bc2056 arch/x86/kernel/signal_32.c Harvey Harrison   2008-02-08  367  	regs->cx = 0;
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  368  
65ea5b03 arch/x86/kernel/signal_32.c H. Peter Anvin    2008-01-30  369  	regs->ds = __USER_DS;
65ea5b03 arch/x86/kernel/signal_32.c H. Peter Anvin    2008-01-30  370  	regs->es = __USER_DS;
65ea5b03 arch/x86/kernel/signal_32.c H. Peter Anvin    2008-01-30  371  	regs->ss = __USER_DS;
65ea5b03 arch/x86/kernel/signal_32.c H. Peter Anvin    2008-01-30  372  	regs->cs = __USER_CS;
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  373  
283828f3 arch/i386/kernel/signal.c   David Howells     2006-01-18  374  	return 0;
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  375  }
^1da177e arch/i386/kernel/signal.c   Linus Torvalds    2005-04-16  376  

:::::: The code at line 357 was first introduced by commit
:::::: 4a61204856e8b28e9f5489a7875cb3a60afd1e43 x86: signal_32: introduce retcode and rt_retcode

:::::: TO: Hiroshi Shimamoto <h-shimamoto@...jp.nec.com>
:::::: CC: Ingo Molnar <mingo@...e.hu>

---
0-DAY kernel test infrastructure                Open Source Technology Center
https://lists.01.org/pipermail/kbuild-all                   Intel Corporation

Powered by blists - more mailing lists

Powered by Openwall GNU/*/Linux Powered by OpenVZ