303   DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);  in REGISTER_MAP_WITH_PROGRAMSTATE()
384   DefinedOrUnknownSVal Size =  in CheckLocation()
529   Optional<DefinedOrUnknownSVal> reverseTest =  in CheckOverlap()
530       reverse.getAs<DefinedOrUnknownSVal>();  in CheckOverlap()
574   Optional<DefinedOrUnknownSVal> OverlapTest =  in CheckOverlap()
575       Overlap.getAs<DefinedOrUnknownSVal>();  in CheckOverlap()
747       state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());  in checkAdditionOverflow()
835       state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true);  in getCStringLengthForRegion()
992   DefinedOrUnknownSVal SizeDV = getDynamicExtent(state, superReg, svalBuilder);  in IsFirstBufInBound()
995   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();  in IsFirstBufInBound()
1126     DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, BR, svalBuilder);  in memsetAux()
1173           State->assume(NewStrLenGESize.castAs<DefinedOrUnknownSVal>(), true),  in memsetAux()
1378     DefinedOrUnknownSVal LV =  in evalMemcmp()
1379         State->getSVal(Left.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1380     DefinedOrUnknownSVal RV =  in evalMemcmp()
1381         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1472   DefinedOrUnknownSVal result = UnknownVal();  in evalstrLengthCommon()
1494               .castAs<DefinedOrUnknownSVal>());  in evalstrLengthCommon()
1517                                   .castAs<DefinedOrUnknownSVal>(), true);  in evalstrLengthCommon()
1523                                   .castAs<DefinedOrUnknownSVal>(), true);  in evalstrLengthCommon()
1529     result = strLength.castAs<DefinedOrUnknownSVal>();  in evalstrLengthCommon()
1690                 .castAs<DefinedOrUnknownSVal>());  in evalStrcpyCommon()
1728             state->assume(hasEnoughSpace.castAs<DefinedOrUnknownSVal>());  in evalStrcpyCommon()
1869           state = state->assume(sourceInResult.castAs<DefinedOrUnknownSVal>(),  in evalStrcpyCommon()
1883               state->assume(destInResult.castAs<DefinedOrUnknownSVal>(), true);  in evalStrcpyCommon()
2042   DefinedOrUnknownSVal LV = LeftVal.castAs<DefinedOrUnknownSVal>();  in evalStrcmpCommon()
2043   DefinedOrUnknownSVal RV = RightVal.castAs<DefinedOrUnknownSVal>();  in evalStrcmpCommon()
2047   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);  in evalStrcmpCommon()
2410     DefinedOrUnknownSVal strLength =  in checkPreStmt()
2411       getCStringLength(C, state, Init, StrVal).castAs<DefinedOrUnknownSVal>();  in checkPreStmt()