1209   const Expr *Dest = CE->getArg(0);  in evalMemcpy()
1212   evalCopyCommon(C, CE, state, CE->getArg(2), Dest, CE->getArg(1), true);  in evalMemcpy()
1221   const Expr *Dest = CE->getArg(0);  in evalMempcpy()
1224   evalCopyCommon(C, CE, state, CE->getArg(2), Dest, CE->getArg(1), true, true);  in evalMempcpy()
1233   const Expr *Dest = CE->getArg(0);  in evalMemmove()
1236   evalCopyCommon(C, CE, state, CE->getArg(2), Dest, CE->getArg(1));  in evalMemmove()
1245                  CE->getArg(2), CE->getArg(1), CE->getArg(0));  in evalBcopy()
1255   const Expr *Left = CE->getArg(0);  in evalMemcmp()
1256   const Expr *Right = CE->getArg(1);  in evalMemcmp()
1257   const Expr *Size = CE->getArg(2);  in evalMemcmp()
1349     const Expr *maxlenExpr = CE->getArg(1);  in evalstrLengthCommon()
1373   const Expr *Arg = CE->getArg(0);  in evalstrLengthCommon()
1397     const Expr *maxlenExpr = CE->getArg(1);  in evalstrLengthCommon()
1548   const Expr *Dst = CE->getArg(0);  in evalStrcpyCommon()
1556   const Expr *srcExpr = CE->getArg(1);  in evalStrcpyCommon()
1580   state = CheckOverlap(C, state, isBounded ? CE->getArg(2) : CE->getArg(1), Dst, srcExpr);  in evalStrcpyCommon()
1588     const Expr *lenExpr = CE->getArg(2);  in evalStrcpyCommon()
1816         state = CheckLocation(C, state, CE->getArg(2), maxLastElement,  in evalStrcpyCommon()
1924   const Expr *s1 = CE->getArg(0);  in evalStrcmpCommon()
1931   const Expr *s2 = CE->getArg(1);  in evalStrcmpCommon()
1990       const Expr *lenExpr = CE->getArg(2);  in evalStrcmpCommon()
2050   const Expr *SearchStrPtr = CE->getArg(0);  in evalStrsep()
2068   const Expr *DelimStr = CE->getArg(1);  in evalStrsep()
2130   const Expr *Dst = CE->getArg(2);  in evalStdCopyCommon()
2149   const Expr *Mem = CE->getArg(0);  in evalMemset()
2150   const Expr *CharE = CE->getArg(1);  in evalMemset()
2151   const Expr *Size = CE->getArg(2);  in evalMemset()
2200   const Expr *Mem = CE->getArg(0);  in evalBzero()
2201   const Expr *Size = CE->getArg(1);  in evalBzero()
2267     if (CE->getNumArgs() < 3 || !CE->getArg(2)->getType()->isPointerType())  in identifyCall()
2271     if (CE->getNumArgs() < 3 || !CE->getArg(2)->getType()->isPointerType())  in identifyCall()