runtime/klee-libc/strcpy.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

/*===-- strcpy.c ----------------------------------------------------------===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===*/

char *strcpy(char *to, const char *from) {
  char *start = to;

  while ((*to = *from))
    ++to, ++from;

  return start;
}