Coverage Report

Created: 2023-06-07 06:47

/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
415k
{
49
415k
    enum strtonum_err errval = STN_INITIAL;
50
415k
    long long lastval, result = 0;
51
415k
    const char *cp = str;
52
415k
    unsigned char ch;
53
415k
    int remainder;
54
415k
    char sign;
55
56
415k
    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
416k
    do {
63
416k
  ch = *cp++;
64
416k
    } while (isspace(ch));
65
415k
    switch (ch) {
66
5.01k
    case '-':
67
5.01k
  sign = '-';
68
5.01k
  ch = *cp++;
69
5.01k
  break;
70
836
    case '+':
71
836
  ch = *cp++;
72
836
  FALLTHROUGH;
73
410k
    default:
74
410k
  sign = '+';
75
410k
  break;
76
415k
    }
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
415k
    if (sign == '-') {
88
5.01k
  lastval = minval / 10;
89
5.01k
  remainder = -(minval % 10);
90
5.01k
  if (remainder < 0) {
91
421
      lastval += 1;
92
421
      remainder += 10;
93
421
  }
94
27.6k
  for (;; ch = *cp++) {
95
27.6k
      if (!isdigit(ch))
96
4.43k
    break;
97
23.1k
      ch -= '0';
98
23.1k
      if (result < lastval || (result == lastval && ch > remainder)) {
99
    /* Skip remaining digits. */
100
525k
    do {
101
525k
        ch = *cp++;
102
525k
    } while (isdigit(ch));
103
580
    errval = STN_TOOSMALL;
104
580
    break;
105
22.5k
      } else {
106
22.5k
    result *= 10;
107
22.5k
    result -= ch;
108
22.5k
    errval = STN_VALID;
109
22.5k
      }
110
23.1k
  }
111
5.01k
  if (result > maxval)
112
0
      errval = STN_TOOBIG;
113
410k
    } else {
114
410k
  lastval = maxval / 10;
115
410k
  remainder = maxval % 10;
116
1.19M
  for (;; ch = *cp++) {
117
1.19M
      if (!isdigit(ch))
118
409k
    break;
119
783k
      ch -= '0';
120
783k
      if (result > lastval || (result == lastval && ch > remainder)) {
121
    /* Skip remaining digits. */
122
12.5k
    do {
123
12.5k
        ch = *cp++;
124
12.5k
    } while (isdigit(ch));
125
1.29k
    errval = STN_TOOBIG;
126
1.29k
    break;
127
782k
      } else {
128
782k
    result *= 10;
129
782k
    result += ch;
130
782k
    errval = STN_VALID;
131
782k
      }
132
783k
  }
133
410k
  if (result < minval)
134
311
      errval = STN_TOOSMALL;
135
410k
    }
136
137
415k
done:
138
415k
    switch (errval) {
139
1.49k
    case STN_INITIAL:
140
413k
    case STN_VALID:
141
413k
  if (errstrp != NULL)
142
413k
      *errstrp = NULL;
143
413k
  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
891
    case STN_TOOSMALL:
151
891
  result = 0;
152
891
  errno = ERANGE;
153
891
  if (errstrp != NULL)
154
891
      *errstrp = N_("value too small");
155
891
  break;
156
1.29k
    case STN_TOOBIG:
157
1.29k
  result = 0;
158
1.29k
  errno = ERANGE;
159
1.29k
  if (errstrp != NULL)
160
1.29k
      *errstrp = N_("value too large");
161
1.29k
  break;
162
415k
    }
163
415k
    if (endp != NULL) {
164
415k
  if (errval == STN_INITIAL || errval == STN_INVALID)
165
1.49k
      *endp = (char *)str;
166
414k
  else
167
414k
      *endp = (char *)(cp - 1);
168
415k
    }
169
415k
    return result;
170
415k
}
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
76.8k
{
179
76.8k
    const char *errstr;
180
76.8k
    char *ep;
181
76.8k
    long long ret;
182
183
76.8k
    ret = sudo_strtonumx(str, minval, maxval, &ep, &errstr);
184
    /* Check for empty string and terminating NUL. */
185
76.8k
    if (str == ep || *ep != '\0') {
186
1.62k
  errno = EINVAL;
187
1.62k
  errstr = N_("invalid value");
188
1.62k
  ret = 0;
189
1.62k
    }
190
76.8k
    if (errstrp != NULL)
191
75.0k
  *errstrp = errstr;
192
76.8k
    return ret;
193
76.8k
}