227   DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);  in REGISTER_MAP_WITH_PROGRAMSTATE()
300   DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();  in CheckLocation()
303   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();  in CheckLocation()
476   Optional<DefinedOrUnknownSVal> reverseTest =  in CheckOverlap()
477       reverse.getAs<DefinedOrUnknownSVal>();  in CheckOverlap()
521   Optional<DefinedOrUnknownSVal> OverlapTest =  in CheckOverlap()
522       Overlap.getAs<DefinedOrUnknownSVal>();  in CheckOverlap()
597       state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());  in checkAdditionOverflow()
702       state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true);  in getCStringLengthForRegion()
883   DefinedOrUnknownSVal ExtentSize = Extent.castAs<DefinedOrUnknownSVal>();  in IsFirstBufInBound()
886   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();  in IsFirstBufInBound()
1185     DefinedOrUnknownSVal LV =  in evalMemcmp()
1186         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1187     DefinedOrUnknownSVal RV =  in evalMemcmp()
1188         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1191     DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);  in evalMemcmp()
1287   DefinedOrUnknownSVal result = UnknownVal();  in evalstrLengthCommon()
1309               .castAs<DefinedOrUnknownSVal>());  in evalstrLengthCommon()
1332                                   .castAs<DefinedOrUnknownSVal>(), true);  in evalstrLengthCommon()
1338                                   .castAs<DefinedOrUnknownSVal>(), true);  in evalstrLengthCommon()
1344     result = strLength.castAs<DefinedOrUnknownSVal>();  in evalstrLengthCommon()
1477               .castAs<DefinedOrUnknownSVal>());  in evalStrcpyCommon()
1561               copiedLessThanBound.castAs<DefinedOrUnknownSVal>(), true);  in evalStrcpyCommon()
1573               copiedLessThanSrc.castAs<DefinedOrUnknownSVal>(), true);  in evalStrcpyCommon()
1632           state = state->assume(sourceInResult.castAs<DefinedOrUnknownSVal>(),  in evalStrcpyCommon()
1645               state->assume(destInResult.castAs<DefinedOrUnknownSVal>(), true);  in evalStrcpyCommon()
1809   DefinedOrUnknownSVal LV = s1Val.castAs<DefinedOrUnknownSVal>();  in evalStrcmpCommon()
1810   DefinedOrUnknownSVal RV = s2Val.castAs<DefinedOrUnknownSVal>();  in evalStrcmpCommon()
1814   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);  in evalStrcmpCommon()
2106     DefinedOrUnknownSVal strLength =  in checkPreStmt()
2107         getCStringLength(C, state, Init, StrVal).castAs<DefinedOrUnknownSVal>();  in checkPreStmt()