Move burn into burn

1 files changed, 1057 insertions, 0 deletions

diff --git a/src/burn/engine/condition.cpp b/src/burn/engine/condition.cpp
new file mode 100644
index 00000000..b7cd7413
--- /dev/null
+++ b/src/burn/engine/condition.cpp
@@ -0,0 +1,1057 @@
+// Copyright (c) .NET Foundation and contributors. All rights reserved. Licensed under the Microsoft Reciprocal License. See LICENSE.TXT file in the project root for full license information.
+
+#include "precomp.h"
+
+
+//
+// parse rules
+//
+// value                variable | literal | integer | version
+// comparison-operator  < | > | <= | >= | = | <> | >< | << | >>
+// term                 value | value comparison-operator value | ( expression )
+// boolean-factor       term | NOT term
+// boolean-term         boolean-factor | boolean-factor AND boolean-term
+// expression           boolean-term | boolean-term OR expression
+//
+
+
+// constants
+
+#define COMPARISON  0x00010000
+#define INSENSITIVE 0x00020000
+
+enum BURN_SYMBOL_TYPE
+{
+    // terminals
+    BURN_SYMBOL_TYPE_NONE       =  0,
+    BURN_SYMBOL_TYPE_END        =  1,
+    BURN_SYMBOL_TYPE_OR         =  2,                               // OR
+    BURN_SYMBOL_TYPE_AND        =  3,                               // AND
+    BURN_SYMBOL_TYPE_NOT        =  4,                               // NOT
+    BURN_SYMBOL_TYPE_LT         =  5 | COMPARISON,                  // <
+    BURN_SYMBOL_TYPE_GT         =  6 | COMPARISON,                  // >
+    BURN_SYMBOL_TYPE_LE         =  7 | COMPARISON,                  // <=
+    BURN_SYMBOL_TYPE_GE         =  8 | COMPARISON,                  // >=
+    BURN_SYMBOL_TYPE_EQ         =  9 | COMPARISON,                  // =
+    BURN_SYMBOL_TYPE_NE         = 10 | COMPARISON,                  // <>
+    BURN_SYMBOL_TYPE_BAND       = 11 | COMPARISON,                  // ><
+    BURN_SYMBOL_TYPE_HIEQ       = 12 | COMPARISON,                  // <<
+    BURN_SYMBOL_TYPE_LOEQ       = 13 | COMPARISON,                  // >>
+    BURN_SYMBOL_TYPE_LT_I       =  5 | COMPARISON | INSENSITIVE,    // ~<
+    BURN_SYMBOL_TYPE_GT_I       =  6 | COMPARISON | INSENSITIVE,    // ~>
+    BURN_SYMBOL_TYPE_LE_I       =  7 | COMPARISON | INSENSITIVE,    // ~<=
+    BURN_SYMBOL_TYPE_GE_I       =  8 | COMPARISON | INSENSITIVE,    // ~>=
+    BURN_SYMBOL_TYPE_EQ_I       =  9 | COMPARISON | INSENSITIVE,    // ~=
+    BURN_SYMBOL_TYPE_NE_I       = 10 | COMPARISON | INSENSITIVE,    // ~<>
+    BURN_SYMBOL_TYPE_BAND_I     = 11 | COMPARISON | INSENSITIVE,    // ~><
+    BURN_SYMBOL_TYPE_HIEQ_I     = 12 | COMPARISON | INSENSITIVE,    // ~<<
+    BURN_SYMBOL_TYPE_LOEQ_I     = 13 | COMPARISON | INSENSITIVE,    // ~>>
+    BURN_SYMBOL_TYPE_LPAREN     = 14,                               // (
+    BURN_SYMBOL_TYPE_RPAREN     = 15,                               // )
+    BURN_SYMBOL_TYPE_NUMBER     = 16,
+    BURN_SYMBOL_TYPE_IDENTIFIER = 17,
+    BURN_SYMBOL_TYPE_LITERAL    = 18,
+    BURN_SYMBOL_TYPE_VERSION    = 19,
+};
+
+
+// structs
+
+struct BURN_SYMBOL
+{
+    BURN_SYMBOL_TYPE Type;
+    DWORD iPosition;
+    BURN_VARIANT Value;
+};
+
+struct BURN_CONDITION_PARSE_CONTEXT
+{
+    BURN_VARIABLES* pVariables;
+    LPCWSTR wzCondition;
+    LPCWSTR wzRead;
+    BURN_SYMBOL NextSymbol;
+    BOOL fError;
+};
+
+struct BURN_CONDITION_OPERAND
+{
+    BOOL fHidden;
+    BURN_VARIANT Value;
+};
+
+
+// internal function declarations
+
+static HRESULT ParseExpression(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __out BOOL* pf
+    );
+static HRESULT ParseBooleanTerm(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __out BOOL* pf
+    );
+static HRESULT ParseBooleanFactor(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __out BOOL* pf
+    );
+static HRESULT ParseTerm(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __out BOOL* pf
+    );
+static HRESULT ParseOperand(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __out BURN_CONDITION_OPERAND* pOperand
+    );
+static HRESULT Expect(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __in BURN_SYMBOL_TYPE symbolType
+    );
+static HRESULT NextSymbol(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext
+    );
+static HRESULT CompareOperands(
+    __in BURN_SYMBOL_TYPE comparison,
+    __in BURN_CONDITION_OPERAND* pLeftOperand,
+    __in BURN_CONDITION_OPERAND* pRightOperand,
+    __out BOOL* pfResult
+    );
+static HRESULT CompareStringValues(
+    __in BURN_SYMBOL_TYPE comparison,
+    __in_z LPCWSTR wzLeftOperand,
+    __in_z LPCWSTR wzRightOperand,
+    __out BOOL* pfResult
+    );
+static HRESULT CompareIntegerValues(
+    __in BURN_SYMBOL_TYPE comparison,
+    __in LONGLONG llLeftOperand,
+    __in LONGLONG llRightOperand,
+    __out BOOL* pfResult
+    );
+static HRESULT CompareVersionValues(
+    __in BURN_SYMBOL_TYPE comparison,
+    __in VERUTIL_VERSION* pLeftOperand,
+    __in VERUTIL_VERSION* pRightOperand,
+    __out BOOL* pfResult
+    );
+
+
+// function definitions
+
+extern "C" HRESULT ConditionEvaluate(
+    __in BURN_VARIABLES* pVariables,
+    __in_z LPCWSTR wzCondition,
+    __out BOOL* pf
+    )
+{
+    HRESULT hr = S_OK;
+    BURN_CONDITION_PARSE_CONTEXT context = { };
+    BOOL f = FALSE;
+
+    context.pVariables = pVariables;
+    context.wzCondition = wzCondition;
+    context.wzRead = wzCondition;
+
+    hr = NextSymbol(&context);
+    ExitOnFailure(hr, "Failed to read next symbol.");
+
+    hr = ParseExpression(&context, &f);
+    ExitOnFailure(hr, "Failed to parse expression.");
+
+    hr = Expect(&context, BURN_SYMBOL_TYPE_END);
+    ExitOnFailure(hr, "Failed to expect end symbol.");
+
+    LogId(REPORT_VERBOSE, MSG_CONDITION_RESULT, wzCondition, LoggingTrueFalseToString(f));
+
+    *pf = f;
+    hr = S_OK;
+
+LExit:
+    if (context.fError)
+    {
+        Assert(FAILED(hr));
+        LogErrorId(hr, MSG_FAILED_PARSE_CONDITION, wzCondition, NULL, NULL);
+    }
+
+    return hr;
+}
+
+extern "C" HRESULT ConditionGlobalCheck(
+    __in BURN_VARIABLES* pVariables,
+    __in BURN_CONDITION* pCondition,
+    __in BOOTSTRAPPER_DISPLAY display,
+    __in_z LPCWSTR wzBundleName,
+    __out DWORD *pdwExitCode,
+    __out BOOL *pfContinueExecution
+    )
+{
+    HRESULT hr = S_OK;
+    BOOL fSuccess = TRUE;
+    HRESULT hrError = HRESULT_FROM_WIN32(ERROR_OLD_WIN_VERSION);
+
+    // Only run on Windows Vista SP2 or newer, or Windows Server 2008 SP2 or newer.
+    if (!::IsWindowsVistaSP2OrGreater())
+    {
+        fSuccess = FALSE;
+    }
+    else
+    {
+        if (NULL != pCondition->sczConditionString)
+        {
+            hr = ConditionEvaluate(pVariables, pCondition->sczConditionString, &fSuccess);
+            ExitOnFailure(hr, "Failed to evaluate condition: %ls", pCondition->sczConditionString);
+        }
+    }
+
+    if (!fSuccess)
+    {
+        // Display the error messagebox, as long as we're in an appropriate display mode
+        hr = SplashScreenDisplayError(display, wzBundleName, hrError);
+        ExitOnFailure(hr, "Failed to display error dialog");
+
+        *pdwExitCode = static_cast<DWORD>(hrError);
+        *pfContinueExecution = FALSE;
+    }
+
+LExit:
+    return hr;
+}
+
+HRESULT ConditionGlobalParseFromXml(
+    __in BURN_CONDITION* pCondition,
+    __in IXMLDOMNode* pixnBundle
+    )
+{
+    HRESULT hr = S_OK;
+    IXMLDOMNode* pixnNode = NULL;
+    BSTR bstrExpression = NULL;
+
+    // select variable nodes
+    hr = XmlSelectSingleNode(pixnBundle, L"Condition", &pixnNode);
+    if (S_FALSE == hr)
+    {
+        ExitFunction1(hr = S_OK);
+    }
+    ExitOnFailure(hr, "Failed to select condition node.");
+
+    // @Condition
+    hr = XmlGetText(pixnNode, &bstrExpression);
+    ExitOnFailure(hr, "Failed to get Condition inner text.");
+
+    hr = StrAllocString(&pCondition->sczConditionString, bstrExpression, 0);
+    ExitOnFailure(hr, "Failed to copy condition string from BSTR");
+
+LExit:
+    ReleaseBSTR(bstrExpression);
+    ReleaseObject(pixnNode);
+
+    return hr;
+}
+
+
+// internal function definitions
+
+static HRESULT ParseExpression(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __out BOOL* pf
+    )
+{
+    HRESULT hr = S_OK;
+    BOOL fFirst = FALSE;
+    BOOL fSecond = FALSE;
+
+    hr = ParseBooleanTerm(pContext, &fFirst);
+    ExitOnFailure(hr, "Failed to parse boolean-term.");
+
+    if (BURN_SYMBOL_TYPE_OR == pContext->NextSymbol.Type)
+    {
+        hr = NextSymbol(pContext);
+        ExitOnFailure(hr, "Failed to read next symbol.");
+
+        hr = ParseExpression(pContext, &fSecond);
+        ExitOnFailure(hr, "Failed to parse expression.");
+
+        *pf = fFirst || fSecond;
+    }
+    else
+    {
+        *pf = fFirst;
+    }
+
+LExit:
+    return hr;
+}
+
+static HRESULT ParseBooleanTerm(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __out BOOL* pf
+    )
+{
+    HRESULT hr = S_OK;
+    BOOL fFirst = FALSE;
+    BOOL fSecond = FALSE;
+
+    hr = ParseBooleanFactor(pContext, &fFirst);
+    ExitOnFailure(hr, "Failed to parse boolean-factor.");
+
+    if (BURN_SYMBOL_TYPE_AND == pContext->NextSymbol.Type)
+    {
+        hr = NextSymbol(pContext);
+        ExitOnFailure(hr, "Failed to read next symbol.");
+
+        hr = ParseBooleanTerm(pContext, &fSecond);
+        ExitOnFailure(hr, "Failed to parse boolean-term.");
+
+        *pf = fFirst && fSecond;
+    }
+    else
+    {
+        *pf = fFirst;
+    }
+
+LExit:
+    return hr;
+}
+
+static HRESULT ParseBooleanFactor(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __out BOOL* pf
+    )
+{
+    HRESULT hr = S_OK;
+    BOOL fNot = FALSE;
+    BOOL f = FALSE;
+
+    if (BURN_SYMBOL_TYPE_NOT == pContext->NextSymbol.Type)
+    {
+        hr = NextSymbol(pContext);
+        ExitOnFailure(hr, "Failed to read next symbol.");
+
+        fNot = TRUE;
+    }
+
+    hr = ParseTerm(pContext, &f);
+    ExitOnFailure(hr, "Failed to parse term.");
+
+    *pf = fNot ? !f : f;
+
+LExit:
+    return hr;
+}
+
+static HRESULT ParseTerm(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __out BOOL* pf
+    )
+{
+    HRESULT hr = S_OK;
+    BURN_CONDITION_OPERAND firstOperand = { };
+    BURN_CONDITION_OPERAND secondOperand = { };
+
+    if (BURN_SYMBOL_TYPE_LPAREN == pContext->NextSymbol.Type)
+    {
+        hr = NextSymbol(pContext);
+        ExitOnFailure(hr, "Failed to read next symbol.");
+
+        hr = ParseExpression(pContext, pf);
+        ExitOnFailure(hr, "Failed to parse expression.");
+
+        hr = Expect(pContext, BURN_SYMBOL_TYPE_RPAREN);
+        ExitOnFailure(hr, "Failed to expect right parenthesis.");
+
+        ExitFunction1(hr = S_OK);
+    }
+
+    hr = ParseOperand(pContext, &firstOperand);
+    ExitOnFailure(hr, "Failed to parse operand.");
+
+    if (COMPARISON & pContext->NextSymbol.Type)
+    {
+        BURN_SYMBOL_TYPE comparison = pContext->NextSymbol.Type;
+
+        hr = NextSymbol(pContext);
+        ExitOnFailure(hr, "Failed to read next symbol.");
+
+        hr = ParseOperand(pContext, &secondOperand);
+        ExitOnFailure(hr, "Failed to parse operand.");
+
+        hr = CompareOperands(comparison, &firstOperand, &secondOperand, pf);
+        ExitOnFailure(hr, "Failed to compare operands.");
+    }
+    else
+    {
+        LONGLONG llValue = 0;
+        LPWSTR sczValue = NULL;
+        VERUTIL_VERSION* pVersion = NULL;
+        switch (firstOperand.Value.Type)
+        {
+        case BURN_VARIANT_TYPE_NONE:
+            *pf = FALSE;
+            break;
+        case BURN_VARIANT_TYPE_STRING:
+            hr = BVariantGetString(&firstOperand.Value, &sczValue);
+            if (SUCCEEDED(hr))
+            {
+                *pf = sczValue && *sczValue;
+            }
+            StrSecureZeroFreeString(sczValue);
+            break;
+        case BURN_VARIANT_TYPE_NUMERIC:
+            hr = BVariantGetNumeric(&firstOperand.Value, &llValue);
+            if (SUCCEEDED(hr))
+            {
+                *pf = 0 != llValue;
+            }
+            SecureZeroMemory(&llValue, sizeof(llValue));
+            break;
+        case BURN_VARIANT_TYPE_VERSION:
+            hr = BVariantGetVersionHidden(&firstOperand.Value, firstOperand.fHidden, &pVersion);
+            if (SUCCEEDED(hr))
+            {
+                *pf = 0 != *pVersion->sczVersion;
+            }
+            ReleaseVerutilVersion(pVersion);
+            break;
+        default:
+            ExitFunction1(hr = E_UNEXPECTED);
+        }
+    }
+
+LExit:
+    BVariantUninitialize(&firstOperand.Value);
+    BVariantUninitialize(&secondOperand.Value);
+    return hr;
+}
+
+static HRESULT ParseOperand(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __out BURN_CONDITION_OPERAND* pOperand
+    )
+{
+    HRESULT hr = S_OK;
+    LPWSTR sczFormatted = NULL;
+
+    switch (pContext->NextSymbol.Type)
+    {
+    case BURN_SYMBOL_TYPE_IDENTIFIER:
+        Assert(BURN_VARIANT_TYPE_STRING == pContext->NextSymbol.Value.Type);
+
+        // find variable
+        hr = VariableGetVariant(pContext->pVariables, pContext->NextSymbol.Value.sczValue, &pOperand->Value);
+        if (E_NOTFOUND != hr)
+        {
+            ExitOnRootFailure(hr, "Failed to find variable.");
+
+            hr = VariableIsHidden(pContext->pVariables, pContext->NextSymbol.Value.sczValue, &pOperand->fHidden);
+            ExitOnRootFailure(hr, "Failed to get if variable is hidden.");
+        }
+
+        if (BURN_VARIANT_TYPE_FORMATTED == pOperand->Value.Type)
+        {
+            hr = VariableGetFormatted(pContext->pVariables, pContext->NextSymbol.Value.sczValue, &sczFormatted, &pOperand->fHidden);
+            ExitOnRootFailure(hr, "Failed to format variable '%ls' for condition '%ls'", pContext->NextSymbol.Value.sczValue, pContext->wzCondition);
+
+            hr = BVariantSetString(&pOperand->Value, sczFormatted, 0, FALSE);
+            ExitOnRootFailure(hr, "Failed to store formatted value for variable '%ls' for condition '%ls'", pContext->NextSymbol.Value.sczValue, pContext->wzCondition);
+        }
+        break;
+
+    case BURN_SYMBOL_TYPE_NUMBER: __fallthrough;
+    case BURN_SYMBOL_TYPE_LITERAL: __fallthrough;
+    case BURN_SYMBOL_TYPE_VERSION:
+        pOperand->fHidden = FALSE;
+        // steal value of symbol
+        memcpy_s(&pOperand->Value, sizeof(BURN_VARIANT), &pContext->NextSymbol.Value, sizeof(BURN_VARIANT));
+        memset(&pContext->NextSymbol.Value, 0, sizeof(BURN_VARIANT));
+        break;
+
+    default:
+        pContext->fError = TRUE;
+        hr = E_INVALIDDATA;
+        ExitOnRootFailure(hr, "Failed to parse condition '%ls' at position: %u", pContext->wzCondition, pContext->NextSymbol.iPosition);
+    }
+
+    // get next symbol
+    hr = NextSymbol(pContext);
+    ExitOnFailure(hr, "Failed to read next symbol.");
+
+LExit:
+    StrSecureZeroFreeString(sczFormatted);
+
+    return hr;
+}
+
+//
+// Expect - expects a symbol.
+//
+static HRESULT Expect(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext,
+    __in BURN_SYMBOL_TYPE symbolType
+    )
+{
+    HRESULT hr = S_OK;
+
+    if (pContext->NextSymbol.Type != symbolType)
+    {
+        pContext->fError = TRUE;
+        hr = E_INVALIDDATA;
+        ExitOnRootFailure(hr, "Failed to parse condition '%ls' at position: %u", pContext->wzCondition, pContext->NextSymbol.iPosition);
+    }
+
+    hr = NextSymbol(pContext);
+    ExitOnFailure(hr, "Failed to read next symbol.");
+
+LExit:
+    return hr;
+}
+
+//
+// NextSymbol - finds the next symbol in an expression string.
+//
+static HRESULT NextSymbol(
+    __in BURN_CONDITION_PARSE_CONTEXT* pContext
+    )
+{
+    HRESULT hr = S_OK;
+    WORD charType = 0;
+    ptrdiff_t cchPosition = 0;
+    DWORD iPosition = 0;
+    DWORD n = 0;
+
+    // free existing symbol
+    BVariantUninitialize(&pContext->NextSymbol.Value);
+    memset(&pContext->NextSymbol, 0, sizeof(BURN_SYMBOL));
+
+    // skip past blanks
+    while (L'\0' != pContext->wzRead[0])
+    {
+        ::GetStringTypeW(CT_CTYPE1, pContext->wzRead, 1, &charType);
+        if (0 == (C1_BLANK & charType))
+        {
+            break; // no blank, done
+        }
+        ++pContext->wzRead;
+    }
+
+    cchPosition = pContext->wzRead - pContext->wzCondition;
+    if (DWORD_MAX < cchPosition || 0 > cchPosition)
+    {
+        ExitOnFailure(hr = E_INVALIDARG, "Symbol was too long: %ls", pContext->wzCondition);
+    }
+    iPosition = (DWORD)cchPosition;
+
+    // read depending on first character type
+    switch (pContext->wzRead[0])
+    {
+    case L'\0':
+        pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_END;
+        break;
+    case L'~':
+        switch (pContext->wzRead[1])
+        {
+        case L'=':
+            pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_EQ_I;
+            n = 2;
+            break;
+        case L'>':
+            switch (pContext->wzRead[2])
+            {
+            case '=':
+                pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_GE_I;
+                n = 3;
+                break;
+            case L'>':
+                pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_LOEQ_I;
+                n = 3;
+                break;
+            case L'<':
+                pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_BAND_I;
+                n = 3;
+                break;
+            default:
+                pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_GT_I;
+                n = 2;
+            }
+            break;
+        case L'<':
+            switch (pContext->wzRead[2])
+            {
+            case '=':
+                pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_LE_I;
+                n = 3;
+                break;
+            case L'<':
+                pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_HIEQ_I;
+                n = 3;
+                break;
+            case '>':
+                pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_NE_I;
+                n = 3;
+                break;
+            default:
+                pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_LT_I;
+                n = 2;
+            }
+            break;
+        default:
+            // error
+            pContext->fError = TRUE;
+            hr = E_INVALIDDATA;
+            ExitOnRootFailure(hr, "Failed to parse condition \"%ls\". Unexpected '~' operator at position %d.", pContext->wzCondition, iPosition);
+        }
+        break;
+    case L'>':
+        switch (pContext->wzRead[1])
+        {
+        case L'=':
+            pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_GE;
+            n = 2;
+            break;
+        case L'>':
+            pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_LOEQ;
+            n = 2;
+            break;
+        case L'<':
+            pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_BAND;
+            n = 2;
+            break;
+        default:
+            pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_GT;
+            n = 1;
+        }
+        break;
+    case L'<':
+        switch (pContext->wzRead[1])
+        {
+        case L'=':
+            pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_LE;
+            n = 2;
+            break;
+        case L'<':
+            pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_HIEQ;
+            n = 2;
+            break;
+        case L'>':
+            pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_NE;
+            n = 2;
+            break;
+        default:
+            pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_LT;
+            n = 1;
+        }
+        break;
+    case L'=':
+        pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_EQ;
+        n = 1;
+        break;
+    case L'(':
+        pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_LPAREN;
+        n = 1;
+        break;
+    case L')':
+        pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_RPAREN;
+        n = 1;
+        break;
+    case L'"': // literal
+        do
+        {
+            ++n;
+            if (L'\0' == pContext->wzRead[n])
+            {
+                // error
+                pContext->fError = TRUE;
+                hr = E_INVALIDDATA;
+                ExitOnRootFailure(hr, "Failed to parse condition \"%ls\". Unterminated literal at position %d.", pContext->wzCondition, iPosition);
+            }
+        } while (L'"' != pContext->wzRead[n]);
+        ++n; // terminating '"'
+
+        pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_LITERAL;
+        hr = BVariantSetString(&pContext->NextSymbol.Value, &pContext->wzRead[1], n - 2, FALSE);
+        ExitOnFailure(hr, "Failed to set symbol value.");
+        break;
+    default:
+        if (C1_DIGIT & charType || L'-' == pContext->wzRead[0])
+        {
+            do
+            {
+                ++n;
+                ::GetStringTypeW(CT_CTYPE1, &pContext->wzRead[n], 1, &charType);
+                if (C1_ALPHA & charType || L'_' == pContext->wzRead[n])
+                {
+                    // error, identifier cannot start with a digit
+                    pContext->fError = TRUE;
+                    hr = E_INVALIDDATA;
+                    ExitOnRootFailure(hr, "Failed to parse condition \"%ls\". Identifier cannot start at a digit, at position %d.", pContext->wzCondition, iPosition);
+                }
+            } while (C1_DIGIT & charType);
+
+            // number
+            pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_NUMBER;
+
+            LONGLONG ll = 0;
+            hr = StrStringToInt64(pContext->wzRead, n, &ll);
+            if (FAILED(hr))
+            {
+                pContext->fError = TRUE;
+                hr = E_INVALIDDATA;
+                ExitOnRootFailure(hr, "Failed to parse condition \"%ls\". Constant too big, at position %d.", pContext->wzCondition, iPosition);
+            }
+
+            hr = BVariantSetNumeric(&pContext->NextSymbol.Value, ll);
+            ExitOnFailure(hr, "Failed to set symbol value.");
+        }
+        else if (C1_ALPHA & charType || L'_' == pContext->wzRead[0])
+        {
+            ::GetStringTypeW(CT_CTYPE1, &pContext->wzRead[1], 1, &charType);
+            if (L'v' == pContext->wzRead[0] && C1_DIGIT & charType)
+            {
+                // version
+                do
+                {
+                    ++n;
+                } while (pContext->wzRead[n] >= L'0' && pContext->wzRead[n] <= L'9' ||
+                         pContext->wzRead[n] >= L'A' && pContext->wzRead[n] <= L'Z' ||
+                         pContext->wzRead[n] >= L'a' && pContext->wzRead[n] <= L'z' ||
+                         pContext->wzRead[n] == L'_' ||
+                         pContext->wzRead[n] == L'+' ||
+                         pContext->wzRead[n] == L'-' ||
+                         pContext->wzRead[n] == L'.');
+
+                hr = VerParseVersion(&pContext->wzRead[1], n - 1, FALSE, &pContext->NextSymbol.Value.pValue);
+                if (FAILED(hr))
+                {
+                    pContext->fError = TRUE;
+                    hr = E_INVALIDDATA;
+                    ExitOnRootFailure(hr, "Failed to parse condition \"%ls\". Invalid version format, at position %d.", pContext->wzCondition, iPosition);
+                }
+                else if (pContext->NextSymbol.Value.pValue->fInvalid)
+                {
+                    LogId(REPORT_WARNING, MSG_CONDITION_INVALID_VERSION, pContext->wzCondition, pContext->NextSymbol.Value.pValue->sczVersion);
+                }
+
+                pContext->NextSymbol.Value.Type = BURN_VARIANT_TYPE_VERSION;
+                pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_VERSION;
+            }
+            else
+            {
+                do
+                {
+                    ++n;
+                    ::GetStringTypeW(CT_CTYPE1, &pContext->wzRead[n], 1, &charType);
+                } while (C1_ALPHA & charType || C1_DIGIT & charType || L'_' == pContext->wzRead[n]);
+
+                if (2 == n && CSTR_EQUAL == ::CompareStringW(LOCALE_INVARIANT, NORM_IGNORECASE, pContext->wzRead, 2, L"OR", 2))
+                {
+                    // OR
+                    pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_OR;
+                }
+                else if (3 == n && CSTR_EQUAL == ::CompareStringW(LOCALE_INVARIANT, NORM_IGNORECASE, pContext->wzRead, 3, L"AND", 3))
+                {
+                    // AND
+                    pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_AND;
+                }
+                else if (3 == n && CSTR_EQUAL == ::CompareStringW(LOCALE_INVARIANT, NORM_IGNORECASE, pContext->wzRead, 3, L"NOT", 3))
+                {
+                    // NOT
+                    pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_NOT;
+                }
+                else
+                {
+                    // identifier
+                    pContext->NextSymbol.Type = BURN_SYMBOL_TYPE_IDENTIFIER;
+                    hr = BVariantSetString(&pContext->NextSymbol.Value, pContext->wzRead, n, FALSE);
+                    ExitOnFailure(hr, "Failed to set symbol value.");
+                }
+            }
+        }
+        else
+        {
+            // error, unexpected character
+            pContext->fError = TRUE;
+            hr = E_INVALIDDATA;
+            ExitOnRootFailure(hr, "Failed to parse condition \"%ls\". Unexpected character at position %d.", pContext->wzCondition, iPosition);
+        }
+    }
+    pContext->NextSymbol.iPosition = iPosition;
+    pContext->wzRead += n;
+
+LExit:
+    return hr;
+}
+
+//
+// CompareOperands - compares two variant values using a given comparison.
+//
+static HRESULT CompareOperands(
+    __in BURN_SYMBOL_TYPE comparison,
+    __in BURN_CONDITION_OPERAND* pLeftOperand,
+    __in BURN_CONDITION_OPERAND* pRightOperand,
+    __out BOOL* pfResult
+    )
+{
+    HRESULT hr = S_OK;
+    LONGLONG llLeft = 0;
+    VERUTIL_VERSION* pVersionLeft = 0;
+    LPWSTR sczLeft = NULL;
+    LONGLONG llRight = 0;
+    VERUTIL_VERSION* pVersionRight = 0;
+    LPWSTR sczRight = NULL;
+    BURN_VARIANT* pLeftValue = &pLeftOperand->Value;
+    BURN_VARIANT* pRightValue = &pRightOperand->Value;
+
+    // get values to compare based on type
+    if (BURN_VARIANT_TYPE_STRING == pLeftValue->Type && BURN_VARIANT_TYPE_STRING == pRightValue->Type)
+    {
+        hr = BVariantGetString(pLeftValue, &sczLeft);
+        ExitOnFailure(hr, "Failed to get the left string");
+        hr = BVariantGetString(pRightValue, &sczRight);
+        ExitOnFailure(hr, "Failed to get the right string");
+        hr = CompareStringValues(comparison, sczLeft, sczRight, pfResult);
+    }
+    else if (BURN_VARIANT_TYPE_NUMERIC == pLeftValue->Type && BURN_VARIANT_TYPE_NUMERIC == pRightValue->Type)
+    {
+        hr = BVariantGetNumeric(pLeftValue, &llLeft);
+        ExitOnFailure(hr, "Failed to get the left numeric");
+        hr = BVariantGetNumeric(pRightValue, &llRight);
+        ExitOnFailure(hr, "Failed to get the right numeric");
+        hr = CompareIntegerValues(comparison, llLeft, llRight, pfResult);
+    }
+    else if (BURN_VARIANT_TYPE_VERSION == pLeftValue->Type && BURN_VARIANT_TYPE_VERSION == pRightValue->Type)
+    {
+        hr = BVariantGetVersionHidden(pLeftValue, pLeftOperand->fHidden, &pVersionLeft);
+        ExitOnFailure(hr, "Failed to get the left version");
+        hr = BVariantGetVersionHidden(pRightValue, pRightOperand->fHidden, &pVersionRight);
+        ExitOnFailure(hr, "Failed to get the right version");
+        hr = CompareVersionValues(comparison, pVersionLeft, pVersionRight, pfResult);
+    }
+    else if (BURN_VARIANT_TYPE_VERSION == pLeftValue->Type && BURN_VARIANT_TYPE_STRING == pRightValue->Type)
+    {
+        hr = BVariantGetVersionHidden(pLeftValue, pLeftOperand->fHidden, &pVersionLeft);
+        ExitOnFailure(hr, "Failed to get the left version");
+        hr = BVariantGetVersionHidden(pRightValue, pRightOperand->fHidden, &pVersionRight);
+        if (FAILED(hr))
+        {
+            if (DISP_E_TYPEMISMATCH != hr)
+            {
+                ExitOnFailure(hr, "Failed to get the right version");
+            }
+            *pfResult = (BURN_SYMBOL_TYPE_NE == comparison);
+            hr = S_OK;
+        }
+        else
+        {
+            hr = CompareVersionValues(comparison, pVersionLeft, pVersionRight, pfResult);
+        }
+    }
+    else if (BURN_VARIANT_TYPE_STRING == pLeftValue->Type && BURN_VARIANT_TYPE_VERSION == pRightValue->Type)
+    {
+        hr = BVariantGetVersionHidden(pRightValue, pRightOperand->fHidden, &pVersionRight);
+        ExitOnFailure(hr, "Failed to get the right version");
+        hr = BVariantGetVersionHidden(pLeftValue, pLeftOperand->fHidden, &pVersionLeft);
+        if (FAILED(hr))
+        {
+            if (DISP_E_TYPEMISMATCH != hr)
+            {
+                ExitOnFailure(hr, "Failed to get the left version");
+            }
+            *pfResult = (BURN_SYMBOL_TYPE_NE == comparison);
+            hr = S_OK;
+        }
+        else
+        {
+            hr = CompareVersionValues(comparison, pVersionLeft, pVersionRight, pfResult);
+        }
+    }
+    else if (BURN_VARIANT_TYPE_NUMERIC == pLeftValue->Type && BURN_VARIANT_TYPE_STRING == pRightValue->Type)
+    {
+        hr = BVariantGetNumeric(pLeftValue, &llLeft);
+        ExitOnFailure(hr, "Failed to get the left numeric");
+        hr = BVariantGetNumeric(pRightValue, &llRight);
+        if (FAILED(hr))
+        {
+            if (DISP_E_TYPEMISMATCH != hr)
+            {
+                ExitOnFailure(hr, "Failed to get the right numeric");
+            }
+            *pfResult = (BURN_SYMBOL_TYPE_NE == comparison);
+            hr = S_OK;
+        }
+        else
+        {
+            hr = CompareIntegerValues(comparison, llLeft, llRight, pfResult);
+        }
+    }
+    else if (BURN_VARIANT_TYPE_STRING == pLeftValue->Type && BURN_VARIANT_TYPE_NUMERIC == pRightValue->Type)
+    {
+        hr = BVariantGetNumeric(pRightValue, &llRight);
+        ExitOnFailure(hr, "Failed to get the right numeric");
+        hr = BVariantGetNumeric(pLeftValue, &llLeft);
+        if (FAILED(hr))
+        {
+            if (DISP_E_TYPEMISMATCH != hr)
+            {
+                ExitOnFailure(hr, "Failed to get the left numeric");
+            }
+            *pfResult = (BURN_SYMBOL_TYPE_NE == comparison);
+            hr = S_OK;
+        }
+        else
+        {
+            hr = CompareIntegerValues(comparison, llLeft, llRight, pfResult);
+        }
+    }
+    else
+    {
+        // not a combination that can be compared
+        *pfResult = (BURN_SYMBOL_TYPE_NE == comparison || BURN_SYMBOL_TYPE_NE_I == comparison);
+    }
+
+LExit:
+    ReleaseVerutilVersion(pVersionLeft);
+    SecureZeroMemory(&llLeft, sizeof(LONGLONG));
+    StrSecureZeroFreeString(sczLeft);
+    ReleaseVerutilVersion(pVersionRight);
+    SecureZeroMemory(&llRight, sizeof(LONGLONG));
+    StrSecureZeroFreeString(sczRight);
+
+    return hr;
+}
+
+//
+// CompareStringValues - compares two string values using a given comparison.
+//
+static HRESULT CompareStringValues(
+    __in BURN_SYMBOL_TYPE comparison,
+    __in_z LPCWSTR wzLeftOperand,
+    __in_z LPCWSTR wzRightOperand,
+    __out BOOL* pfResult
+    )
+{
+    HRESULT hr = S_OK;
+    DWORD dwCompareString = (comparison & INSENSITIVE) ? NORM_IGNORECASE : 0;
+    size_t cchLeftSize = 0;
+    size_t cchRightSize = 0;
+    int cchLeft = 0;
+    int cchRight = 0;
+
+    hr = ::StringCchLengthW(wzLeftOperand, STRSAFE_MAX_CCH, &cchLeftSize);
+    ExitOnRootFailure(hr, "Failed to get length of left string: %ls", wzLeftOperand);
+
+    hr = ::StringCchLengthW(wzRightOperand, STRSAFE_MAX_CCH, &cchRightSize);
+    ExitOnRootFailure(hr, "Failed to get length of right string: %ls", wzRightOperand);
+
+    cchLeft = static_cast<int>(cchLeftSize);
+    cchRight = static_cast<int>(cchRightSize);
+
+    switch (comparison)
+    {
+    case BURN_SYMBOL_TYPE_LT:
+    case BURN_SYMBOL_TYPE_GT:
+    case BURN_SYMBOL_TYPE_LE:
+    case BURN_SYMBOL_TYPE_GE:
+    case BURN_SYMBOL_TYPE_EQ:
+    case BURN_SYMBOL_TYPE_NE:
+    case BURN_SYMBOL_TYPE_LT_I:
+    case BURN_SYMBOL_TYPE_GT_I:
+    case BURN_SYMBOL_TYPE_LE_I:
+    case BURN_SYMBOL_TYPE_GE_I:
+    case BURN_SYMBOL_TYPE_EQ_I:
+    case BURN_SYMBOL_TYPE_NE_I:
+        {
+            int i = ::CompareStringW(LOCALE_INVARIANT, dwCompareString, wzLeftOperand, cchLeft, wzRightOperand, cchRight);
+            hr = CompareIntegerValues(comparison, i, CSTR_EQUAL, pfResult);
+        }
+        break;
+    case BURN_SYMBOL_TYPE_BAND:
+    case BURN_SYMBOL_TYPE_BAND_I:
+        // test if left string contains right string
+        for (int i = 0; (i + cchRight) <= cchLeft; ++i)
+        {
+            if (CSTR_EQUAL == ::CompareStringW(LOCALE_INVARIANT, dwCompareString, wzLeftOperand + i, cchRight, wzRightOperand, cchRight))
+            {
+                *pfResult = TRUE;
+                ExitFunction();
+            }
+        }
+        *pfResult = FALSE;
+        break;
+    case BURN_SYMBOL_TYPE_HIEQ:
+    case BURN_SYMBOL_TYPE_HIEQ_I:
+        // test if left string starts with right string
+        *pfResult = cchLeft >= cchRight && CSTR_EQUAL == ::CompareStringW(LOCALE_INVARIANT, dwCompareString, wzLeftOperand, cchRight, wzRightOperand, cchRight);
+        break;
+    case BURN_SYMBOL_TYPE_LOEQ:
+    case BURN_SYMBOL_TYPE_LOEQ_I:
+        // test if left string ends with right string
+        *pfResult = cchLeft >= cchRight && CSTR_EQUAL == ::CompareStringW(LOCALE_INVARIANT, dwCompareString, wzLeftOperand + (cchLeft - cchRight), cchRight, wzRightOperand, cchRight);
+        break;
+    default:
+        ExitFunction1(hr = E_INVALIDARG);
+    }
+
+LExit:
+    return hr;
+}
+
+//
+// CompareIntegerValues - compares two integer values using a given comparison.
+//
+static HRESULT CompareIntegerValues(
+    __in BURN_SYMBOL_TYPE comparison,
+    __in LONGLONG llLeftOperand,
+    __in LONGLONG llRightOperand,
+    __out BOOL* pfResult
+    )
+{
+    HRESULT hr = S_OK;
+
+    switch (comparison)
+    {
+    case BURN_SYMBOL_TYPE_LT: case BURN_SYMBOL_TYPE_LT_I: *pfResult = llLeftOperand <  llRightOperand; break;
+    case BURN_SYMBOL_TYPE_GT: case BURN_SYMBOL_TYPE_GT_I: *pfResult = llLeftOperand >  llRightOperand; break;
+    case BURN_SYMBOL_TYPE_LE: case BURN_SYMBOL_TYPE_LE_I: *pfResult = llLeftOperand <= llRightOperand; break;
+    case BURN_SYMBOL_TYPE_GE: case BURN_SYMBOL_TYPE_GE_I: *pfResult = llLeftOperand >= llRightOperand; break;
+    case BURN_SYMBOL_TYPE_EQ: case BURN_SYMBOL_TYPE_EQ_I: *pfResult = llLeftOperand == llRightOperand; break;
+    case BURN_SYMBOL_TYPE_NE: case BURN_SYMBOL_TYPE_NE_I: *pfResult = llLeftOperand != llRightOperand; break;
+    case BURN_SYMBOL_TYPE_BAND: case BURN_SYMBOL_TYPE_BAND_I: *pfResult = (llLeftOperand & llRightOperand) ? TRUE : FALSE; break;
+    case BURN_SYMBOL_TYPE_HIEQ: case BURN_SYMBOL_TYPE_HIEQ_I: *pfResult = ((llLeftOperand >> 16) & 0xFFFF) == llRightOperand; break;
+    case BURN_SYMBOL_TYPE_LOEQ: case BURN_SYMBOL_TYPE_LOEQ_I: *pfResult = (llLeftOperand & 0xFFFF) == llRightOperand; break;
+    default:
+        ExitFunction1(hr = E_INVALIDARG);
+    }
+
+LExit:
+    return hr;
+}
+
+//
+// CompareVersionValues - compares two quad-word version values using a given comparison.
+//
+static HRESULT CompareVersionValues(
+    __in BURN_SYMBOL_TYPE comparison,
+    __in VERUTIL_VERSION* pLeftOperand,
+    __in VERUTIL_VERSION* pRightOperand,
+    __out BOOL* pfResult
+    )
+{
+    HRESULT hr = S_OK;
+    int nResult = 0;
+
+    hr = VerCompareParsedVersions(pLeftOperand, pRightOperand, &nResult);
+    ExitOnFailure(hr, "Failed to compare condition versions: '%ls', '%ls'", pLeftOperand->sczVersion, pRightOperand->sczVersion);
+
+    switch (comparison)
+    {
+    case BURN_SYMBOL_TYPE_LT: *pfResult = nResult <  0; break;
+    case BURN_SYMBOL_TYPE_GT: *pfResult = nResult >  0; break;
+    case BURN_SYMBOL_TYPE_LE: *pfResult = nResult <= 0; break;
+    case BURN_SYMBOL_TYPE_GE: *pfResult = nResult >= 0; break;
+    case BURN_SYMBOL_TYPE_EQ: *pfResult = nResult == 0; break;
+    case BURN_SYMBOL_TYPE_NE: *pfResult = nResult != 0; break;
+    default:
+        ExitFunction1(hr = E_INVALIDARG);
+    }
+
+LExit:
+    return hr;
+}