Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 08 May 2017 22:22:54 +0000
From:      bugzilla-noreply@freebsd.org
To:        freebsd-bugs@FreeBSD.org
Subject:   [Bug 219154] [PATCH] buffer overflows in realpath(3)
Message-ID:  <bug-219154-8@https.bugs.freebsd.org/bugzilla/>

next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D219154

            Bug ID: 219154
           Summary: [PATCH] buffer overflows in realpath(3)
           Product: Base System
           Version: CURRENT
          Hardware: Any
                OS: Any
            Status: New
          Keywords: patch
          Severity: Affects Only Me
          Priority: ---
         Component: bin
          Assignee: freebsd-bugs@FreeBSD.org
          Reporter: jan.kokemueller@gmail.com
          Keywords: patch

Created attachment 182421
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=3D182421&action=
=3Dedit
fixes for realpath(3)

There are some buffer overflows in realpath(3). The attached patch fixes th=
em:

 - The statement "left_len -=3D s - left;" does not take the slash into acc=
ount
if one was found. This results in the invariant "left[left_len] =3D=3D '\0'=
" being
violated (and possible buffer overflows). The patch replaces the variable "=
s"
with a size_t "next_token_len" for more clarity.

 - "slen" from readlink(2) can be 0 when encountering empty symlinks. Then,
further down, "symlink[slen - 1]" underflows the buffer. When slen =3D=3D 0,
realpath(3) should probably return ENOENT
(http://austingroupbugs.net/view.php?id=3D825, https://lwn.net/Articles/551=
224/).


Some other minor issues:

 - The condition "resolved_len >=3D PATH_MAX" cannot be true.

 - Similarly, "s - left >=3D sizeof(next_token)" cannot be true, as long as
"sizeof(next_token) >=3D sizeof(left)".

 - Return ENAMETOOLONG when a resolved symlink from readlink(2) is too long=
 for
the symlink buffer (instead of just truncating it).

 - "resolved_len > 1" below the call to readlink(2) is always true as
"strlcat(resolved, next_token, PATH_MAX);" always results in a string of le=
ngth
> 1. Also, "resolved[resolved_len - 1] =3D '\0';" is not needed; there can =
never
be a trailing slash here.

 - The truncation check for "strlcat(symlink, left, sizeof(symlink));" shou=
ld
be against "sizeof(symlink)" (the third argument to strlcat) instead of
"sizeof(left)".

--=20
You are receiving this mail because:
You are the assignee for the bug.=



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-219154-8>