359   const LocationContext *LCtx = C.getLocationContext();  in CheckBufferAccess()  local
365   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in CheckBufferAccess()
377   SVal LengthVal = state->getSVal(Size, LCtx);  in CheckBufferAccess()
403     BufVal = state->getSVal(SecondBuf, LCtx);  in CheckBufferAccess()
441   const LocationContext *LCtx = C.getLocationContext();  in CheckOverlap()  local
442   SVal firstVal = state->getSVal(First, LCtx);  in CheckOverlap()
443   SVal secondVal = state->getSVal(Second, LCtx);  in CheckOverlap()
492   SVal LengthVal = state->getSVal(Size, LCtx);  in CheckOverlap()
837   const LocationContext *LCtx = C.getLocationContext();  in IsFirstBufInBound()  local
841   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in IsFirstBufInBound()
843   SVal LengthVal = state->getSVal(Size, LCtx);  in IsFirstBufInBound()
912     const LocationContext *LCtx = C.getPredecessor()->getLocationContext();  in InvalidateBuffer()  local
935     return state->invalidateRegions(R, E, C.blockCount(), LCtx,  in InvalidateBuffer()
996   const LocationContext *LCtx = C.getLocationContext();  in evalCopyCommon()  local
997   SVal sizeVal = state->getSVal(Size, LCtx);  in evalCopyCommon()
1005   SVal destVal = state->getSVal(Dest, LCtx);  in evalCopyCommon()
1010     stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1026     SVal srcVal = state->getSVal(Source, LCtx);  in evalCopyCommon()
1064         state = state->BindExpr(CE, LCtx, lastElement);  in evalCopyCommon()
1068         SVal result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalCopyCommon()
1070         state = state->BindExpr(CE, LCtx, result);  in evalCopyCommon()
1076       state = state->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1158   const LocationContext *LCtx = C.getLocationContext();  in evalMemcmp()  local
1159   SVal sizeVal = state->getSVal(Size, LCtx);  in evalMemcmp()
1170     state = state->BindExpr(CE, LCtx,  in evalMemcmp()
1182         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1184         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1197         state = StSameBuf->BindExpr(CE, LCtx,  in evalMemcmp()
1210         SVal CmpV = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,  in evalMemcmp()
1212         state = state->BindExpr(CE, LCtx, CmpV);  in evalMemcmp()
1241   const LocationContext *LCtx = C.getLocationContext();  in evalstrLengthCommon()  local
1245     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1255       stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);  in evalstrLengthCommon()
1269   SVal ArgVal = state->getSVal(Arg, LCtx);  in evalstrLengthCommon()
1293     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1321       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1345       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1352   state = state->BindExpr(CE, LCtx, result);  in evalstrLengthCommon()
1416   const LocationContext *LCtx = C.getLocationContext();  in evalStrcpyCommon()  local
1420   SVal DstVal = state->getSVal(Dst, LCtx);  in evalStrcpyCommon()
1428   SVal srcVal = state->getSVal(srcExpr, LCtx);  in evalStrcpyCommon()
1455     SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcpyCommon()
1523           StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);  in evalStrcpyCommon()
1730     Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStrcpyCommon()
1734   state = state->BindExpr(CE, LCtx, Result);  in evalStrcpyCommon()
1776   const LocationContext *LCtx = C.getLocationContext();  in evalStrcmpCommon()  local
1780   SVal s1Val = state->getSVal(s1, LCtx);  in evalStrcmpCommon()
1787   SVal s2Val = state->getSVal(s2, LCtx);  in evalStrcmpCommon()
1817     StSameBuf = StSameBuf->BindExpr(CE, LCtx,  in evalStrcmpCommon()
1844       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
1881       state = state->BindExpr(CE, LCtx, resultVal);  in evalStrcmpCommon()
1887     SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,  in evalStrcmpCommon()
1889     state = state->BindExpr(CE, LCtx, resultVal);  in evalStrcmpCommon()
1910   const LocationContext *LCtx = C.getLocationContext();  in evalStrsep()  local
1914   SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);  in evalStrsep()
1921   SVal DelimStrVal = State->getSVal(DelimStr, LCtx);  in evalStrsep()
1940                            SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy,  in evalStrsep()
1945     Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStrsep()
1949   State = State->BindExpr(CE, LCtx, Result);  in evalStrsep()