e293be
32bit version of copy_from_user() requires that
e293be
compiler statically knows that buffer overflow won't occur.
e293be
These patch so that static analysis by the compiler succeeds.
e293be
e293be
diff -up ./drivers/isdn/hardware/avm/b1.c.cfu4 ./drivers/isdn/hardware/avm/b1.c
e293be
--- ./drivers/isdn/hardware/avm/b1.c.cfu4	2018-03-22 06:40:12.000000000 +0900
e293be
+++ ./drivers/isdn/hardware/avm/b1.c	2018-04-18 16:24:24.000000000 +0900
e293be
@@ -176,6 +176,8 @@ int b1_load_t4file(avmcard *card, capilo
e293be
 	}
e293be
 	if (left) {
e293be
 		if (t4file->user) {
e293be
+			if (left > sizeof(buf)) /* make copy_from_user happy */
e293be
+				return -EFAULT;
e293be
 			if (copy_from_user(buf, dp, left))
e293be
 				return -EFAULT;
e293be
 		} else {
e293be
@@ -224,6 +226,8 @@ int b1_load_config(avmcard *card, capilo
e293be
 	}
e293be
 	if (left) {
e293be
 		if (config->user) {
e293be
+			if (left > sizeof(buf)) /* make copy_from_user happy */
e293be
+				return -EFAULT;
e293be
 			if (copy_from_user(buf, dp, left))
e293be
 				return -EFAULT;
e293be
 		} else {
e293be
diff -up ./fs/binfmt_misc.c.cfu2 ./fs/binfmt_misc.c
e293be
--- ./fs/binfmt_misc.c.cfu2	2018-03-22 06:40:12.000000000 +0900
e293be
+++ ./fs/binfmt_misc.c	2018-04-18 14:19:53.000000000 +0900
e293be
@@ -396,12 +396,12 @@ static int parse_command(const char __us
e293be
 {
e293be
 	char s[4];
e293be
 
e293be
-	if (!count)
e293be
-		return 0;
e293be
 	if (count > 3)
e293be
 		return -EINVAL;
e293be
 	if (copy_from_user(s, buffer, count))
e293be
 		return -EFAULT;
e293be
+	if (!count)
e293be
+		return 0;
e293be
 	if (s[count-1] == '\n')
e293be
 		count--;
e293be
 	if (count == 1 && s[0] == '0')
e293be
diff -up ./net/core/pktgen.c.pkt ./net/core/pktgen.c
e293be
--- ./net/core/pktgen.c.pkt	2018-03-22 06:40:12.000000000 +0900
e293be
+++ ./net/core/pktgen.c	2018-04-18 20:13:43.000000000 +0900
e293be
@@ -881,6 +881,8 @@ static ssize_t pktgen_if_write(struct fi
e293be
 		return len;
e293be
 
e293be
 	memset(name, 0, sizeof(name));
e293be
+	if (len > sizeof(name))
e293be
+		return -EFAULT;
e293be
 	if (copy_from_user(name, &user_buffer[i], len))
e293be
 		return -EFAULT;
e293be
 	i += len;
e293be
@@ -1798,6 +1800,8 @@ static ssize_t pktgen_thread_write(struc
e293be
 		return len;
e293be
 
e293be
 	memset(name, 0, sizeof(name));
e293be
+	if (len > sizeof(name))
e293be
+		return -EFAULT;
e293be
 	if (copy_from_user(name, &user_buffer[i], len))
e293be
 		return -EFAULT;
e293be
 	i += len;
e293be
@@ -1828,6 +1832,8 @@ static ssize_t pktgen_thread_write(struc
e293be
 			ret = len;
e293be
 			goto out;
e293be
 		}
e293be
+		if (len > sizeof(f))
e293be
+			return -EFAULT;
e293be
 		if (copy_from_user(f, &user_buffer[i], len))
e293be
 			return -EFAULT;
e293be
 		i += len;
e293be
diff -up ./sound/core/seq/seq_clientmgr.c.cfu5 ./sound/core/seq/seq_clientmgr.c
e293be
--- ./sound/core/seq/seq_clientmgr.c.cfu5	2018-03-22 06:40:12.000000000 +0900
e293be
+++ ./sound/core/seq/seq_clientmgr.c	2018-04-18 18:57:48.000000000 +0900
e293be
@@ -2123,6 +2123,8 @@ static long snd_seq_ioctl(struct file *f
e293be
 	 */
e293be
 	size = _IOC_SIZE(handler->cmd);
e293be
 	if (handler->cmd & IOC_IN) {
e293be
+		if (size > sizeof(buf)) /* make copy_from_user happy */
e293be
+			return -EFAULT;
e293be
 		if (copy_from_user(&buf, (const void __user *)arg, size))
e293be
 			return -EFAULT;
e293be
 	}
e293be
diff -up ./kernel/sys.c.cfu ./kernel/sys.c
e293be
--- ./kernel/sys.c.cfu	2018-03-22 06:40:12.000000000 +0900
e293be
+++ ./kernel/sys.c	2018-04-16 13:03:32.000000000 +0900
e293be
@@ -2091,7 +2091,10 @@ static int prctl_set_mm_map(int opt, con
e293be
 		return error;
e293be
 
e293be
 	if (prctl_map.auxv_size) {
e293be
+		unsigned long arg4 = prctl_map.auxv_size;
e293be
 		memset(user_auxv, 0, sizeof(user_auxv));
e293be
+		if (arg4 > sizeof(user_auxv)) /* to make copy_from_user happy */
e293be
+			return -EFAULT;
e293be
 		if (copy_from_user(user_auxv,
e293be
 				   (const void __user *)prctl_map.auxv,
e293be
 				   prctl_map.auxv_size))
e293be
diff -up ./drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c.cfu3 ./drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c
e293be
--- ./drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c.cfu3	2018-03-22 06:40:12.000000000 +0900
e293be
+++ ./drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c	2018-04-18 15:54:52.000000000 +0900
e293be
@@ -4498,9 +4498,13 @@ int vmw_execbuf_ioctl(struct drm_device
e293be
 		u32 idx = array_index_nospec(arg.version - 1,
e293be
 					     DRM_VMW_EXECBUF_VERSION);
e293be
 
e293be
+		/* to make copy_from_user() happy, check bounds beforehand */
e293be
+		size_t copysize = copy_offset[idx] - copy_offset[0];
e293be
+		if (copysize > sizeof(arg.context_handle))
e293be
+			return -EFAULT;
e293be
 		if (copy_from_user(&arg.context_handle,
e293be
 				  (void __user *) (data + copy_offset[0]),
e293be
-				  copy_offset[idx] - copy_offset[0]) != 0)
e293be
+				  copysize) != 0)
e293be
 			return -EFAULT;
e293be
 	}
e293be