Skip to content

[BUG] Array out-of-bounds read in token_is_col_id() - liboracle_parser.c #1159

@jiaoshuntian

Description

@jiaoshuntian

Description

Array out-of-bounds access in token_is_col_id() function when token is not found in keyword list.

Location

  • File: src/backend/oracle_parser/liboracle_parser.c
  • Lines: 316-317

Problem

for (i = 0; i < OraScanKeywords.num_keywords; i++)
{
    if (OraScanKeywordTokens[i] == token)
        break;
}

// BUG: If token not found, i == OraScanKeywords.num_keywords (out of bounds!)
if (OraScanKeywordCategories[i] == UNRESERVED_KEYWORD ||
    OraScanKeywordCategories[i] == COL_NAME_KEYWORD)
    return true;

If the token is not found in the loop, i will equal OraScanKeywords.num_keywords, which is beyond the valid bounds of OraScanKeywordCategories[].

Impact

  • Buffer over-read
  • Potential crash or information disclosure

Suggested Fix

  if (i < OraScanKeywords.num_keywords &&
      (OraScanKeywordCategories[i] == UNRESERVED_KEYWORD ||
       OraScanKeywordCategories[i] == COL_NAME_KEYWORD))
      return true;

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No fields configured for Bug.

    Projects

    Status

    Done

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions