wordexp: handle overflow in positional parameter number (bug 28011)

Message ID 87pmwaypwz.fsf@igel.home
State Committed
Commit 5adda61f62b77384718b4c0d8336ade8f2b4b35c
Headers
Series wordexp: handle overflow in positional parameter number (bug 28011) |

Checks

Context Check Description
dj/TryBot-apply_patch success Patch applied to master at the time it was sent
dj/TryBot-32bit success Build for i686

Commit Message

Andreas Schwab June 25, 2021, 2:33 p.m. UTC
  Use strtoul instead of atoi so that overflow can be detected.
---
 posix/wordexp-test.c | 1 +
 posix/wordexp.c      | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)
  

Comments

Florian Weimer June 27, 2021, 3:41 p.m. UTC | #1
* Andreas Schwab:

> Use strtoul instead of atoi so that overflow can be detected.
> ---
>  posix/wordexp-test.c | 1 +
>  posix/wordexp.c      | 2 +-
>  2 files changed, 2 insertions(+), 1 deletion(-)
>
> diff --git a/posix/wordexp-test.c b/posix/wordexp-test.c
> index f93a546d7e..9df02dbbb3 100644
> --- a/posix/wordexp-test.c
> +++ b/posix/wordexp-test.c
> @@ -183,6 +183,7 @@ struct test_case_struct
>      { 0, NULL, "$var", 0, 0, { NULL, }, IFS },
>      { 0, NULL, "\"\\n\"", 0, 1, { "\\n", }, IFS },
>      { 0, NULL, "", 0, 0, { NULL, }, IFS },
> +    { 0, NULL, "${1234567890123456789012}", 0, 0, { NULL, }, IFS },
>  
>      /* Flags not already covered (testit() has special handling for these) */
>      { 0, NULL, "one two", WRDE_DOOFFS, 2, { "one", "two", }, IFS },
> diff --git a/posix/wordexp.c b/posix/wordexp.c
> index bcbe96e48d..1f3b09f721 100644
> --- a/posix/wordexp.c
> +++ b/posix/wordexp.c
> @@ -1399,7 +1399,7 @@ envsubst:
>    /* Is it a numeric parameter? */
>    else if (isdigit (env[0]))
>      {
> -      int n = atoi (env);
> +      unsigned long n = strtoul (env, NULL, 10);
>  
>        if (n >= __libc_argc)
>  	/* Substitute NULL. */

Looks reasonable.  The issue is that n as computed happens to be
negative, right?

Thanks,
Florian
  
Andreas Schwab June 27, 2021, 5:08 p.m. UTC | #2
On Jun 27 2021, Florian Weimer wrote:

> Looks reasonable.  The issue is that n as computed happens to be
> negative, right?

Yes.

Andreas.
  

Patch

diff --git a/posix/wordexp-test.c b/posix/wordexp-test.c
index f93a546d7e..9df02dbbb3 100644
--- a/posix/wordexp-test.c
+++ b/posix/wordexp-test.c
@@ -183,6 +183,7 @@  struct test_case_struct
     { 0, NULL, "$var", 0, 0, { NULL, }, IFS },
     { 0, NULL, "\"\\n\"", 0, 1, { "\\n", }, IFS },
     { 0, NULL, "", 0, 0, { NULL, }, IFS },
+    { 0, NULL, "${1234567890123456789012}", 0, 0, { NULL, }, IFS },
 
     /* Flags not already covered (testit() has special handling for these) */
     { 0, NULL, "one two", WRDE_DOOFFS, 2, { "one", "two", }, IFS },
diff --git a/posix/wordexp.c b/posix/wordexp.c
index bcbe96e48d..1f3b09f721 100644
--- a/posix/wordexp.c
+++ b/posix/wordexp.c
@@ -1399,7 +1399,7 @@  envsubst:
   /* Is it a numeric parameter? */
   else if (isdigit (env[0]))
     {
-      int n = atoi (env);
+      unsigned long n = strtoul (env, NULL, 10);
 
       if (n >= __libc_argc)
 	/* Substitute NULL. */