1 |
2 |
@type trace |
3 |
|
4 |
|
5 |
6 |
|
7 |
8 |
|
9 |
10 |
|
11 |
|
12 |
Pid 2 -> create (User_id 1) (Group_id 0) |
13 |
|
14 |
chmod "/" 0o1777 |
15 |
Tau |
16 |
RV_none |
17 |
|
18 |
Pid 2 -> mkdir "/empty_dir1" 0o1777 |
19 |
Tau |
20 |
RV_none |
21 |
|
22 |
Pid 1 -> chown "/empty_dir1" (User_id 2) (Group_id 0) |
23 |
Tau |
24 |
RV_none |
25 |
|
26 |
Pid 2 -> rename "/empty_dir1" "/mydir" |
27 |
Tau |
28 |
EPERM |
29 |
|
30 |
|
31 |
32 |
|
33 |
34 |
|
35 |
36 |
|
37 |
|
38 |
Pid 1 -> open_close "/f.txt" [O_RDONLY;O_CREAT] 0o666 |
39 |
Tau |
40 |
RV_none |
41 |
|
42 |
Pid 2 -> mkdir "/empty_dir2" 0o777 |
43 |
Tau |
44 |
RV_none |
45 |
|
46 |
Pid 2 -> rename "/f.txt" "/empty_dir1" |
47 |
Tau |
48 |
EPERM |
49 |
|
50 |
dump-result /
/ |
D |
32644 |
|
|
/f.txt |
F |
13 |
0 |
da39a3ee5e6b4b0d3255bfef95601890afd80709 |
/empty_dir1 |
D |
65286 |
|
|
/empty_dir2 |
D |
32641 |
|
|
|
51 |
|
52 |
|