Vulnerability: The cipso_v4_validate function in net/ipv4/cipso_ipv4.c in the Linux kernel before 3.4.8 allows local users to cause a denial of service (NULL pointer dereference and system crash) or possibly have unspecified other impact via an IPOPT_CIPSO IP_OPTIONS setsockopt system call.
Vulnerability ID: CVE-2013-0310
CWE: CWE-119
Severity score: 10
Project: https://github.com/torvalds/linux
Published: 2013-02-22
File: net/ipv4/cipso_ipv4.c
Commit message: cipso: don't follow a NULL pointer when setsockopt() is called

As reported by Alan Cox, and verified by Lin Ming, when a user
attempts to add a CIPSO option to a socket using the CIPSO_V4_TAG_LOCAL
tag the kernel dies a terrible death when it attempts to follow a NULL
pointer (the skb argument to cipso_v4_validate() is NULL when called via
the setsockopt() syscall).

This patch fixes this by first checking to ensure that the skb is
non-NULL before using it to find the incoming network interface.  In
the unlikely case where the skb is NULL and the user attempts to add
a CIPSO option with the _TAG_LOCAL tag we return an error as this is
not something we want to allow.

A simple reproducer, kindly supplied by Lin Ming, although you must
have the CIPSO DOI #3 configure on the system first or you will be
caught early in cipso_v4_validate():

	#include <sys/types.h>
	#include <sys/socket.h>
	#include <linux/ip.h>
	#include <linux/in.h>
	#include <string.h>

	struct local_tag {
		char type;
		char length;
		char info[4];
	};

	struct cipso {
		char type;
		char length;
		char doi[4];
		struct local_tag local;
	};

	int main(int argc, char **argv)
	{
		int sockfd;
		struct cipso cipso = {
			.type = IPOPT_CIPSO,
			.length = sizeof(struct cipso),
			.local = {
				.type = 128,
				.length = sizeof(struct local_tag),
			},
		};

		memset(cipso.doi, 0, 4);
		cipso.doi[3] = 3;

		sockfd = socket(AF_INET, SOCK_DGRAM, 0);
		#define SOL_IP 0
		setsockopt(sockfd, SOL_IP, IP_OPTIONS,
			&cipso, sizeof(struct cipso));

		return 0;
	}

CC: Lin Ming <mlin@ss.pku.edu.cn>
Reported-by: Alan Cox <alan@lxorguk.ukuu.org.uk>
Signed-off-by: Paul Moore <pmoore@redhat.com>
Signed-off-by: David S. Miller <davem@davemloft.net>
Commit author: Paul Moore

Vulnerable version (before fix):
 int cipso_v4_validate(const struct sk_buff *skb, unsigned char **option) 		case CIPSO_V4_TAG_LOCAL: 			/* This is a non-standard tag that we only allow for 			 * local connections, so if the incoming interface is 			 * not the loopback device drop the packet. */ 			if (!(skb->dev->flags & IFF_LOOPBACK)) { 				err_offset = opt_iter; 				goto validate_return_locked; 			}

Fixed version (after fix):
 int cipso_v4_validate(const struct sk_buff *skb, unsigned char **option) 		case CIPSO_V4_TAG_LOCAL: 			/* This is a non-standard tag that we only allow for 			 * local connections, so if the incoming interface is 			 * not the loopback device drop the packet. Further, 			 * there is no legitimate reason for setting this from 			 * userspace so reject it if skb is NULL. */ 			if (skb == NULL || !(skb->dev->flags & IFF_LOOPBACK)) { 				err_offset = opt_iter; 				goto validate_return_locked; 			}

Patch:
patch: @@ -1725,8 +1725,10 @@ int cipso_v4_validate(const struct sk_buff *skb, unsigned char **option)
 		case CIPSO_V4_TAG_LOCAL:
 			/* This is a non-standard tag that we only allow for
 			 * local connections, so if the incoming interface is
-			 * not the loopback device drop the packet. */
-			if (!(skb->dev->flags & IFF_LOOPBACK)) {
+			 * not the loopback device drop the packet. Further,
+			 * there is no legitimate reason for setting this from
+			 * userspace so reject it if skb is NULL. */
+			if (skb == NULL || !(skb->dev->flags & IFF_LOOPBACK)) {
 				err_offset = opt_iter;
 				goto validate_return_locked;
 			}
path: net/ipv4/cipso_ipv4.c