Coverage Report

Created: 2026-10-08 07:05

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/gnupg/common/tlv.c
Line
Count
Source
1
/* tlv.c - Tag-Length-Value Utilities
2
 *  Copyright (C) 2003, 2004, 2005 Free Software Foundation, Inc.
3
 *
4
 * This file is part of GnuPG.
5
 *
6
 * This file is free software; you can redistribute it and/or modify
7
 * it under the terms of either
8
 *
9
 *   - the GNU Lesser General Public License as published by the Free
10
 *     Software Foundation; either version 3 of the License, or (at
11
 *     your option) any later version.
12
 *
13
 * or
14
 *
15
 *   - the GNU General Public License as published by the Free
16
 *     Software Foundation; either version 2 of the License, or (at
17
 *     your option) any later version.
18
 *
19
 * or both in parallel, as here.
20
 *
21
 * This file is distributed in the hope that it will be useful,
22
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
23
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
24
 * GNU General Public License for more details.
25
 *
26
 * You should have received a copy of the GNU General Public License
27
 * along with this program; if not, see <https://www.gnu.org/licenses/>.
28
 */
29
30
#include <config.h>
31
32
#include <stdio.h>
33
#include <stdlib.h>
34
#include <string.h>
35
#include <gpg-error.h>
36
37
38
#include "util.h"
39
#include "tlv.h"
40
41
42
static const unsigned char *
43
do_find_tlv (const unsigned char *buffer, size_t length,
44
             int tag, size_t *nbytes, int nestlevel)
45
0
{
46
0
  const unsigned char *s = buffer;
47
0
  size_t n = length;
48
0
  size_t len;
49
0
  int this_tag;
50
0
  int composite;
51
52
0
  for (;;)
53
0
    {
54
0
      if (n < 2)
55
0
        return NULL; /* Buffer definitely too short for tag and length. */
56
0
      if (!*s || *s == 0xff)
57
0
        { /* Skip optional filler between TLV objects. */
58
0
          s++;
59
0
          n--;
60
0
          continue;
61
0
        }
62
0
      composite = !!(*s & 0x20);
63
0
      if ((*s & 0x1f) == 0x1f)
64
0
        { /* more tag bytes to follow */
65
0
          s++;
66
0
          n--;
67
0
          if (n < 2)
68
0
            return NULL; /* buffer definitely too short for tag and length. */
69
0
          if ((*s & 0x1f) == 0x1f)
70
0
            return NULL; /* We support only up to 2 bytes. */
71
0
          this_tag = (s[-1] << 8) | (s[0] & 0x7f);
72
0
        }
73
0
      else
74
0
        this_tag = s[0];
75
0
      len = s[1];
76
0
      s += 2; n -= 2;
77
0
      if (len < 0x80)
78
0
        ;
79
0
      else if (len == 0x81)
80
0
        { /* One byte length follows. */
81
0
          if (!n)
82
0
            return NULL; /* we expected 1 more bytes with the length. */
83
0
          len = s[0];
84
0
          s++; n--;
85
0
        }
86
0
      else if (len == 0x82)
87
0
        { /* Two byte length follows. */
88
0
          if (n < 2)
89
0
            return NULL; /* We expected 2 more bytes with the length. */
90
0
          len = ((size_t)s[0] << 8) | s[1];
91
0
          s += 2; n -= 2;
92
0
        }
93
0
      else
94
0
        return NULL; /* APDU limit is 65535, thus it does not make
95
                        sense to assume longer length fields. */
96
97
0
      if (composite && nestlevel < 100)
98
0
        { /* Dive into this composite DO after checking for a too deep
99
             nesting. */
100
0
          const unsigned char *tmp_s;
101
0
          size_t tmp_len;
102
0
          size_t len_composite = len; /* Length for this composite DO.  */
103
104
          /* It should have upper bound to N.  */
105
0
          if (len > n)
106
0
            len_composite = n;
107
108
0
          tmp_s = do_find_tlv (s, len_composite, tag, &tmp_len, nestlevel+1);
109
0
          if (tmp_s)
110
0
            {
111
0
              *nbytes = tmp_len;
112
0
              return tmp_s;
113
0
            }
114
0
        }
115
116
0
      if (this_tag == tag)
117
0
        {
118
0
          *nbytes = len;
119
0
          return s;
120
0
        }
121
0
      if (len > n)
122
0
        return NULL; /* Buffer too short to skip to the next tag. */
123
0
      s += len; n -= len;
124
0
    }
125
0
}
126
127
128
/* Locate a TLV encoded data object in BUFFER of LENGTH and
129
   return a pointer to value as well as its length in NBYTES.  Return
130
   NULL if it was not found or if the object does not fit into the buffer. */
131
const unsigned char *
132
find_tlv (const unsigned char *buffer, size_t length,
133
          int tag, size_t *nbytes)
134
0
{
135
0
  const unsigned char *p;
136
137
0
  p = do_find_tlv (buffer, length, tag, nbytes, 0);
138
0
  if (p && *nbytes > (length - (p-buffer)))
139
0
    p = NULL; /* Object longer than buffer. */
140
0
  return p;
141
0
}
142
143
144
145
/* Locate a TLV encoded data object in BUFFER of LENGTH and
146
   return a pointer to value as well as its length in NBYTES.  Return
147
   NULL if it was not found.  Note, that the function does not check
148
   whether the value fits into the provided buffer. */
149
const unsigned char *
150
find_tlv_unchecked (const unsigned char *buffer, size_t length,
151
                    int tag, size_t *nbytes)
152
0
{
153
0
  return do_find_tlv (buffer, length, tag, nbytes, 0);
154
0
}
155
156
157
/* ASN.1 BER parser: Parse BUFFER of length SIZE and return the tag
158
 * and the length part from the TLV triplet.  Update BUFFER and SIZE
159
 * on success.  Note that this function does not check that the value
160
 * fits into the provided buffer; this allows one to work on the TL part
161
 * of a TLV. */
162
gpg_error_t
163
parse_ber_header (unsigned char const **buffer, size_t *size,
164
                  int *r_class, int *r_tag,
165
                  int *r_constructed, int *r_ndef,
166
                  size_t *r_length, size_t *r_nhdr)
167
0
{
168
0
  int c;
169
0
  unsigned long tag;
170
0
  const unsigned char *buf = *buffer;
171
0
  size_t length = *size;
172
173
0
  *r_ndef = 0;
174
0
  *r_length = 0;
175
0
  *r_nhdr = 0;
176
177
  /* Get the tag. */
178
0
  if (!length)
179
0
    return gpg_err_make (default_errsource, GPG_ERR_EOF);
180
0
  c = *buf++; length--; ++*r_nhdr;
181
182
0
  *r_class = (c & 0xc0) >> 6;
183
0
  *r_constructed = !!(c & 0x20);
184
0
  tag = c & 0x1f;
185
186
0
  if (tag == 0x1f)
187
0
    {
188
0
      tag = 0;
189
0
      do
190
0
        {
191
0
          tag <<= 7;
192
0
          if (!length)
193
0
            return gpg_err_make (default_errsource, GPG_ERR_EOF);
194
0
          c = *buf++; length--; ++*r_nhdr;
195
0
          tag |= c & 0x7f;
196
197
0
        }
198
0
      while (c & 0x80);
199
0
    }
200
0
  *r_tag = tag;
201
202
  /* Get the length. */
203
0
  if (!length)
204
0
    return gpg_err_make (default_errsource, GPG_ERR_EOF);
205
0
  c = *buf++; length--; ++*r_nhdr;
206
207
0
  if ( !(c & 0x80) )
208
0
    *r_length = c;
209
0
  else if (c == 0x80)
210
0
    *r_ndef = 1;
211
0
  else if (c == 0xff)
212
0
    return gpg_err_make (default_errsource, GPG_ERR_BAD_BER);
213
0
  else
214
0
    {
215
0
      unsigned long len = 0;
216
0
      int count = (c & 0x7f);
217
218
0
      if (count > (sizeof(len)<sizeof(size_t)?sizeof(len):sizeof(size_t)))
219
0
        return gpg_err_make (default_errsource, GPG_ERR_BAD_BER);
220
221
0
      for (; count; count--)
222
0
        {
223
0
          len <<= 8;
224
0
          if (!length)
225
0
            return gpg_err_make (default_errsource, GPG_ERR_EOF);
226
0
          c = *buf++; length--; ++*r_nhdr;
227
0
          len |= c & 0xff;
228
0
        }
229
0
      *r_length = len;
230
0
    }
231
232
0
  if (*r_length > *r_nhdr && (*r_nhdr + *r_length) < *r_length)
233
0
    {
234
0
      return gpg_err_make (default_errsource, GPG_ERR_EOVERFLOW);
235
0
    }
236
237
  /* Without this kludge some example certs can't be parsed. */
238
0
  if (*r_class == CLASS_UNIVERSAL && !*r_tag)
239
0
    *r_length = 0;
240
241
0
  *buffer = buf;
242
0
  *size = length;
243
0
  return 0;
244
0
}
245
246
247
/* FIXME: The following function should not go into this file but for
248
   now it is easier to keep it here. */
249
250
/* Return the next token of an canonical encoded S-expression.  BUF
251
   is the pointer to the S-expression and BUFLEN is a pointer to the
252
   length of this S-expression (used to validate the syntax).  Both
253
   are updated to reflect the new position.  The token itself is
254
   returned as a pointer into the original buffer at TOK and TOKLEN.
255
   If a parentheses is the next token, TOK will be set to NULL.
256
   TOKLEN is checked to be within the bounds.  On error an error code
257
   is returned and pointers are not guaranteed to point to
258
   meaningful values.  DEPTH should be initialized to 0 and will
259
   reflect on return the actual depth of the tree. To detect the end
260
   of the S-expression it is advisable to check DEPTH after a
261
   successful return.
262
263
   depth = 0;
264
   while (!(err = parse_sexp (&buf, &buflen, &depth, &tok, &toklen))
265
          && depth)
266
     process_token (tok, toklen);
267
   if (err)
268
     handle_error ();
269
 */
270
gpg_error_t
271
parse_sexp (unsigned char const **buf, size_t *buflen,
272
            int *depth, unsigned char const **tok, size_t *toklen)
273
0
{
274
0
  const unsigned char *s;
275
0
  size_t n, vlen;
276
277
0
  s = *buf;
278
0
  n = *buflen;
279
0
  *tok = NULL;
280
0
  *toklen = 0;
281
0
  if (!n)
282
0
    return *depth ? gpg_err_make (default_errsource, GPG_ERR_INV_SEXP) : 0;
283
0
  if (*s == '(')
284
0
    {
285
0
      s++; n--;
286
0
      (*depth)++;
287
0
      *buf = s;
288
0
      *buflen = n;
289
0
      return 0;
290
0
    }
291
0
  if (*s == ')')
292
0
    {
293
0
      if (!*depth)
294
0
        return gpg_err_make (default_errsource, GPG_ERR_INV_SEXP);
295
0
      *toklen = 1;
296
0
      s++; n--;
297
0
      (*depth)--;
298
0
      *buf = s;
299
0
      *buflen = n;
300
0
      return 0;
301
0
    }
302
0
  for (vlen=0; n && *s && *s != ':' && (*s >= '0' && *s <= '9'); s++, n--)
303
0
    vlen = vlen*10 + (*s - '0');
304
0
  if (!n || *s != ':')
305
0
    return gpg_err_make (default_errsource, GPG_ERR_INV_SEXP);
306
0
  s++; n--;
307
0
  if (vlen > n)
308
0
    return gpg_err_make (default_errsource, GPG_ERR_INV_SEXP);
309
0
  *tok = s;
310
0
  *toklen = vlen;
311
0
  s += vlen;
312
0
  n -= vlen;
313
0
  *buf = s;
314
0
  *buflen = n;
315
0
  return 0;
316
0
}