Coverage Report

Created: 2026-06-10 06:37

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/xpdf-4.06/xpdf/Lexer.cc
Line
Count
Source
1
//========================================================================
2
//
3
// Lexer.cc
4
//
5
// Copyright 1996-2003 Glyph & Cog, LLC
6
//
7
//========================================================================
8
9
#include <aconf.h>
10
11
#include <stdlib.h>
12
#include <stddef.h>
13
#include <string.h>
14
#include <ctype.h>
15
#include "gmempp.h"
16
#include "Lexer.h"
17
#include "Error.h"
18
19
//------------------------------------------------------------------------
20
21
// A '1' in this array means the character is white space.  A '1' or
22
// '2' means the character ends a name or command.
23
static char specialChars[256] = {
24
  1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0,   // 0x
25
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,   // 1x
26
  1, 0, 0, 0, 0, 2, 0, 0, 2, 2, 0, 0, 0, 0, 0, 2,   // 2x
27
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0,   // 3x
28
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,   // 4x
29
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0,   // 5x
30
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,   // 6x
31
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0,   // 7x
32
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,   // 8x
33
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,   // 9x
34
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,   // ax
35
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,   // bx
36
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,   // cx
37
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,   // dx
38
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,   // ex
39
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0    // fx
40
};
41
42
//------------------------------------------------------------------------
43
// Lexer
44
//------------------------------------------------------------------------
45
46
394k
Lexer::Lexer(XRef *xref, Stream *str) {
47
394k
  Object obj;
48
49
394k
  curStr.initStream(str);
50
394k
  streams = new Array(xref);
51
394k
  streams->add(curStr.copy(&obj));
52
394k
  strPtr = 0;
53
394k
  freeArray = gTrue;
54
394k
  curStr.streamReset();
55
394k
}
56
57
0
Lexer::Lexer(XRef *xref, Object *obj) {
58
0
  Object obj2;
59
60
0
  if (obj->isStream()) {
61
0
    streams = new Array(xref);
62
0
    freeArray = gTrue;
63
0
    streams->add(obj->copy(&obj2));
64
0
  } else {
65
0
    streams = obj->getArray();
66
0
    freeArray = gFalse;
67
0
  }
68
0
  strPtr = 0;
69
0
  if (streams->getLength() > 0) {
70
0
    streams->get(strPtr, &curStr);
71
0
    curStr.streamReset();
72
0
  }
73
0
}
74
75
394k
Lexer::~Lexer() {
76
394k
  if (!curStr.isNone()) {
77
121k
    curStr.streamClose();
78
121k
    curStr.free();
79
121k
  }
80
394k
  if (freeArray) {
81
394k
    delete streams;
82
394k
  }
83
394k
}
84
85
2.01G
int Lexer::getChar() {
86
2.01G
  int c;
87
88
2.01G
  c = EOF;
89
2.01G
  while (!curStr.isNone() && (c = curStr.streamGetChar()) == EOF) {
90
272k
    curStr.streamClose();
91
272k
    curStr.free();
92
272k
    ++strPtr;
93
272k
    if (strPtr < streams->getLength()) {
94
0
      streams->get(strPtr, &curStr);
95
0
      curStr.streamReset();
96
0
    }
97
272k
  }
98
2.01G
  return c;
99
2.01G
}
100
101
293M
int Lexer::lookChar() {
102
293M
  if (curStr.isNone()) {
103
2.71k
    return EOF;
104
2.71k
  }
105
293M
  return curStr.streamLookChar();
106
293M
}
107
108
184M
Object *Lexer::getObj(Object *obj) {
109
184M
  char *p;
110
184M
  int c, c2;
111
184M
  GBool comment, neg, doubleMinus, done, invalid;
112
184M
  int numParen, nErrors;
113
184M
  int xi;
114
184M
  double xf, scale;
115
184M
  GString *s;
116
184M
  int n, m;
117
118
  // skip whitespace and comments
119
184M
  comment = gFalse;
120
1.07G
  while (1) {
121
1.07G
    if ((c = getChar()) == EOF) {
122
137M
      return obj->initEOF();
123
137M
    }
124
939M
    if (comment) {
125
19.0M
      if (c == '\r' || c == '\n')
126
313k
  comment = gFalse;
127
920M
    } else if (c == '%') {
128
316k
      comment = gTrue;
129
919M
    } else if (specialChars[c] != 1) {
130
46.7M
      break;
131
46.7M
    }
132
939M
  }
133
134
  // start reading token
135
46.7M
  switch (c) {
136
137
  // number
138
5.08M
  case '0': case '1': case '2': case '3': case '4':
139
6.68M
  case '5': case '6': case '7': case '8': case '9':
140
7.20M
  case '+': case '-': case '.':
141
    // Adobe's number lexer has some "interesting" behavior:
142
    // "--123" is interpreted as 0
143
    // "--123.4" is interpreted as -123.4 [I've seen this in the wild]
144
    // "50-100" is interpreted as 50 [I've seen this in the wild]
145
    // "50--100" is interpreted as 50
146
    // "50-100.0" is an error -- but older versions of Acrobat may
147
    //   have interpreted it as 50100.0 (?)
148
    // "50--100.0" is an error -- but older versions of Acrobat may
149
    //   have interpreted it as 50100.0 (?)
150
    // "50.0-100" is interpreted as 50.0 (or maybe 50.0100?)
151
    // "50.0--100" is interpreted as 50.0 (or maybe 50.0100?)
152
    // "-50-100" is interpreted as -50
153
    // "-" is interpreted as 0
154
    // "-." is interpreted as 0.0
155
7.20M
    neg = gFalse;
156
7.20M
    doubleMinus = gFalse;
157
7.20M
    xf = xi = 0;
158
7.20M
    if (c == '+') {
159
      // just ignore it
160
7.16M
    } else if (c == '-') {
161
266k
      neg = gTrue;
162
266k
      if (lookChar() == '-') {
163
11.7k
  doubleMinus = gTrue;
164
19.0k
  do {
165
19.0k
    getChar();
166
19.0k
  } while (lookChar() == '-');
167
11.7k
      }
168
6.89M
    } else if (c == '.') {
169
213k
      goto doReal;
170
6.68M
    } else {
171
6.68M
      xf = xi = c - '0';
172
6.68M
    }
173
14.8M
    while (1) {
174
14.8M
      c = lookChar();
175
14.8M
      if (isdigit(c)) {
176
7.88M
  getChar();
177
7.88M
  xi = xi * 10 + (c - '0');
178
7.88M
  if (xf < 1e20) {
179
7.45M
    xf = xf * 10 + (c - '0');
180
7.45M
  }
181
7.88M
      } else if (c == '.') {
182
362k
  getChar();
183
362k
  goto doReal;
184
6.62M
      } else {
185
6.62M
  break;
186
6.62M
      }
187
14.8M
    }
188
6.64M
    while ((c = lookChar()) == '-' || isdigit(c)) {
189
13.6k
      getChar();
190
13.6k
    }
191
6.62M
    if (neg) {
192
261k
      xi = -xi;
193
261k
    }
194
6.62M
    if (doubleMinus) {
195
11.4k
      xi = 0;
196
11.4k
    }
197
6.62M
    obj->initInt(xi);
198
6.62M
    break;
199
576k
  doReal:
200
576k
    scale = 0.1;
201
1.14M
    while (1) {
202
1.14M
      c = lookChar();
203
1.14M
      if (c == '-') {
204
22.4k
  error(errSyntaxWarning, getPos(), "Badly formatted number");
205
22.4k
  getChar();
206
22.4k
  continue;
207
22.4k
      }
208
1.12M
      if (!isdigit(c)) {
209
576k
  break;
210
576k
      }
211
544k
      getChar();
212
544k
      xf = xf + scale * (c - '0');
213
544k
      scale *= 0.1;
214
544k
    }
215
576k
    while ((c = lookChar()) == '-' || isdigit(c)) {
216
0
      getChar();
217
0
    }
218
576k
    if (neg) {
219
5.42k
      xf = -xf;
220
5.42k
    }
221
576k
    obj->initReal(xf);
222
576k
    break;
223
224
  // string
225
203k
  case '(':
226
203k
    p = tokBuf;
227
203k
    n = 0;
228
203k
    numParen = 1;
229
203k
    done = gFalse;
230
203k
    s = NULL;
231
631M
    do {
232
631M
      c2 = EOF;
233
631M
      switch (c = getChar()) {
234
235
11.7k
      case EOF:
236
11.7k
  error(errSyntaxError, getPos(), "Unterminated string");
237
11.7k
  done = gTrue;
238
11.7k
  break;
239
240
2.63M
      case '(':
241
2.63M
  ++numParen;
242
2.63M
  c2 = c;
243
2.63M
  break;
244
245
1.59M
      case ')':
246
1.59M
  if (--numParen == 0) {
247
191k
    done = gTrue;
248
1.40M
  } else {
249
1.40M
    c2 = c;
250
1.40M
  }
251
1.59M
  break;
252
253
6.06M
      case '\r':
254
  // The PDF spec says that any literal end-of-line sequence
255
  // (LF, CR, CR+LF) is translated to a single LF char.
256
6.06M
  c = lookChar();
257
6.06M
  if (c == '\n') {
258
123k
    getChar();
259
123k
  }
260
6.06M
  c2 = '\n';
261
6.06M
  break;
262
263
1.02M
      case '\\':
264
1.02M
  switch (c = getChar()) {
265
5.78k
  case 'n':
266
5.78k
    c2 = '\n';
267
5.78k
    break;
268
16.7k
  case 'r':
269
16.7k
    c2 = '\r';
270
16.7k
    break;
271
25.1k
  case 't':
272
25.1k
    c2 = '\t';
273
25.1k
    break;
274
7.11k
  case 'b':
275
7.11k
    c2 = '\b';
276
7.11k
    break;
277
5.20k
  case 'f':
278
5.20k
    c2 = '\f';
279
5.20k
    break;
280
4.60k
  case '\\':
281
15.4k
  case '(':
282
26.7k
  case ')':
283
26.7k
    c2 = c;
284
26.7k
    break;
285
19.0k
  case '0': case '1': case '2': case '3':
286
52.3k
  case '4': case '5': case '6': case '7':
287
52.3k
    c2 = c - '0';
288
52.3k
    c = lookChar();
289
52.3k
    if (c >= '0' && c <= '7') {
290
7.80k
      getChar();
291
7.80k
      c2 = (c2 << 3) + (c - '0');
292
7.80k
      c = lookChar();
293
7.80k
      if (c >= '0' && c <= '7') {
294
762
        getChar();
295
762
        c2 = (c2 << 3) + (c - '0');
296
762
      }
297
7.80k
    }
298
52.3k
    break;
299
4.95k
  case '\r':
300
4.95k
    c = lookChar();
301
4.95k
    if (c == '\n') {
302
1.15k
      getChar();
303
1.15k
    }
304
4.95k
    break;
305
10.5k
  case '\n':
306
10.5k
    break;
307
339
  case EOF:
308
339
    error(errSyntaxError, getPos(), "Unterminated string");
309
339
    done = gTrue;
310
339
    break;
311
867k
  default:
312
867k
    c2 = c;
313
867k
    break;
314
1.02M
  }
315
1.02M
  break;
316
317
620M
      default:
318
620M
  c2 = c;
319
620M
  break;
320
631M
      }
321
322
631M
      if (c2 != EOF) {
323
631M
  if (n == tokBufSize) {
324
4.86M
    if (!s)
325
68.6k
      s = new GString(tokBuf, tokBufSize);
326
4.79M
    else
327
4.79M
      s->append(tokBuf, tokBufSize);
328
4.86M
    p = tokBuf;
329
4.86M
    n = 0;
330
4.86M
  }
331
631M
  *p++ = (char)c2;
332
631M
  ++n;
333
631M
      }
334
631M
    } while (!done);
335
203k
    if (!s)
336
134k
      s = new GString(tokBuf, n);
337
68.6k
    else
338
68.6k
      s->append(tokBuf, n);
339
203k
    obj->initString(s);
340
203k
    break;
341
342
  // name
343
6.74M
  case '/':
344
6.74M
    p = tokBuf;
345
6.74M
    n = 0;
346
6.74M
    s = NULL;
347
6.74M
    invalid = gFalse;
348
28.9M
    while ((c = lookChar()) != EOF && !specialChars[c]) {
349
22.1M
      getChar();
350
22.1M
      if (c == '#') {
351
824k
  c2 = lookChar();
352
824k
  if (c2 >= '0' && c2 <= '9') {
353
1.91k
    c = c2 - '0';
354
822k
  } else if (c2 >= 'A' && c2 <= 'F') {
355
47.0k
    c = c2 - 'A' + 10;
356
775k
  } else if (c2 >= 'a' && c2 <= 'f') {
357
98.8k
    c = c2 - 'a' + 10;
358
676k
  } else {
359
676k
    error(errSyntaxError, getPos(), "Invalid hex escape in name");
360
676k
    goto notEscChar;
361
676k
  }
362
147k
  getChar();
363
147k
  c2 = lookChar();
364
147k
  if (c2 >= '0' && c2 <= '9') {
365
27.5k
    c = (c << 4) + (c2 - '0');
366
120k
  } else if (c2 >= 'A' && c2 <= 'F') {
367
46.6k
    c = (c << 4) + (c2 - 'A' + 10);
368
73.6k
  } else if (c2 >= 'a' && c2 <= 'f') {
369
764
    c = (c << 4) + (c2 - 'a' + 10);
370
72.8k
  } else {
371
72.8k
    error(errSyntaxError, getPos(), "Invalid hex escape in name");
372
72.8k
    goto notEscChar;
373
72.8k
  }
374
74.9k
  getChar();
375
74.9k
  if (c == 0) {
376
509
    invalid = gTrue;
377
509
  }
378
74.9k
      }
379
22.1M
     notEscChar:
380
      // the PDF spec claims that names are limited to 127 chars, but
381
      // Distiller 8 will produce longer names, and Acrobat 8 will
382
      // accept longer names
383
22.1M
      ++n;
384
22.1M
      if (n < tokBufSize) {
385
20.8M
  *p++ = (char)c;
386
20.8M
      } else if (n == tokBufSize) {
387
1.87k
  *p = (char)c;
388
1.87k
  s = new GString(tokBuf, n);
389
1.27M
      } else {
390
1.27M
  s->append((char)c);
391
1.27M
      }
392
22.1M
    }
393
6.74M
    if (invalid) {
394
509
      error(errSyntaxError, getPos(), "Null character in name");
395
509
      obj->initError();
396
509
      if (s) {
397
171
  delete s;
398
171
      }
399
6.74M
    } else if (n < tokBufSize) {
400
6.74M
      *p = '\0';
401
6.74M
      obj->initName(tokBuf);
402
6.74M
    } else {
403
1.70k
      obj->initName(s->getCString());
404
1.70k
      delete s;
405
1.70k
    }
406
6.74M
    break;
407
408
  // array punctuation
409
5.32M
  case '[':
410
5.86M
  case ']':
411
5.86M
    tokBuf[0] = (char)c;
412
5.86M
    tokBuf[1] = '\0';
413
5.86M
    obj->initCmd(tokBuf);
414
5.86M
    break;
415
416
  // hex string or dict punctuation
417
3.94M
  case '<':
418
3.94M
    c = lookChar();
419
420
    // dict punctuation
421
3.94M
    if (c == '<') {
422
3.20M
      getChar();
423
3.20M
      tokBuf[0] = tokBuf[1] = '<';
424
3.20M
      tokBuf[2] = '\0';
425
3.20M
      obj->initCmd(tokBuf);
426
427
    // hex string
428
3.20M
    } else {
429
746k
      p = tokBuf;
430
746k
      m = n = 0;
431
746k
      c2 = 0;
432
746k
      s = NULL;
433
746k
      nErrors = 0;
434
60.5M
      while (nErrors < 100) {
435
60.4M
  c = getChar();
436
60.4M
  if (c == '>') {
437
577k
    break;
438
59.8M
  } else if (c == EOF) {
439
3.22k
    error(errSyntaxError, getPos(), "Unterminated hex string");
440
3.22k
    break;
441
59.8M
  } else if (specialChars[c] != 1) {
442
46.2M
    c2 = c2 << 4;
443
46.2M
    if (c >= '0' && c <= '9') {
444
5.52M
      c2 += c - '0';
445
40.7M
    } else if (c >= 'A' && c <= 'F') {
446
777k
      c2 += c - 'A' + 10;
447
39.9M
    } else if (c >= 'a' && c <= 'f') {
448
6.27M
      c2 += c - 'a' + 10;
449
33.6M
    } else {
450
33.6M
      error(errSyntaxError, getPos(),
451
33.6M
      "Illegal character <{0:02x}> in hex string", c);
452
33.6M
      ++nErrors;
453
33.6M
    }
454
46.2M
    if (++m == 2) {
455
22.9M
      if (n == tokBufSize) {
456
4.28k
        if (!s)
457
2.20k
    s = new GString(tokBuf, tokBufSize);
458
2.08k
        else
459
2.08k
    s->append(tokBuf, tokBufSize);
460
4.28k
        p = tokBuf;
461
4.28k
        n = 0;
462
4.28k
      }
463
22.9M
      *p++ = (char)c2;
464
22.9M
      ++n;
465
22.9M
      c2 = 0;
466
22.9M
      m = 0;
467
22.9M
    }
468
46.2M
  }
469
60.4M
      }
470
746k
      if (!s)
471
744k
  s = new GString(tokBuf, n);
472
2.20k
      else
473
2.20k
  s->append(tokBuf, n);
474
746k
      if (m == 1)
475
336k
  s->append((char)(c2 << 4));
476
746k
      obj->initString(s);
477
746k
    }
478
3.94M
    break;
479
480
  // dict punctuation
481
2.97M
  case '>':
482
2.97M
    c = lookChar();
483
2.97M
    if (c == '>') {
484
1.86M
      getChar();
485
1.86M
      tokBuf[0] = tokBuf[1] = '>';
486
1.86M
      tokBuf[2] = '\0';
487
1.86M
      obj->initCmd(tokBuf);
488
1.86M
    } else {
489
1.10M
      error(errSyntaxError, getPos(), "Illegal character '>'");
490
1.10M
      obj->initError();
491
1.10M
    }
492
2.97M
    break;
493
494
  // error
495
883k
  case ')':
496
1.08M
  case '{':
497
1.22M
  case '}':
498
1.22M
    error(errSyntaxError, getPos(), "Illegal character '{0:c}'", c);
499
1.22M
    obj->initError();
500
1.22M
    break;
501
502
  // command
503
18.6M
  default:
504
18.6M
    p = tokBuf;
505
18.6M
    *p++ = (char)c;
506
18.6M
    n = 1;
507
226M
    while ((c = lookChar()) != EOF && !specialChars[c]) {
508
208M
      getChar();
509
208M
      if (++n == tokBufSize) {
510
952k
  error(errSyntaxError, getPos(), "Command token too long");
511
952k
  break;
512
952k
      }
513
207M
      *p++ = (char)c;
514
207M
    }
515
18.6M
    *p = '\0';
516
18.6M
    if (tokBuf[0] == 't' && !strcmp(tokBuf, "true")) {
517
68.8k
      obj->initBool(gTrue);
518
18.5M
    } else if (tokBuf[0] == 'f' && !strcmp(tokBuf, "false")) {
519
2.18k
      obj->initBool(gFalse);
520
18.5M
    } else if (tokBuf[0] == 'n' && !strcmp(tokBuf, "null")) {
521
1.61k
      obj->initNull();
522
18.5M
    } else {
523
18.5M
      obj->initCmd(tokBuf);
524
18.5M
    }
525
18.6M
    break;
526
46.7M
  }
527
528
46.7M
  return obj;
529
46.7M
}
530
531
106k
void Lexer::skipToNextLine() {
532
106k
  int c;
533
534
465k
  while (1) {
535
465k
    c = getChar();
536
465k
    if (c == EOF || c == '\n') {
537
39.3k
      return;
538
39.3k
    }
539
426k
    if (c == '\r') {
540
67.4k
      if ((c = lookChar()) == '\n') {
541
60.0k
  getChar();
542
60.0k
      }
543
67.4k
      return;
544
67.4k
    }
545
426k
  }
546
106k
}
547
548
32.8k
void Lexer::skipToEOF() {
549
2.12M
  while (getChar() != EOF) ;
550
32.8k
}
551
552
49.7M
GBool Lexer::isSpace(int c) {
553
49.7M
  return c >= 0 && c <= 0xff && specialChars[c] == 1;
554
49.7M
}