Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 12 Aug 2014 13:09:32 +0000 (UTC)
From:      Hajimu UMEMOTO <ume@FreeBSD.org>
To:        src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org
Subject:   svn commit: r269873 - head/lib/libc/nameser
Message-ID:  <53ea120c.6165.1de1e179@svn.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: ume
Date: Tue Aug 12 13:09:32 2014
New Revision: 269873
URL: http://svnweb.freebsd.org/changeset/base/269873

Log:
  Fix broken pointer overflow check ns_name_unpack()
  
  Many compilers may optimize away the overflow check `msg + l < msg',
  where `msg' is a pointer and `l' is an integer, because pointer
  overflow is undefined behavior in C.
  
  Use a safe precondition test `l >= eom - msg' instead.
  
  Reference:
  https://android-review.googlesource.com/#/c/50570/
  
  Requested by:	pfg
  Obtained from:	NetBSD (CVS rev. 1.10)

Modified:
  head/lib/libc/nameser/ns_name.c
Directory Properties:
  head/lib/libc/   (props changed)

Modified: head/lib/libc/nameser/ns_name.c
==============================================================================
--- head/lib/libc/nameser/ns_name.c	Tue Aug 12 12:45:30 2014	(r269872)
+++ head/lib/libc/nameser/ns_name.c	Tue Aug 12 13:09:32 2014	(r269873)
@@ -463,11 +463,12 @@ ns_name_unpack2(const u_char *msg, const
 			}
 			if (len < 0)
 				len = srcp - src + 1;
-			srcp = msg + (((n & 0x3f) << 8) | (*srcp & 0xff));
-			if (srcp < msg || srcp >= eom) {  /*%< Out of range. */
+			l = ((n & 0x3f) << 8) | (*srcp & 0xff);
+			if (l >= eom - msg) {  /*%< Out of range. */
 				errno = EMSGSIZE;
 				return (-1);
 			}
+			srcp = msg + l;
 			checked += 2;
 			/*
 			 * Check for loops in the compressed name;



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?53ea120c.6165.1de1e179>