1314         stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal);  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()
1515       State = State->BindExpr(Call.getOriginExpr(), LCtx, CmpV);  in evalMemcmp()
1552       stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero);  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()
2114   state = state->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrcpyCommon()
2188         StSameBuf->BindExpr(Call.getOriginExpr(), LCtx,  in evalStrcmpCommon()
2266   state = state->BindExpr(Call.getOriginExpr(), LCtx, resultVal);  in evalStrcmpCommon()
2328   State = State->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrsep()
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()