35   AnyArgExpr(const Expr *Expression, unsigned ArgumentIndex)  in AnyArgExpr()
36       : Expression{Expression}, ArgumentIndex{ArgumentIndex} {}  in AnyArgExpr()
37   const Expr *Expression;  member
303       assumeZero(C, State, l, Arg.Expression->getType());  in checkNonNull()
314       emitNullArgBug(C, stateNull, Arg.Expression, OS.str());  in checkNonNull()
366     emitOutOfBoundsBug(C, StOutBound, Buffer.Expression, Message);  in CheckLocation()
387   QualType SizeTy = Size.Expression->getType();  in CheckBufferAccess()
391   SVal BufVal = C.getSVal(Buffer.Expression);  in CheckBufferAccess()
403   SVal LengthVal = C.getSVal(Size.Expression);  in CheckBufferAccess()
417       svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType());  in CheckBufferAccess()
453   SVal firstVal = state->getSVal(First.Expression, LCtx);  in CheckOverlap()
454   SVal secondVal = state->getSVal(Second.Expression, LCtx);  in CheckOverlap()
471     emitOverlapBug(C, stateTrue, First.Expression, Second.Expression);  in CheckOverlap()
503   SVal LengthVal = state->getSVal(Size.Expression, LCtx);  in CheckOverlap()
513       svalBuilder.evalCast(*firstLoc, CharPtrTy, First.Expression->getType());  in CheckOverlap()
537     emitOverlapBug(C, stateTrue, First.Expression, Second.Expression);  in CheckOverlap()
1135   SVal sizeVal = state->getSVal(Size.Expression, LCtx);  in evalCopyCommon()
1136   QualType sizeTy = Size.Expression->getType();  in evalCopyCommon()
1143   SVal destVal = state->getSVal(Dest.Expression, LCtx);  in evalCopyCommon()
1164     SVal srcVal = state->getSVal(Source.Expression, LCtx);  in evalCopyCommon()
1190           SvalBuilder.evalCast(destVal, CharPtrTy, Dest.Expression->getType());  in evalCopyCommon()
1192           state, BO_Add, DestRegCharVal, sizeVal, Dest.Expression->getType());  in evalCopyCommon()
1214         InvalidateBuffer(C, state, Dest.Expression, C.getSVal(Dest.Expression),  in evalCopyCommon()
1215                          /*IsSourceBuffer*/ false, Size.Expression);  in evalCopyCommon()
1219     state = InvalidateBuffer(C, state, Source.Expression,  in evalCopyCommon()
1220                              C.getSVal(Source.Expression),  in evalCopyCommon()
1289   SVal sizeVal = State->getSVal(Size.Expression, LCtx);  in evalMemcmp()
1290   QualType sizeTy = Size.Expression->getType();  in evalMemcmp()
1311         State->getSVal(Left.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1313         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1391   SVal ArgVal = state->getSVal(Arg.Expression, LCtx);  in evalstrLengthCommon()
1397   SVal strLength = getCStringLength(C, state, Arg.Expression, ArgVal);  in evalstrLengthCommon()
1551   SVal DstVal = state->getSVal(Dst.Expression, LCtx);  in evalStrcpyCommon()
1558   SVal srcVal = state->getSVal(srcExpr.Expression, LCtx);  in evalStrcpyCommon()
1564   SVal strLength = getCStringLength(C, state, srcExpr.Expression, srcVal);  in evalStrcpyCommon()
1568   SVal dstStrLength = getCStringLength(C, state, Dst.Expression, DstVal);  in evalStrcpyCommon()
1588   SizeArgExpr SrcExprAsSizeDummy = {srcExpr.Expression, srcExpr.ArgumentIndex};  in evalStrcpyCommon()
1601     SVal lenVal = state->getSVal(lenExpr.Expression, LCtx);  in evalStrcpyCommon()
1605         svalBuilder.evalCast(lenVal, sizeTy, lenExpr.Expression->getType());  in evalStrcpyCommon()
1848     QualType ptrTy = Dst.Expression->getType();  in evalStrcpyCommon()
1885     state = InvalidateBuffer(C, state, Dst.Expression, *dstRegVal,  in evalStrcpyCommon()
1890     state = InvalidateBuffer(C, state, srcExpr.Expression, srcVal,  in evalStrcpyCommon()
1949   SVal LeftVal = state->getSVal(Left.Expression, LCtx);  in evalStrcmpCommon()
1956   SVal RightVal = state->getSVal(Right.Expression, LCtx);  in evalStrcmpCommon()
1962   SVal LeftLength = getCStringLength(C, state, Left.Expression, LeftVal);  in evalStrcmpCommon()
1967   SVal RightLength = getCStringLength(C, state, Right.Expression, RightVal);  in evalStrcmpCommon()
2003       getCStringLiteral(C, state, Left.Expression, LeftVal);  in evalStrcmpCommon()
2005       getCStringLiteral(C, state, Right.Expression, RightVal);  in evalStrcmpCommon()
2075   QualType CharPtrTy = SearchStrPtr.Expression->getType()->getPointeeType();  in evalStrsep()
2086   SVal SearchStrVal = State->getSVal(SearchStrPtr.Expression, LCtx);  in evalStrsep()
2093   SVal DelimStrVal = State->getSVal(DelimStr.Expression, LCtx);  in evalStrsep()
2106     State = InvalidateBuffer(C, State, SearchStrPtr.Expression, Result,  in evalStrsep()
2179   SVal SizeVal = C.getSVal(Size.Expression);  in evalMemset()
2180   QualType SizeTy = Size.Expression->getType();  in evalMemset()
2186   SVal BufferPtrVal = C.getSVal(Buffer.Expression);  in evalMemset()
2209   if (!memsetAux(Buffer.Expression, C.getSVal(CharE.Expression),  in evalMemset()
2210                  Size.Expression, C, State))  in evalMemset()
2227   SVal SizeVal = C.getSVal(Size.Expression);  in evalBzero()
2228   QualType SizeTy = Size.Expression->getType();  in evalBzero()
2242   SVal MemVal = C.getSVal(Buffer.Expression);  in evalBzero()
2254   if (!memsetAux(Buffer.Expression, Zero, Size.Expression, C, State))  in evalBzero()