Lines Matching refs:LCtx
363 const LocationContext *LCtx = C.getLocationContext(); in CheckBufferAccess() local
369 SVal BufVal = state->getSVal(FirstBuf, LCtx); in CheckBufferAccess()
381 SVal LengthVal = state->getSVal(Size, LCtx); in CheckBufferAccess()
407 BufVal = state->getSVal(SecondBuf, LCtx); in CheckBufferAccess()
445 const LocationContext *LCtx = C.getLocationContext(); in CheckOverlap() local
446 SVal firstVal = state->getSVal(First, LCtx); in CheckOverlap()
447 SVal secondVal = state->getSVal(Second, LCtx); in CheckOverlap()
496 SVal LengthVal = state->getSVal(Size, LCtx); in CheckOverlap()
841 const LocationContext *LCtx = C.getLocationContext(); in IsFirstBufInBound() local
845 SVal BufVal = state->getSVal(FirstBuf, LCtx); in IsFirstBufInBound()
847 SVal LengthVal = state->getSVal(Size, LCtx); in IsFirstBufInBound()
916 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in InvalidateBuffer() local
939 return state->invalidateRegions(R, E, C.blockCount(), LCtx, in InvalidateBuffer()
1000 const LocationContext *LCtx = C.getLocationContext(); in evalCopyCommon() local
1001 SVal sizeVal = state->getSVal(Size, LCtx); in evalCopyCommon()
1009 SVal destVal = state->getSVal(Dest, LCtx); in evalCopyCommon()
1014 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1030 SVal srcVal = state->getSVal(Source, LCtx); in evalCopyCommon()
1068 state = state->BindExpr(CE, LCtx, lastElement); in evalCopyCommon()
1072 SVal result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, in evalCopyCommon()
1074 state = state->BindExpr(CE, LCtx, result); in evalCopyCommon()
1080 state = state->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1162 const LocationContext *LCtx = C.getLocationContext(); in evalMemcmp() local
1163 SVal sizeVal = state->getSVal(Size, LCtx); in evalMemcmp()
1174 state = state->BindExpr(CE, LCtx, in evalMemcmp()
1186 state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>(); in evalMemcmp()
1188 state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>(); in evalMemcmp()
1201 state = StSameBuf->BindExpr(CE, LCtx, in evalMemcmp()
1214 SVal CmpV = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, in evalMemcmp()
1216 state = state->BindExpr(CE, LCtx, CmpV); in evalMemcmp()
1245 const LocationContext *LCtx = C.getLocationContext(); in evalstrLengthCommon() local
1249 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon()
1259 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); in evalstrLengthCommon()
1273 SVal ArgVal = state->getSVal(Arg, LCtx); in evalstrLengthCommon()
1297 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon()
1325 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, in evalstrLengthCommon()
1349 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, in evalstrLengthCommon()
1356 state = state->BindExpr(CE, LCtx, result); in evalstrLengthCommon()
1420 const LocationContext *LCtx = C.getLocationContext(); in evalStrcpyCommon() local
1424 SVal DstVal = state->getSVal(Dst, LCtx); in evalStrcpyCommon()
1432 SVal srcVal = state->getSVal(srcExpr, LCtx); in evalStrcpyCommon()
1459 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcpyCommon()
1527 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
1734 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrcpyCommon()
1738 state = state->BindExpr(CE, LCtx, Result); in evalStrcpyCommon()
1780 const LocationContext *LCtx = C.getLocationContext(); in evalStrcmpCommon() local
1784 SVal s1Val = state->getSVal(s1, LCtx); in evalStrcmpCommon()
1791 SVal s2Val = state->getSVal(s2, LCtx); in evalStrcmpCommon()
1821 StSameBuf = StSameBuf->BindExpr(CE, LCtx, in evalStrcmpCommon()
1840 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, in evalStrcmpCommon()
1850 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon()
1897 state = state->BindExpr(CE, LCtx, resultVal); in evalStrcmpCommon()
1917 const LocationContext *LCtx = C.getLocationContext(); in evalStrsep() local
1921 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx); in evalStrsep()
1928 SVal DelimStrVal = State->getSVal(DelimStr, LCtx); in evalStrsep()
1947 SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy, in evalStrsep()
1952 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrsep()
1956 State = State->BindExpr(CE, LCtx, Result); in evalStrsep()
1977 const LocationContext *LCtx = C.getLocationContext(); in evalStdCopyCommon() local
1986 SVal DstVal = State->getSVal(Dst, LCtx); in evalStdCopyCommon()
1992 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStdCopyCommon()
1993 State = State->BindExpr(CE, LCtx, ResultVal); in evalStdCopyCommon()