Coverage Report

Created: 2022-08-24 06:30

/src/libressl/crypto/evp/encode.c
Line
Count
Source (jump to first uncovered line)
1
/* $OpenBSD: encode.c,v 1.29 2021/12/12 21:30:13 tb Exp $ */
2
/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
3
 * All rights reserved.
4
 *
5
 * This package is an SSL implementation written
6
 * by Eric Young (eay@cryptsoft.com).
7
 * The implementation was written so as to conform with Netscapes SSL.
8
 *
9
 * This library is free for commercial and non-commercial use as long as
10
 * the following conditions are aheared to.  The following conditions
11
 * apply to all code found in this distribution, be it the RC4, RSA,
12
 * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
13
 * included with this distribution is covered by the same copyright terms
14
 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
15
 *
16
 * Copyright remains Eric Young's, and as such any Copyright notices in
17
 * the code are not to be removed.
18
 * If this package is used in a product, Eric Young should be given attribution
19
 * as the author of the parts of the library used.
20
 * This can be in the form of a textual message at program startup or
21
 * in documentation (online or textual) provided with the package.
22
 *
23
 * Redistribution and use in source and binary forms, with or without
24
 * modification, are permitted provided that the following conditions
25
 * are met:
26
 * 1. Redistributions of source code must retain the copyright
27
 *    notice, this list of conditions and the following disclaimer.
28
 * 2. Redistributions in binary form must reproduce the above copyright
29
 *    notice, this list of conditions and the following disclaimer in the
30
 *    documentation and/or other materials provided with the distribution.
31
 * 3. All advertising materials mentioning features or use of this software
32
 *    must display the following acknowledgement:
33
 *    "This product includes cryptographic software written by
34
 *     Eric Young (eay@cryptsoft.com)"
35
 *    The word 'cryptographic' can be left out if the rouines from the library
36
 *    being used are not cryptographic related :-).
37
 * 4. If you include any Windows specific code (or a derivative thereof) from
38
 *    the apps directory (application code) you must include an acknowledgement:
39
 *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
40
 *
41
 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
42
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
43
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
44
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
45
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
46
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
47
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
48
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
49
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
50
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
51
 * SUCH DAMAGE.
52
 *
53
 * The licence and distribution terms for any publically available version or
54
 * derivative of this code cannot be changed.  i.e. this code cannot simply be
55
 * copied and put under another distribution licence
56
 * [including the GNU Public Licence.]
57
 */
58
59
#include <limits.h>
60
#include <stdio.h>
61
#include <string.h>
62
63
#include <openssl/evp.h>
64
65
#include "evp_locl.h"
66
67
static unsigned char conv_ascii2bin(unsigned char a);
68
0
#define conv_bin2ascii(a) (data_bin2ascii[(a)&0x3f])
69
70
/* 64 char lines
71
 * pad input with 0
72
 * left over chars are set to =
73
 * 1 byte  => xx==
74
 * 2 bytes => xxx=
75
 * 3 bytes => xxxx
76
 */
77
#define BIN_PER_LINE    (64/4*3)
78
#define CHUNKS_PER_LINE (64/4)
79
#define CHAR_PER_LINE   (64+1)
80
81
static const unsigned char data_bin2ascii[65] = "ABCDEFGHIJKLMNOPQRSTUVWXYZ\
82
abcdefghijklmnopqrstuvwxyz0123456789+/";
83
84
/* 0xF0 is a EOLN
85
 * 0xF1 is ignore but next needs to be 0xF0 (for \r\n processing).
86
 * 0xF2 is EOF
87
 * 0xE0 is ignore at start of line.
88
 * 0xFF is error
89
 */
90
91
#define B64_EOLN    0xF0
92
#define B64_CR      0xF1
93
3.95M
#define B64_EOF     0xF2
94
66.8k
#define B64_WS      0xE0
95
3.95M
#define B64_ERROR         0xFF
96
4.03M
#define B64_NOT_BASE64(a) (((a)|0x13) == 0xF3)
97
3.96M
#define B64_BASE64(a)   !B64_NOT_BASE64(a)
98
99
static const unsigned char data_ascii2bin[128] = {
100
  0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
101
  0xFF, 0xE0, 0xF0, 0xFF, 0xFF, 0xF1, 0xFF, 0xFF,
102
  0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
103
  0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
104
  0xE0, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
105
  0xFF, 0xFF, 0xFF, 0x3E, 0xFF, 0xF2, 0xFF, 0x3F,
106
  0x34, 0x35, 0x36, 0x37, 0x38, 0x39, 0x3A, 0x3B,
107
  0x3C, 0x3D, 0xFF, 0xFF, 0xFF, 0x00, 0xFF, 0xFF,
108
  0xFF, 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06,
109
  0x07, 0x08, 0x09, 0x0A, 0x0B, 0x0C, 0x0D, 0x0E,
110
  0x0F, 0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16,
111
  0x17, 0x18, 0x19, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
112
  0xFF, 0x1A, 0x1B, 0x1C, 0x1D, 0x1E, 0x1F, 0x20,
113
  0x21, 0x22, 0x23, 0x24, 0x25, 0x26, 0x27, 0x28,
114
  0x29, 0x2A, 0x2B, 0x2C, 0x2D, 0x2E, 0x2F, 0x30,
115
  0x31, 0x32, 0x33, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
116
};
117
118
static unsigned char
119
conv_ascii2bin(unsigned char a)
120
7.97M
{
121
7.97M
  if (a & 0x80)
122
0
    return B64_ERROR;
123
7.97M
  return data_ascii2bin[a];
124
7.97M
}
125
126
EVP_ENCODE_CTX *
127
EVP_ENCODE_CTX_new(void)
128
0
{
129
0
  return calloc(1, sizeof(EVP_ENCODE_CTX));
130
0
}
131
132
void
133
EVP_ENCODE_CTX_free(EVP_ENCODE_CTX *ctx)
134
0
{
135
0
  free(ctx);
136
0
}
137
138
void
139
EVP_EncodeInit(EVP_ENCODE_CTX *ctx)
140
0
{
141
0
  ctx->length = 48;
142
0
  ctx->num = 0;
143
0
  ctx->line_num = 0;
144
0
}
145
146
int
147
EVP_EncodeUpdate(EVP_ENCODE_CTX *ctx, unsigned char *out, int *outl,
148
    const unsigned char *in, int inl)
149
0
{
150
0
  int i, j;
151
0
  size_t total = 0;
152
153
0
  *outl = 0;
154
0
  if (inl <= 0)
155
0
    return 0;
156
0
  OPENSSL_assert(ctx->length <= (int)sizeof(ctx->enc_data));
157
0
  if (ctx->length - ctx->num > inl) {
158
0
    memcpy(&(ctx->enc_data[ctx->num]), in, inl);
159
0
    ctx->num += inl;
160
0
    return 1;
161
0
  }
162
0
  if (ctx->num != 0) {
163
0
    i = ctx->length - ctx->num;
164
0
    memcpy(&(ctx->enc_data[ctx->num]), in, i);
165
0
    in += i;
166
0
    inl -= i;
167
0
    j = EVP_EncodeBlock(out, ctx->enc_data, ctx->length);
168
0
    ctx->num = 0;
169
0
    out += j;
170
0
    *(out++) = '\n';
171
0
    *out = '\0';
172
0
    total = j + 1;
173
0
  }
174
0
  while (inl >= ctx->length && total <= INT_MAX) {
175
0
    j = EVP_EncodeBlock(out, in, ctx->length);
176
0
    in += ctx->length;
177
0
    inl -= ctx->length;
178
0
    out += j;
179
0
    *(out++) = '\n';
180
0
    *out = '\0';
181
0
    total += j + 1;
182
0
  }
183
0
  if (total > INT_MAX) {
184
    /* Too much output data! */
185
0
    *outl = 0;
186
0
    return 0;
187
0
  }
188
0
  if (inl != 0)
189
0
    memcpy(&(ctx->enc_data[0]), in, inl);
190
0
  ctx->num = inl;
191
0
  *outl = total;
192
193
0
  return 1;
194
0
}
195
196
void
197
EVP_EncodeFinal(EVP_ENCODE_CTX *ctx, unsigned char *out, int *outl)
198
0
{
199
0
  unsigned int ret = 0;
200
201
0
  if (ctx->num != 0) {
202
0
    ret = EVP_EncodeBlock(out, ctx->enc_data, ctx->num);
203
0
    out[ret++] = '\n';
204
0
    out[ret] = '\0';
205
0
    ctx->num = 0;
206
0
  }
207
0
  *outl = ret;
208
0
}
209
210
int
211
EVP_EncodeBlock(unsigned char *t, const unsigned char *f, int dlen)
212
0
{
213
0
  int i, ret = 0;
214
0
  unsigned long l;
215
216
0
  for (i = dlen; i > 0; i -= 3) {
217
0
    if (i >= 3) {
218
0
      l = (((unsigned long)f[0]) << 16L) |
219
0
          (((unsigned long)f[1]) << 8L) | f[2];
220
0
      *(t++) = conv_bin2ascii(l >> 18L);
221
0
      *(t++) = conv_bin2ascii(l >> 12L);
222
0
      *(t++) = conv_bin2ascii(l >> 6L);
223
0
      *(t++) = conv_bin2ascii(l     );
224
0
    } else {
225
0
      l = ((unsigned long)f[0]) << 16L;
226
0
      if (i == 2)
227
0
        l |= ((unsigned long)f[1] << 8L);
228
229
0
      *(t++) = conv_bin2ascii(l >> 18L);
230
0
      *(t++) = conv_bin2ascii(l >> 12L);
231
0
      *(t++) = (i == 1) ? '=' : conv_bin2ascii(l >> 6L);
232
0
      *(t++) = '=';
233
0
    }
234
0
    ret += 4;
235
0
    f += 3;
236
0
  }
237
238
0
  *t = '\0';
239
0
  return (ret);
240
0
}
241
242
void
243
EVP_DecodeInit(EVP_ENCODE_CTX *ctx)
244
12.1k
{
245
12.1k
  ctx->num = 0;
246
12.1k
  ctx->length = 0;
247
12.1k
  ctx->line_num = 0;
248
12.1k
  ctx->expect_nl = 0;
249
12.1k
}
250
251
int
252
EVP_DecodeUpdate(EVP_ENCODE_CTX *ctx, unsigned char *out, int *outl,
253
    const unsigned char *in, int inl)
254
12.1k
{
255
12.1k
  int seof = 0, eof = 0, rv = -1, ret = 0, i, v, tmp, n, decoded_len;
256
12.1k
  unsigned char *d;
257
258
12.1k
  n = ctx->num;
259
12.1k
  d = ctx->enc_data;
260
261
12.1k
  if (n > 0 && d[n - 1] == '=') {
262
0
    eof++;
263
0
    if (n > 1 && d[n - 2] == '=')
264
0
      eof++;
265
0
  }
266
267
  /* Legacy behaviour: an empty input chunk signals end of input. */
268
12.1k
  if (inl == 0) {
269
0
    rv = 0;
270
0
    goto end;
271
0
  }
272
273
3.96M
  for (i = 0; i < inl; i++) {
274
3.95M
    tmp = *(in++);
275
3.95M
    v = conv_ascii2bin(tmp);
276
3.95M
    if (v == B64_ERROR) {
277
0
      rv = -1;
278
0
      goto end;
279
0
    }
280
281
3.95M
    if (tmp == '=') {
282
24.3k
      eof++;
283
3.93M
    } else if (eof > 0 && B64_BASE64(v)) {
284
      /* More data after padding. */
285
0
      rv = -1;
286
0
      goto end;
287
0
    }
288
289
3.95M
    if (eof > 2) {
290
0
      rv = -1;
291
0
      goto end;
292
0
    }
293
294
3.95M
    if (v == B64_EOF) {
295
0
      seof = 1;
296
0
      goto tail;
297
0
    }
298
299
    /* Only save valid base64 characters. */
300
3.95M
    if (B64_BASE64(v)) {
301
3.88M
      if (n >= 64) {
302
        /*
303
         * We increment n once per loop, and empty the
304
         * buffer as soon as we reach 64 characters, so
305
         * this can only happen if someone's manually
306
         * messed with the ctx. Refuse to write any
307
         * more data.
308
         */
309
0
        rv = -1;
310
0
        goto end;
311
0
      }
312
3.88M
      OPENSSL_assert(n < (int)sizeof(ctx->enc_data));
313
3.88M
      d[n++] = tmp;
314
3.88M
    }
315
316
3.95M
    if (n == 64) {
317
54.6k
      decoded_len = EVP_DecodeBlock(out, d, n);
318
54.6k
      n = 0;
319
54.6k
      if (decoded_len < 0 || eof > decoded_len) {
320
0
        rv = -1;
321
0
        goto end;
322
0
      }
323
54.6k
      ret += decoded_len - eof;
324
54.6k
      out += decoded_len - eof;
325
54.6k
    }
326
3.95M
  }
327
328
  /*
329
   * Legacy behaviour: if the current line is a full base64-block (i.e.,
330
   * has 0 mod 4 base64 characters), it is processed immediately. We keep
331
   * this behaviour as applications may not be calling EVP_DecodeFinal
332
   * properly.
333
   */
334
12.1k
 tail:
335
12.1k
  if (n > 0) {
336
12.1k
    if ((n & 3) == 0) {
337
12.1k
      decoded_len = EVP_DecodeBlock(out, d, n);
338
12.1k
      n = 0;
339
12.1k
      if (decoded_len < 0 || eof > decoded_len) {
340
0
        rv = -1;
341
0
        goto end;
342
0
      }
343
12.1k
      ret += (decoded_len - eof);
344
12.1k
    } else if (seof) {
345
      /* EOF in the middle of a base64 block. */
346
0
      rv = -1;
347
0
      goto end;
348
0
    }
349
12.1k
  }
350
351
12.1k
  rv = seof || (n == 0 && eof) ? 0 : 1;
352
12.1k
 end:
353
  /* Legacy behaviour. This should probably rather be zeroed on error. */
354
12.1k
  *outl = ret;
355
12.1k
  ctx->num = n;
356
12.1k
  return (rv);
357
12.1k
}
358
359
int
360
EVP_DecodeBlock(unsigned char *t, const unsigned char *f, int n)
361
66.8k
{
362
66.8k
  int i, ret = 0, a, b, c, d;
363
66.8k
  unsigned long l;
364
365
  /* trim white space from the start of the line. */
366
66.8k
  while ((conv_ascii2bin(*f) == B64_WS) && (n > 0)) {
367
0
    f++;
368
0
    n--;
369
0
  }
370
371
  /* strip off stuff at the end of the line
372
   * ascii2bin values B64_WS, B64_EOLN, B64_EOLN and B64_EOF */
373
66.8k
  while ((n > 3) && (B64_NOT_BASE64(conv_ascii2bin(f[n - 1]))))
374
0
    n--;
375
376
66.8k
  if (n % 4 != 0)
377
0
    return (-1);
378
379
1.03M
  for (i = 0; i < n; i += 4) {
380
972k
    a = conv_ascii2bin(*(f++));
381
972k
    b = conv_ascii2bin(*(f++));
382
972k
    c = conv_ascii2bin(*(f++));
383
972k
    d = conv_ascii2bin(*(f++));
384
972k
    if ((a & 0x80) || (b & 0x80) ||
385
972k
        (c & 0x80) || (d & 0x80))
386
0
      return (-1);
387
972k
    l = ((((unsigned long)a) << 18L) |
388
972k
        (((unsigned long)b) << 12L) |
389
972k
        (((unsigned long)c) << 6L) |
390
972k
        (((unsigned long)d)));
391
972k
    *(t++) = (unsigned char)(l >> 16L) & 0xff;
392
972k
    *(t++) = (unsigned char)(l >> 8L) & 0xff;
393
972k
    *(t++) = (unsigned char)(l) & 0xff;
394
972k
    ret += 3;
395
972k
  }
396
66.8k
  return (ret);
397
66.8k
}
398
399
int
400
EVP_DecodeFinal(EVP_ENCODE_CTX *ctx, unsigned char *out, int *outl)
401
12.1k
{
402
12.1k
  int i;
403
404
12.1k
  *outl = 0;
405
12.1k
  if (ctx->num != 0) {
406
0
    i = EVP_DecodeBlock(out, ctx->enc_data, ctx->num);
407
0
    if (i < 0)
408
0
      return (-1);
409
0
    ctx->num = 0;
410
0
    *outl = i;
411
0
    return (1);
412
0
  } else
413
12.1k
    return (1);
414
12.1k
}