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
|
#include <stdio.h>
//void free (char * bob);
/*@nullterminated@*/ char * strcpy ( char * ch1, /*@nullterminated@*/
char * ch2);
char * global;
void test2 ()
{
char * y;
char * x;
strcpy (y, x);
strcpy (y, "bob");
x = "bob";
strcpy (y, x);
strcpy (y, global);
}
/*@nullterminated@*/ char * tr ( char * e) {
/*@nullterminated@*/ char * c;
return (e);
}
int main ()
{
/*@nullterminated@*/ char * d;
d = tr(d);
tr(d);
free (d);
return 0;
}
|
