43   const Expr *Expression;  member
383       assumeZero(C, State, l, Arg.Expression->getType());  in checkNonNull()
394       emitNullArgBug(C, stateNull, Arg.Expression, OS.str());  in checkNonNull()
477     emitUninitializedReadBug(C, State, Buffer.Expression, OS.str());  in checkInit()
541     emitUninitializedReadBug(C, State, Buffer.Expression, OS.str());  in checkInit()
588     emitOutOfBoundsBug(C, StOutBound, Buffer.Expression, Message);  in CheckLocation()
608   QualType SizeTy = Size.Expression->getType();  in CheckBufferAccess()
612   SVal BufVal = C.getSVal(Buffer.Expression);  in CheckBufferAccess()
622       svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType());  in CheckBufferAccess()
633   SVal LengthVal = C.getSVal(Size.Expression);  in CheckBufferAccess()
682   if (First.Expression->getType()->getPointeeType().getAddressSpace() !=  in CheckOverlap()
683       Second.Expression->getType()->getPointeeType().getAddressSpace())  in CheckOverlap()
688   SVal firstVal = state->getSVal(First.Expression, LCtx);  in CheckOverlap()
689   SVal secondVal = state->getSVal(Second.Expression, LCtx);  in CheckOverlap()
706     emitOverlapBug(C, stateTrue, First.Expression, Second.Expression);  in CheckOverlap()
738   SVal LengthVal = state->getSVal(Size.Expression, LCtx);  in CheckOverlap()
748       svalBuilder.evalCast(*firstLoc, CharPtrTy, First.Expression->getType());  in CheckOverlap()
772     emitOverlapBug(C, stateTrue, First.Expression, Second.Expression);  in CheckOverlap()
1445   SVal sizeVal = state->getSVal(Size.Expression, LCtx);  in evalCopyCommon()
1446   QualType sizeTy = Size.Expression->getType();  in evalCopyCommon()
1453   SVal destVal = state->getSVal(Dest.Expression, LCtx);  in evalCopyCommon()
1478     SVal srcVal = state->getSVal(Source.Expression, LCtx);  in evalCopyCommon()
1504           SvalBuilder.evalCast(destVal, CharPtrTy, Dest.Expression->getType());  in evalCopyCommon()
1506           state, BO_Add, DestRegCharVal, sizeVal, Dest.Expression->getType());  in evalCopyCommon()
1528         C, state, Dest.Expression, C.getSVal(Dest.Expression), sizeVal,  in evalCopyCommon()
1529         Size.Expression->getType());  in evalCopyCommon()
1533     state = invalidateSourceBuffer(C, state, Source.Expression,  in evalCopyCommon()
1534                                    C.getSVal(Source.Expression));  in evalCopyCommon()
1609   SVal sizeVal = State->getSVal(Size.Expression, LCtx);  in evalMemcmp()
1610   QualType sizeTy = Size.Expression->getType();  in evalMemcmp()
1632         State->getSVal(Left.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1634         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1714   SVal ArgVal = state->getSVal(Arg.Expression, LCtx);  in evalstrLengthCommon()
1720   SVal strLength = getCStringLength(C, state, Arg.Expression, ArgVal);  in evalstrLengthCommon()
1881   SVal DstVal = state->getSVal(Dst.Expression, LCtx);  in evalStrcpyCommon()
1888   SVal srcVal = state->getSVal(srcExpr.Expression, LCtx);  in evalStrcpyCommon()
1894   SVal strLength = getCStringLength(C, state, srcExpr.Expression, srcVal);  in evalStrcpyCommon()
1898   SVal dstStrLength = getCStringLength(C, state, Dst.Expression, DstVal);  in evalStrcpyCommon()
1919       {srcExpr.Expression, srcExpr.ArgumentIndex}};  in evalStrcpyCommon()
1932     SVal lenVal = state->getSVal(lenExpr.Expression, LCtx);  in evalStrcpyCommon()
1936         svalBuilder.evalCast(lenVal, sizeTy, lenExpr.Expression->getType());  in evalStrcpyCommon()
2184     QualType ptrTy = Dst.Expression->getType();  in evalStrcpyCommon()
2231     state = invalidateDestinationBufferBySize(C, state, Dst.Expression,  in evalStrcpyCommon()
2237     state = invalidateSourceBuffer(C, state, srcExpr.Expression, srcVal);  in evalStrcpyCommon()
2298   SVal LeftVal = state->getSVal(Left.Expression, LCtx);  in evalStrcmpCommon()
2305   SVal RightVal = state->getSVal(Right.Expression, LCtx);  in evalStrcmpCommon()
2311   SVal LeftLength = getCStringLength(C, state, Left.Expression, LeftVal);  in evalStrcmpCommon()
2316   SVal RightLength = getCStringLength(C, state, Right.Expression, RightVal);  in evalStrcmpCommon()
2353       getCStringLiteral(C, state, Left.Expression, LeftVal);  in evalStrcmpCommon()
2355       getCStringLiteral(C, state, Right.Expression, RightVal);  in evalStrcmpCommon()
2426   QualType CharPtrTy = SearchStrPtr.Expression->getType()->getPointeeType();  in evalStrsep()
2437   SVal SearchStrVal = State->getSVal(SearchStrPtr.Expression, LCtx);  in evalStrsep()
2444   SVal DelimStrVal = State->getSVal(DelimStr.Expression, LCtx);  in evalStrsep()
2459         C, State, SearchStrPtr.Expression, Result);  in evalStrsep()
2535   SVal SizeVal = C.getSVal(Size.Expression);  in evalMemset()
2536   QualType SizeTy = Size.Expression->getType();  in evalMemset()
2542   SVal BufferPtrVal = C.getSVal(Buffer.Expression);  in evalMemset()
2565   if (!memsetAux(Buffer.Expression, C.getSVal(CharE.Expression),  in evalMemset()
2566                  Size.Expression, C, State))  in evalMemset()
2583   SVal SizeVal = C.getSVal(Size.Expression);  in evalBzero()
2584   QualType SizeTy = Size.Expression->getType();  in evalBzero()
2598   SVal MemVal = C.getSVal(Buffer.Expression);  in evalBzero()
2610   if (!memsetAux(Buffer.Expression, Zero, Size.Expression, C, State))  in evalBzero()
2654         {Source.Expression, Source.ArgumentIndex}};  in evalSprintfCommon()