Coverage Report

Created: 2023-06-07 06:46

/src/sudo/lib/util/strtonum.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * SPDX-License-Identifier: ISC
3
 *
4
 * Copyright (c) 2013-2015, 2019-2020 Todd C. Miller <Todd.Miller@sudo.ws>
5
 *
6
 * Permission to use, copy, modify, and distribute this software for any
7
 * purpose with or without fee is hereby granted, provided that the above
8
 * copyright notice and this permission notice appear in all copies.
9
 *
10
 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
11
 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
12
 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
13
 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
14
 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
15
 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
16
 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
17
 */
18
19
/*
20
 * This is an open source non-commercial project. Dear PVS-Studio, please check it.
21
 * PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com
22
 */
23
24
#include <config.h>
25
26
#include <ctype.h>
27
#include <errno.h>
28
29
#include "sudo_compat.h"
30
#include "sudo_gettext.h"
31
#include "sudo_util.h"
32
33
enum strtonum_err {
34
    STN_INITIAL,
35
    STN_VALID,
36
    STN_INVALID,
37
    STN_TOOSMALL,
38
    STN_TOOBIG
39
};
40
41
/*
42
 * Convert a string to a number in the range [minval, maxval]
43
 * Unlike strtonum(), this returns the first non-digit in endp (if not NULL).
44
 */
45
long long
46
sudo_strtonumx(const char *str, long long minval, long long maxval, char **endp,
47
    const char **errstrp)
48
396k
{
49
396k
    enum strtonum_err errval = STN_INITIAL;
50
396k
    long long lastval, result = 0;
51
396k
    const char *cp = str;
52
396k
    unsigned char ch;
53
396k
    int remainder;
54
396k
    char sign;
55
56
396k
    if (minval > maxval) {
57
0
  errval = STN_INVALID;
58
0
  goto done;
59
0
    }
60
61
    /* Trim leading space and check sign, if any. */
62
396k
    do {
63
396k
  ch = *cp++;
64
396k
    } while (isspace(ch));
65
396k
    switch (ch) {
66
3.07k
    case '-':
67
3.07k
  sign = '-';
68
3.07k
  ch = *cp++;
69
3.07k
  break;
70
242
    case '+':
71
242
  ch = *cp++;
72
242
  FALLTHROUGH;
73
393k
    default:
74
393k
  sign = '+';
75
393k
  break;
76
396k
    }
77
78
    /*
79
     * To prevent overflow we determine the highest (or lowest in
80
     * the case of negative numbers) value result can have *before*
81
     * if its multiplied (divided) by 10 as well as the remainder.
82
     * If result matches this value and the next digit is larger than
83
     * the remainder, we know the result is out of range.
84
     * The remainder is always positive since it is compared against
85
     * an unsigned digit.
86
     */
87
396k
    if (sign == '-') {
88
3.07k
  lastval = minval / 10;
89
3.07k
  remainder = -(minval % 10);
90
3.07k
  if (remainder < 0) {
91
12
      lastval += 1;
92
12
      remainder += 10;
93
12
  }
94
15.2k
  for (;; ch = *cp++) {
95
15.2k
      if (!isdigit(ch))
96
3.06k
    break;
97
12.1k
      ch -= '0';
98
12.1k
      if (result < lastval || (result == lastval && ch > remainder)) {
99
    /* Skip remaining digits. */
100
466
    do {
101
466
        ch = *cp++;
102
466
    } while (isdigit(ch));
103
14
    errval = STN_TOOSMALL;
104
14
    break;
105
12.1k
      } else {
106
12.1k
    result *= 10;
107
12.1k
    result -= ch;
108
12.1k
    errval = STN_VALID;
109
12.1k
      }
110
12.1k
  }
111
3.07k
  if (result > maxval)
112
0
      errval = STN_TOOBIG;
113
393k
    } else {
114
393k
  lastval = maxval / 10;
115
393k
  remainder = maxval % 10;
116
1.12M
  for (;; ch = *cp++) {
117
1.12M
      if (!isdigit(ch))
118
393k
    break;
119
730k
      ch -= '0';
120
730k
      if (result > lastval || (result == lastval && ch > remainder)) {
121
    /* Skip remaining digits. */
122
248
    do {
123
248
        ch = *cp++;
124
248
    } while (isdigit(ch));
125
40
    errval = STN_TOOBIG;
126
40
    break;
127
730k
      } else {
128
730k
    result *= 10;
129
730k
    result += ch;
130
730k
    errval = STN_VALID;
131
730k
      }
132
730k
  }
133
393k
  if (result < minval)
134
24
      errval = STN_TOOSMALL;
135
393k
    }
136
137
396k
done:
138
396k
    switch (errval) {
139
176
    case STN_INITIAL:
140
396k
    case STN_VALID:
141
396k
  if (errstrp != NULL)
142
396k
      *errstrp = NULL;
143
396k
  break;
144
0
    case STN_INVALID:
145
0
  result = 0;
146
0
  errno = EINVAL;
147
0
  if (errstrp != NULL)
148
0
      *errstrp = N_("invalid value");
149
0
  break;
150
38
    case STN_TOOSMALL:
151
38
  result = 0;
152
38
  errno = ERANGE;
153
38
  if (errstrp != NULL)
154
38
      *errstrp = N_("value too small");
155
38
  break;
156
40
    case STN_TOOBIG:
157
40
  result = 0;
158
40
  errno = ERANGE;
159
40
  if (errstrp != NULL)
160
40
      *errstrp = N_("value too large");
161
40
  break;
162
396k
    }
163
396k
    if (endp != NULL) {
164
396k
  if (errval == STN_INITIAL || errval == STN_INVALID)
165
176
      *endp = (char *)str;
166
396k
  else
167
396k
      *endp = (char *)(cp - 1);
168
396k
    }
169
396k
    return result;
170
396k
}
171
172
/*
173
 * Convert a string to a number in the range [minval, maxval]
174
 */
175
long long
176
sudo_strtonum(const char *str, long long minval, long long maxval,
177
    const char **errstrp)
178
57.3k
{
179
57.3k
    const char *errstr;
180
57.3k
    char *ep;
181
57.3k
    long long ret;
182
183
57.3k
    ret = sudo_strtonumx(str, minval, maxval, &ep, &errstr);
184
    /* Check for empty string and terminating NUL. */
185
57.3k
    if (str == ep || *ep != '\0') {
186
33
  errno = EINVAL;
187
33
  errstr = N_("invalid value");
188
33
  ret = 0;
189
33
    }
190
57.3k
    if (errstrp != NULL)
191
57.3k
  *errstrp = errstr;
192
57.3k
    return ret;
193
57.3k
}