1124     stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1177       state = state->BindExpr(CE, LCtx, lastElement);  in evalCopyCommon()
1181       state = state->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1275     state = state->BindExpr(CE, LCtx,  in evalMemcmp()
1302         state = StSameBuf->BindExpr(CE, LCtx,  in evalMemcmp()
1317         state = state->BindExpr(CE, LCtx, CmpV);  in evalMemcmp()
1360       stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);  in evalstrLengthCommon()
1457   state = state->BindExpr(CE, LCtx, result);  in evalstrLengthCommon()
1658             StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);  in evalStrcpyCommon()
1660             StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, *lenValNL);  in evalStrcpyCommon()
1879   state = state->BindExpr(CE, LCtx, Result);  in evalStrcpyCommon()
1962     StSameBuf = StSameBuf->BindExpr(CE, LCtx,  in evalStrcmpCommon()
2038   state = state->BindExpr(CE, LCtx, resultVal);  in evalStrcmpCommon()
2101   State = State->BindExpr(CE, LCtx, Result);  in evalStrsep()
2138   State = State->BindExpr(CE, LCtx, ResultVal);  in evalStdCopyCommon()
2169     StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, MemVal);  in evalMemset()
2190   State = State->BindExpr(CE, LCtx, MemVal);  in evalMemset()