From 6803c37be83f0c97c95870a18cb230e135a131c9 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Tue, 15 May 2018 15:10:16 +0100 Subject: Reorganise runtime libraries provided by KLEE Strictly differentiate between the following type of libraries: * FreeStanding: contains minimal amount of methods a compiler would expect * klee-libc: contains a minimal libc implementation * POSIX: contains a POSIX layer that can be used on top of a libc implementation * Intrinsic: contains additional runtime functions which provide KLEE-specific functionalities, (e.g. checks) Builds always archives instead of single modules. This allows to reduce linked-in dependencies of tested applications. --- runtime/klee-libc/memmove.c | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 runtime/klee-libc/memmove.c (limited to 'runtime/klee-libc/memmove.c') diff --git a/runtime/klee-libc/memmove.c b/runtime/klee-libc/memmove.c deleted file mode 100644 index 3e86de02..00000000 --- a/runtime/klee-libc/memmove.c +++ /dev/null @@ -1,28 +0,0 @@ -/*===-- memmove.c ---------------------------------------------------------===// -// -// The KLEE Symbolic Virtual Machine -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===*/ - -#include - -void *memmove(void *dst, const void *src, size_t count) { - char *a = dst; - const char *b = src; - - if (src == dst) - return dst; - - if (src>dst) { - while (count--) *a++ = *b++; - } else { - a+=count-1; - b+=count-1; - while (count--) *a-- = *b--; - } - - return dst; -} -- cgit 1.4.1