am 68bc4ba5
: Merge "Add boundary checking for PtNode Array reading."
* commit '68bc4ba5c2e53ad4f40e809e5c4c30df85008bda': Add boundary checking for PtNode Array reading.
This commit is contained in:
commit
ecc1408e33
3 changed files with 21 additions and 1 deletions
|
@ -26,7 +26,8 @@ namespace latinime {
|
||||||
void DynamicPatriciaTrieNodeReader::fetchPtNodeInfoFromBufferAndProcessMovedPtNode(
|
void DynamicPatriciaTrieNodeReader::fetchPtNodeInfoFromBufferAndProcessMovedPtNode(
|
||||||
const int ptNodePos, const int maxCodePointCount, int *const outCodePoints) {
|
const int ptNodePos, const int maxCodePointCount, int *const outCodePoints) {
|
||||||
if (ptNodePos < 0 || ptNodePos >= mBuffer->getTailPosition()) {
|
if (ptNodePos < 0 || ptNodePos >= mBuffer->getTailPosition()) {
|
||||||
AKLOGE("Fetching PtNode info form invalid dictionary position: %d, dictionary size: %d",
|
// Reading invalid position because of bug or broken dictionary.
|
||||||
|
AKLOGE("Fetching PtNode info from invalid dictionary position: %d, dictionary size: %d",
|
||||||
ptNodePos, mBuffer->getTailPosition());
|
ptNodePos, mBuffer->getTailPosition());
|
||||||
ASSERT(false);
|
ASSERT(false);
|
||||||
invalidatePtNodeInfo();
|
invalidatePtNodeInfo();
|
||||||
|
|
|
@ -155,6 +155,15 @@ bool DynamicPatriciaTrieReadingHelper::traverseAllPtNodesInPtNodeArrayLevelPreor
|
||||||
// Read node array size and process empty node arrays. Nodes and arrays are counted up in this
|
// Read node array size and process empty node arrays. Nodes and arrays are counted up in this
|
||||||
// method to avoid an infinite loop.
|
// method to avoid an infinite loop.
|
||||||
void DynamicPatriciaTrieReadingHelper::nextPtNodeArray() {
|
void DynamicPatriciaTrieReadingHelper::nextPtNodeArray() {
|
||||||
|
if (mReadingState.mPos < 0 || mReadingState.mPos >= mBuffer->getTailPosition()) {
|
||||||
|
// Reading invalid position because of a bug or a broken dictionary.
|
||||||
|
AKLOGE("Reading PtNode array info from invalid dictionary position: %d, dict size: %d",
|
||||||
|
mReadingState.mPos, mBuffer->getTailPosition());
|
||||||
|
ASSERT(false);
|
||||||
|
mIsError = true;
|
||||||
|
mReadingState.mPos = NOT_A_DICT_POS;
|
||||||
|
return;
|
||||||
|
}
|
||||||
mReadingState.mPosOfLastPtNodeArrayHead = mReadingState.mPos;
|
mReadingState.mPosOfLastPtNodeArrayHead = mReadingState.mPos;
|
||||||
const bool usesAdditionalBuffer = mBuffer->isInAdditionalBuffer(mReadingState.mPos);
|
const bool usesAdditionalBuffer = mBuffer->isInAdditionalBuffer(mReadingState.mPos);
|
||||||
const uint8_t *const dictBuf = mBuffer->getBuffer(usesAdditionalBuffer);
|
const uint8_t *const dictBuf = mBuffer->getBuffer(usesAdditionalBuffer);
|
||||||
|
@ -191,6 +200,15 @@ void DynamicPatriciaTrieReadingHelper::nextPtNodeArray() {
|
||||||
|
|
||||||
// Follow the forward link and read the next node array if exists.
|
// Follow the forward link and read the next node array if exists.
|
||||||
void DynamicPatriciaTrieReadingHelper::followForwardLink() {
|
void DynamicPatriciaTrieReadingHelper::followForwardLink() {
|
||||||
|
if (mReadingState.mPos < 0 || mReadingState.mPos >= mBuffer->getTailPosition()) {
|
||||||
|
// Reading invalid position because of bug or broken dictionary.
|
||||||
|
AKLOGE("Reading forward link from invalid dictionary position: %d, dict size: %d",
|
||||||
|
mReadingState.mPos, mBuffer->getTailPosition());
|
||||||
|
ASSERT(false);
|
||||||
|
mIsError = true;
|
||||||
|
mReadingState.mPos = NOT_A_DICT_POS;
|
||||||
|
return;
|
||||||
|
}
|
||||||
const bool usesAdditionalBuffer = mBuffer->isInAdditionalBuffer(mReadingState.mPos);
|
const bool usesAdditionalBuffer = mBuffer->isInAdditionalBuffer(mReadingState.mPos);
|
||||||
const uint8_t *const dictBuf = mBuffer->getBuffer(usesAdditionalBuffer);
|
const uint8_t *const dictBuf = mBuffer->getBuffer(usesAdditionalBuffer);
|
||||||
if (usesAdditionalBuffer) {
|
if (usesAdditionalBuffer) {
|
||||||
|
|
|
@ -240,6 +240,7 @@ class DynamicPatriciaTrieReadingHelper {
|
||||||
static const int MAX_NODE_ARRAY_COUNT_TO_AVOID_INFINITE_LOOP;
|
static const int MAX_NODE_ARRAY_COUNT_TO_AVOID_INFINITE_LOOP;
|
||||||
static const size_t MAX_READING_STATE_STACK_SIZE;
|
static const size_t MAX_READING_STATE_STACK_SIZE;
|
||||||
|
|
||||||
|
// TODO: Introduce error code to track what caused the error.
|
||||||
bool mIsError;
|
bool mIsError;
|
||||||
ReadingState mReadingState;
|
ReadingState mReadingState;
|
||||||
const BufferWithExtendableBuffer *const mBuffer;
|
const BufferWithExtendableBuffer *const mBuffer;
|
||||||
|
|
Loading…
Reference in a new issue