1314         stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal);  in evalCopyCommon()
1363             nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalCopyCommon()
1366       state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement);  in evalCopyCommon()
1370       state = state->BindExpr(Call.getOriginExpr(), LCtx, destVal);  in evalCopyCommon()
1472     State = State->BindExpr(Call.getOriginExpr(), LCtx,  in evalMemcmp()
1499         State = SameBuffer->BindExpr(Call.getOriginExpr(), LCtx,  in evalMemcmp()
1513       SVal CmpV = Builder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalMemcmp()
1515       State = State->BindExpr(Call.getOriginExpr(), LCtx, CmpV);  in evalMemcmp()
1552       stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero);  in evalstrLengthCommon()
1618           nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalstrLengthCommon()
1642           nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalstrLengthCommon()
1648   state = state->BindExpr(Call.getOriginExpr(), LCtx, result);  in evalstrLengthCommon()
1898                 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal);  in evalStrcpyCommon()
1902               StateZeroSize = StateZeroSize->BindExpr(Call.getOriginExpr(),  in evalStrcpyCommon()
1909                   StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, retSize);  in evalStrcpyCommon()
1979           getCStringLength(C, state, Call.getOriginExpr(), DstVal, true);  in evalStrcpyCommon()
2109       Result = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalStrcpyCommon()
2114   state = state->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrcpyCommon()
2188         StSameBuf->BindExpr(Call.getOriginExpr(), LCtx,  in evalStrcmpCommon()
2209   SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(),  in evalStrcmpCommon()
2266   state = state->BindExpr(Call.getOriginExpr(), LCtx, resultVal);  in evalStrcmpCommon()
2317                        SVB.conjureSymbolVal(getTag(), Call.getOriginExpr(),  in evalStrsep()
2323     Result = SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalStrsep()
2328   State = State->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrsep()
2368       SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalStdCopyCommon()
2369   State = State->BindExpr(Call.getOriginExpr(), LCtx, ResultVal);  in evalStdCopyCommon()
2399     ZeroSize = ZeroSize->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal);  in evalMemset()
2421   State = State->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal);  in evalMemset()
2471   const auto *CE = cast<CallExpr>(Call.getOriginExpr());  in evalSprintf()
2479   const auto *CE = cast<CallExpr>(Call.getOriginExpr());  in evalSnprintf()
2487   const auto *CE = cast<CallExpr>(Call.getOriginExpr());  in evalSprintfCommon()
2525   const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in identifyCall()
2563   assert(isa<CallExpr>(Call.getOriginExpr()));  in evalCall()