From: Corinna Vinschen <vinschen@redhat.com>
To: newlib@sourceware.org
Subject: Re: Fix modification of string literal by swprintf
Date: Wed, 07 Jun 2017 10:02:00 -0000 [thread overview]
Message-ID: <20170607100157.GB18287@calimero.vinschen.de> (raw)
In-Reply-To: <608ad190-c35e-76b1-99d3-e96dd64d85e2@foss.arm.com>
[-- Attachment #1: Type: text/plain, Size: 4037 bytes --]
On Jun 5 09:59, Thomas Preudhomme wrote:
> Don't over-read memory returned by _DTOA_R, and never write to it
> since the result might be a string literal.
>
> For example, when doing:
> swprintf(tt, 20, L"%.*f", 6, 0.0);
>
> we will get back "0".
>
> Instead, write the result returned by _DTOA_R to the output buffer.
> After this, write the 0 chars directly to the the output buffer
> (if there are any). This also has the (marginal) advantage that
> we read/write less memory overall.
>
> The patch, contributed by Silviu Baranga was tested against libcxx testsuite
> and showed no regression. Please find the patch in git format-patch format
> in attachment.
>
> Best regards,
>
> Thomas
> >From 7a31cfb01a0b089daf2bed93b742b6edbf4cba0c Mon Sep 17 00:00:00 2001
> From: Silviu Baranga <silviu.baranga@arm.cm>
> Date: Mon, 5 Jun 2017 09:54:42 +0100
> Subject: [PATCH] Don't overread or write memory returned by _DTOA_R
>
> Don't over-read memory returned by _DTOA_R, and never write to it
> since the result might be a string literal.
>
> For example, when doing:
> swprintf(tt, 20, L"%.*f", 6, 0.0);
>
> we will get back "0".
>
> Instead, write the result returned by _DTOA_R to the output buffer.
> After this, write the 0 chars directly to the the output buffer
> (if there are any). This also has the (marginal) advantage that
> we read/write less memory overall.
> ---
> newlib/libc/locale/setlocale.h | 2 +-
> newlib/libc/stdio/vfwprintf.c | 24 ++++++++++++------------
> 2 files changed, 13 insertions(+), 13 deletions(-)
>
> diff --git a/newlib/libc/locale/setlocale.h b/newlib/libc/locale/setlocale.h
> index 85a38d5..1440d0e 100644
> --- a/newlib/libc/locale/setlocale.h
> +++ b/newlib/libc/locale/setlocale.h
> @@ -227,7 +227,7 @@ __get_locale_r (struct _reent *r)
> _ELIDABLE_INLINE struct __locale_t *
> __get_current_locale (void)
> {
> - return _REENT->_locale ?: __get_global_locale ();
> + return _REENT->_locale ?: __get_global_locale (); // version for !_MB_CAPABLE?
> }
This doesn't belong here. Also, the code is already fine for !_MB_CAPABLE
as well.
> /* Only access fixed "C" locale using this function. Fake for !_MB_CAPABLE
> diff --git a/newlib/libc/stdio/vfwprintf.c b/newlib/libc/stdio/vfwprintf.c
> index f0179a0..1bec9b2 100644
> --- a/newlib/libc/stdio/vfwprintf.c
> +++ b/newlib/libc/stdio/vfwprintf.c
> @@ -1627,13 +1627,20 @@ wcvt(struct _reent *data, _PRINTF_FLOAT_TYPE value, int ndigits, int flags,
>
> {
> char *digits, *bp, *rve;
> -#ifndef _MB_CAPABLE
> int i;
> -#endif
>
> digits = _DTOA_R (data, value, mode, ndigits, decpt, &dsgn, &rve);
>
> +#ifdef _MB_CAPABLE
> + _mbsnrtowcs_r (data, buf, (const char **) &digits, rve - digits,
> + len, NULL);
> +#else
> + for (i = 0; i < rve - digits && i < len; ++i)
> + buf[i] = (wchar_t) digits[i];
> +#endif
> +
> if ((ch != L'g' && ch != L'G') || flags & ALT) { /* Print trailing zeros */
> + char *padding = rve;
> bp = digits + ndigits;
> if (ch == L'f' || ch == L'F') {
> if (*digits == L'0' && value)
> @@ -1642,18 +1649,11 @@ wcvt(struct _reent *data, _PRINTF_FLOAT_TYPE value, int ndigits, int flags,
> }
> if (value == 0) /* kludge for __dtoa irregularity */
> rve = bp;
> - while (rve < bp)
> - *rve++ = '0';
> - }
>
> + for (i = padding - digits; i < rve - digits && i < len; ++i)
> + buf[i] = L'0';
Appending zeros here without incrementing rve...
> + }
> *length = rve - digits; /* full length of the string */
...leads to incorrect setting of *length here. Or am I missing
something?
> -#ifdef _MB_CAPABLE
> - _mbsnrtowcs_r (data, buf, (const char **) &digits, *length,
> - len, NULL);
> -#else
> - for (i = 0; i < *length && i < len; ++i)
> - buf[i] = (wchar_t) digits[i];
> -#endif
> return buf;
> }
> }
> --
> 1.9.1
>
Corinna
--
Corinna Vinschen
Cygwin Maintainer
Red Hat
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 819 bytes --]
next prev parent reply other threads:[~2017-06-07 10:02 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-06-05 8:59 Thomas Preudhomme
2017-06-07 10:02 ` Corinna Vinschen [this message]
2017-06-07 10:41 ` Thomas Preudhomme
2017-06-08 12:15 ` Thomas Preudhomme
2017-06-09 13:32 ` Corinna Vinschen
2017-06-14 11:05 ` Renlin Li
2017-06-15 8:01 ` Thomas Preudhomme
2017-06-15 9:05 ` Renlin Li
2017-06-19 10:58 ` Corinna Vinschen
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20170607100157.GB18287@calimero.vinschen.de \
--to=vinschen@redhat.com \
--cc=newlib@sourceware.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).