Re: [PATCH] Fix sscanf (the 3rd verse)

From: Paul (set@pobox.com)
Date: Mon Sep 24 2001 - 02:13:20 EST


Jeff Dike <jdike@karaya.com>, on Sun Sep 23, 2001 [10:54:10 PM] said:
> sscanf double-increments fmt in a couple of places, causing format characters
> to be skipped. Patch follows.
>
> I'm a bit unhappy about the second chunk, but I don't see a cleaner way to
> do it offhand.
>
> Jeff
>

        Hi.

        I found buffer overruns and other problems when I looked
at this function again in more detail. (%c and %s format parsing
went horribly wrong in initial tests.) This patch tries to fix
those also. (and avoids the increment/decrement ugly) I have
tested it a little in a userspace program, and it passes uml's
sscanf usage:) Should check it again in the morning... it may not
be perfect, but at least I hope this makes it a little safer.

Paul
set@pobox.com

--- 2.4.9-ac13-user/lib/vsprintf.c.old Fri Sep 21 19:42:25 2001
+++ 2.4.9-ac13-user/lib/vsprintf.c Mon Sep 24 02:53:03 2001
@@ -508,6 +508,7 @@
  * @fmt: format of buffer
  * @args: arguments
  */
+
 int vsscanf(const char * buf, const char * fmt, va_list args)
 {
         const char *str = buf;
@@ -515,36 +516,37 @@
         int num = 0;
         int qualifier;
         int base;
- unsigned int field_width;
+ int field_width = -1;
         int is_sign = 0;
 
- for (; *fmt; fmt++) {
+ while(*fmt && *str) {
                 /* skip any white space in format */
- if (isspace(*fmt)) {
- continue;
- }
+ while (isspace(*fmt))
+ ++fmt;
 
                 /* anything that is not a conversion must match exactly */
- if (*fmt != '%') {
+ if (*fmt != '%' && *fmt) {
                         if (*fmt++ != *str++)
                                 return num;
                         continue;
                 }
- ++fmt;
+ if (*fmt)
+ ++fmt;
+ else
+ return num;
                 
                 /* skip this conversion.
                  * advance both strings to next white space
                  */
                 if (*fmt == '*') {
- while (!isspace(*fmt))
+ while (!isspace(*fmt) && *fmt)
                                 fmt++;
- while(!isspace(*str))
+ while (!isspace(*str) && *str)
                                 str++;
                         continue;
                 }
 
                 /* get field width */
- field_width = 0xffffffffUL;
                 if (isdigit(*fmt))
                         field_width = skip_atoi(&fmt);
 
@@ -557,25 +559,32 @@
                 base = 10;
                 is_sign = 0;
 
- switch(*fmt) {
+ if (!*fmt || !*str)
+ return num;
+
+ switch(*fmt++) {
                 case 'c':
                 {
                         char *s = (char *) va_arg(args,char*);
+ if (field_width == -1)
+ field_width = 1;
                         do {
                                 *s++ = *str++;
- } while(field_width-- > 0);
+ } while(field_width-- > 0 && *str);
                         num++;
                 }
                 continue;
                 case 's':
                 {
                         char *s = (char *) va_arg(args, char *);
+ if(field_width == -1)
+ field_width = 0x7ffffff;
                         /* first, skip leading white space in buffer */
                         while (isspace(*str))
                                 str++;
 
                         /* now copy until next white space */
- while (!isspace(*str) && field_width--) {
+ while (*str && !isspace(*str) && field_width--) {
                                 *s++ = *str++;
                         }
                         *s = '\0';
@@ -617,6 +626,9 @@
                 while (isspace(*str))
                         str++;
 
+ if (!*str)
+ return num;
+
                 switch(qualifier) {
                 case 'h':
                         if (is_sign) {
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Sun Sep 30 2001 - 21:00:19 EST