1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
//===-- fortify-klibc.c ---------------------------------------------------===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
/* Fortified versions of the libc functions defined in the klee-libc library */
#include "klee/klee.h"
#include <string.h>
void *__mempcpy_chk(void *dest, const void *src, size_t len, size_t destlen) {
if (len > destlen)
klee_report_error(__FILE__, __LINE__, "mempcpy overflow", "ptr.err");
return mempcpy(dest, src, len);
}
char *__stpcpy_chk(char *dest, const char *src, size_t destlen) {
return stpcpy(dest, src);
}
char *__strcat_chk(char *dest, const char *src, size_t destlen) {
return strcat(dest, src);
}
char *__strcpy_chk(char *dest, const char *src, size_t destlen) {
return strcpy(dest, src);
}
char *__strncpy_chk(char *s1, const char *s2, size_t n, size_t s1len) {
return strncpy(s1, s2, n);
}
|
