blob: de95e6dd1271a1764e6bbb92890f510e6e69b749 [file] [log] [blame]
//========================================================================
//
// Lexer.cc
//
// Copyright 1996-2003 Glyph & Cog, LLC
//
//========================================================================
//========================================================================
//
// Modified under the Poppler project - http://poppler.freedesktop.org
//
// All changes made under the Poppler project to this file are licensed
// under GPL version 2 or later
//
// Copyright (C) 2006-2010, 2012-2014, 2017, 2018 Albert Astals Cid <aacid@kde.org>
// Copyright (C) 2006 Krzysztof Kowalczyk <kkowalczyk@gmail.com>
// Copyright (C) 2010 Carlos Garcia Campos <carlosgc@gnome.org>
// Copyright (C) 2012, 2013 Adrian Johnson <ajohnson@redneon.com>
// Copyright (C) 2013 Thomas Freitag <Thomas.Freitag@alfa.de>
//
// To see a description of the changes please see the Changelog file that
// came with your tarball or type make ChangeLog if you are building from git
//
//========================================================================
#include <config.h>
#include <stdlib.h>
#include <stddef.h>
#include <string.h>
#include <limits.h>
#include <ctype.h>
#include "Lexer.h"
#include "Error.h"
#include "XRef.h"
//------------------------------------------------------------------------
// A '1' in this array means the character is white space. A '1' or
// '2' means the character ends a name or command.
static const char specialChars[256] = {
1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, // 0x
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // 1x
1, 0, 0, 0, 0, 2, 0, 0, 2, 2, 0, 0, 0, 0, 0, 2, // 2x
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, // 3x
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // 4x
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0, // 5x
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // 6x
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0, // 7x
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // 8x
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // 9x
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // ax
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // bx
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // cx
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // dx
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // ex
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 // fx
};
static const int IntegerSafeLimit = (INT_MAX - 9) / 10;
static const long long LongLongSafeLimit = (LLONG_MAX - 9) / 10;
//------------------------------------------------------------------------
// Lexer
//------------------------------------------------------------------------
Lexer::Lexer(XRef *xrefA, Stream *str) {
lookCharLastValueCached = LOOK_VALUE_NOT_CACHED;
xref = xrefA;
curStr = Object(str);
streams = new Array(xref);
streams->add(curStr.copy());
strPtr = 0;
freeArray = true;
curStr.streamReset();
}
Lexer::Lexer(XRef *xrefA, Object *obj) {
lookCharLastValueCached = LOOK_VALUE_NOT_CACHED;
xref = xrefA;
if (obj->isStream()) {
streams = new Array(xref);
freeArray = true;
streams->add(obj->copy());
} else {
streams = obj->getArray();
freeArray = false;
}
strPtr = 0;
if (streams->getLength() > 0) {
curStr = streams->get(strPtr);
if (curStr.isStream()) {
curStr.streamReset();
}
}
}
Lexer::~Lexer() {
if (curStr.isStream()) {
curStr.streamClose();
}
if (freeArray) {
delete streams;
}
}
int Lexer::getChar(bool comesFromLook) {
int c;
if (LOOK_VALUE_NOT_CACHED != lookCharLastValueCached) {
c = lookCharLastValueCached;
lookCharLastValueCached = LOOK_VALUE_NOT_CACHED;
return c;
}
c = EOF;
while (curStr.isStream() && (c = curStr.streamGetChar()) == EOF) {
if (comesFromLook == true) {
return EOF;
} else {
curStr.streamClose();
curStr = Object();
++strPtr;
if (strPtr < streams->getLength()) {
curStr = streams->get(strPtr);
if (curStr.isStream()) {
curStr.streamReset();
}
}
}
}
return c;
}
int Lexer::lookChar() {
if (LOOK_VALUE_NOT_CACHED != lookCharLastValueCached) {
return lookCharLastValueCached;
}
lookCharLastValueCached = getChar(true);
if (lookCharLastValueCached == EOF) {
lookCharLastValueCached = LOOK_VALUE_NOT_CACHED;
return EOF;
} else {
return lookCharLastValueCached;
}
}
Object Lexer::getObj(int objNum) {
char *p;
int c, c2;
bool comment, neg, done, overflownInteger, overflownLongLong;
int numParen;
int xi;
long long xll = 0;
double xf = 0, scale;
GooString *s;
int n, m;
// skip whitespace and comments
comment = false;
while (1) {
if ((c = getChar()) == EOF) {
return Object(objEOF);
}
if (comment) {
if (c == '\r' || c == '\n')
comment = false;
} else if (c == '%') {
comment = true;
} else if (specialChars[c] != 1) {
break;
}
}
// start reading token
switch (c) {
// number
case '0': case '1': case '2': case '3': case '4':
case '5': case '6': case '7': case '8': case '9':
case '+': case '-': case '.':
overflownInteger = false;
overflownLongLong = false;
neg = false;
xi = 0;
if (c == '-') {
neg = true;
} else if (c == '.') {
goto doReal;
} else if (c != '+') {
xi = c - '0';
}
while (1) {
c = lookChar();
if (isdigit(c)) {
getChar();
if (unlikely(overflownLongLong)) {
xf = xf * 10.0 + (c - '0');
} else if (unlikely (overflownInteger)) {
if (unlikely(xll > LongLongSafeLimit) &&
(xll > (LLONG_MAX - (c - '0')) / 10)) {
overflownLongLong = true;
xf = xll * 10.0 + (c - '0');
} else {
xll = xll * 10 + (c - '0');
}
} else {
if (unlikely(xi > IntegerSafeLimit) &&
(xi > (INT_MAX - (c - '0')) / 10.0)) {
overflownInteger = true;
xll = xi * 10LL + (c - '0');
} else {
xi = xi * 10 + (c - '0');
}
}
} else if (c == '.') {
getChar();
goto doReal;
} else {
break;
}
}
if (neg) {
xi = -xi;
xll = -xll;
xf = -xf;
}
if (unlikely(overflownInteger)) {
if (overflownLongLong) {
return Object(xf);
} else {
if (unlikely(xll == INT_MIN)) {
return Object(static_cast<int>(INT_MIN));
} else {
return Object(xll);
}
}
} else {
return Object(xi);
}
break;
doReal:
if (likely(!overflownInteger)) {
xf = xi;
} else if (!overflownLongLong) {
xf = xll;
}
scale = 0.1;
while (1) {
c = lookChar();
if (c == '-') {
// ignore minus signs in the middle of numbers to match
// Adobe's behavior
error(errSyntaxWarning, getPos(), "Badly formatted number");
getChar();
continue;
}
if (!isdigit(c)) {
break;
}
getChar();
xf = xf + scale * (c - '0');
scale *= 0.1;
}
if (neg) {
xf = -xf;
}
return Object(xf);
break;
// string
case '(':
p = tokBuf;
n = 0;
numParen = 1;
done = false;
s = nullptr;
do {
c2 = EOF;
switch (c = getChar()) {
case EOF:
#if 0
// This breaks some PDF files, e.g., ones from Photoshop.
case '\r':
case '\n':
#endif
error(errSyntaxError, getPos(), "Unterminated string");
done = true;
break;
case '(':
++numParen;
c2 = c;
break;
case ')':
if (--numParen == 0) {
done = true;
} else {
c2 = c;
}
break;
case '\\':
switch (c = getChar()) {
case 'n':
c2 = '\n';
break;
case 'r':
c2 = '\r';
break;
case 't':
c2 = '\t';
break;
case 'b':
c2 = '\b';
break;
case 'f':
c2 = '\f';
break;
case '\\':
case '(':
case ')':
c2 = c;
break;
case '0': case '1': case '2': case '3':
case '4': case '5': case '6': case '7':
c2 = c - '0';
c = lookChar();
if (c >= '0' && c <= '7') {
getChar();
c2 = (c2 << 3) + (c - '0');
c = lookChar();
if (c >= '0' && c <= '7') {
getChar();
c2 = (c2 << 3) + (c - '0');
}
}
break;
case '\r':
c = lookChar();
if (c == '\n') {
getChar();
}
break;
case '\n':
break;
case EOF:
error(errSyntaxError, getPos(), "Unterminated string");
done = true;
break;
default:
c2 = c;
break;
}
break;
default:
c2 = c;
break;
}
if (c2 != EOF) {
if (n == tokBufSize) {
if (!s)
s = new GooString(tokBuf, tokBufSize);
else
s->append(tokBuf, tokBufSize);
p = tokBuf;
n = 0;
// we are growing see if the document is not malformed and we are growing too much
if (objNum > 0 && xref != nullptr)
{
int newObjNum = xref->getNumEntry(curStr.streamGetPos());
if (newObjNum != objNum)
{
error(errSyntaxError, getPos(), "Unterminated string");
done = true;
delete s;
n = -2;
}
}
}
*p++ = (char)c2;
++n;
}
} while (!done);
if (n >= 0) {
if (!s)
s = new GooString(tokBuf, n);
else
s->append(tokBuf, n);
return Object(s);
} else {
return Object(objEOF);
}
break;
// name
case '/':
p = tokBuf;
n = 0;
s = nullptr;
while ((c = lookChar()) != EOF && !specialChars[c]) {
getChar();
if (c == '#') {
c2 = lookChar();
if (c2 >= '0' && c2 <= '9') {
c = c2 - '0';
} else if (c2 >= 'A' && c2 <= 'F') {
c = c2 - 'A' + 10;
} else if (c2 >= 'a' && c2 <= 'f') {
c = c2 - 'a' + 10;
} else {
goto notEscChar;
}
getChar();
c <<= 4;
c2 = getChar();
if (c2 >= '0' && c2 <= '9') {
c += c2 - '0';
} else if (c2 >= 'A' && c2 <= 'F') {
c += c2 - 'A' + 10;
} else if (c2 >= 'a' && c2 <= 'f') {
c += c2 - 'a' + 10;
} else {
error(errSyntaxError, getPos(), "Illegal digit in hex char in name");
}
}
notEscChar:
// the PDF spec claims that names are limited to 127 chars, but
// Distiller 8 will produce longer names, and Acrobat 8 will
// accept longer names
++n;
if (n < tokBufSize) {
*p++ = c;
} else if (n == tokBufSize) {
error(errSyntaxError, getPos(), "Warning: name token is longer than what the specification says it can be");
*p = c;
s = new GooString(tokBuf, n);
} else {
s->append((char)c);
}
}
if (n < tokBufSize) {
*p = '\0';
return Object(objName, tokBuf);
} else {
Object obj(objName, s->c_str());
delete s;
return obj;
}
break;
// array punctuation
case '[':
case ']':
tokBuf[0] = c;
tokBuf[1] = '\0';
return Object(objCmd, tokBuf);
break;
// hex string or dict punctuation
case '<':
c = lookChar();
// dict punctuation
if (c == '<') {
getChar();
tokBuf[0] = tokBuf[1] = '<';
tokBuf[2] = '\0';
return Object(objCmd, tokBuf);
// hex string
} else {
p = tokBuf;
m = n = 0;
c2 = 0;
s = nullptr;
while (1) {
c = getChar();
if (c == '>') {
break;
} else if (c == EOF) {
error(errSyntaxError, getPos(), "Unterminated hex string");
break;
} else if (specialChars[c] != 1) {
c2 = c2 << 4;
if (c >= '0' && c <= '9')
c2 += c - '0';
else if (c >= 'A' && c <= 'F')
c2 += c - 'A' + 10;
else if (c >= 'a' && c <= 'f')
c2 += c - 'a' + 10;
else
error(errSyntaxError, getPos(), "Illegal character <{0:02x}> in hex string", c);
if (++m == 2) {
if (n == tokBufSize) {
if (!s)
s = new GooString(tokBuf, tokBufSize);
else
s->append(tokBuf, tokBufSize);
p = tokBuf;
n = 0;
}
*p++ = (char)c2;
++n;
c2 = 0;
m = 0;
}
}
}
if (!s)
s = new GooString(tokBuf, n);
else
s->append(tokBuf, n);
if (m == 1)
s->append((char)(c2 << 4));
return Object(s);
}
break;
// dict punctuation
case '>':
c = lookChar();
if (c == '>') {
getChar();
tokBuf[0] = tokBuf[1] = '>';
tokBuf[2] = '\0';
return Object(objCmd, tokBuf);
} else {
error(errSyntaxError, getPos(), "Illegal character '>'");
return Object(objError);
}
break;
// error
case ')':
case '{':
case '}':
error(errSyntaxError, getPos(), "Illegal character '{0:c}'", c);
return Object(objError);
break;
// command
default:
p = tokBuf;
*p++ = c;
n = 1;
while ((c = lookChar()) != EOF && !specialChars[c]) {
getChar();
if (++n == tokBufSize) {
error(errSyntaxError, getPos(), "Command token too long");
break;
}
*p++ = c;
}
*p = '\0';
if (tokBuf[0] == 't' && !strcmp(tokBuf, "true")) {
return Object(true);
} else if (tokBuf[0] == 'f' && !strcmp(tokBuf, "false")) {
return Object(false);
} else if (tokBuf[0] == 'n' && !strcmp(tokBuf, "null")) {
return Object(objNull);
} else {
return Object(objCmd, tokBuf);
}
break;
}
return Object();
}
Object Lexer::getObj(const char *cmdA, int objNum) {
char *p;
int c;
bool comment;
int n;
// skip whitespace and comments
comment = false;
const char *cmd1 = tokBuf;
*tokBuf = 0;
while (strcmp(cmdA, cmd1) && (objNum < 0 || (xref && xref->getNumEntry(getPos()) == objNum))) {
while (1) {
if ((c = getChar()) == EOF) {
return Object(objEOF);
}
if (comment) {
if (c == '\r' || c == '\n') {
comment = false;
}
} else if (c == '%') {
comment = true;
} else if (specialChars[c] != 1) {
break;
}
}
p = tokBuf;
*p++ = c;
n = 1;
while ((c = lookChar()) != EOF && specialChars[c] == 0) {
getChar();
if (++n == tokBufSize) {
break;
}
*p++ = c;
}
*p = '\0';
}
return Object(objCmd, tokBuf);
}
void Lexer::skipToNextLine() {
int c;
while (1) {
c = getChar();
if (c == EOF || c == '\n') {
return;
}
if (c == '\r') {
if ((c = lookChar()) == '\n') {
getChar();
}
return;
}
}
}
bool Lexer::isSpace(int c) {
return c >= 0 && c <= 0xff && specialChars[c] == 1;
}