blob: 60e7695d86845d54436822e3427c951f7e2b6b0a (
plain)
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
38
39
40
41
42
43
|
#include <string.h>
#include "_safety.h"
/** concatenate strings **/
char * strcat(char * restrict s1, const char * restrict s2)
{
size_t i = 0;
SIGNAL_SAFE(0);
ASSERT_NONNULL(s1);
ASSERT_NONNULL(s2);
DANGEROUS_READ(s2, -1);
size_t s2len = strlen(s2);
DANGER_OVER();
DANGEROUS_READ(s1, -1);
size_t s1len = strlen(s1);
ASSERT_NOOVERLAP(s1, s1len + s2len, s2, s2len);
DANGEROUS_WRITE(s1, s1len + s2len);
/*
RETURN_ALWAYS(ARGUMENT(s1));
*/
while (s1[i] != '\0') {
i++;
}
strcpy(s1 + i, s2);
DANGER_OVER();
return s1;
}
CHECK_2(char *, 0, strcat, char * restrict, const char * restrict)
/***
appends a copy of the string at ARGUMENT(s2) to the end of
the string at ARGUMENT(s1). The first byte of ARGUMENT(s2) will overwrite the terminating
null character of ARGUMENT(s1).
***/
/*
STDC(1)
*/
|
