1 |
2 |
@type trace |
3 |
4 |
5 |
6 |
|
7 |
Pid 2 -> create (User_id 1) (Group_id 1) |
8 |
add_user_to_group (User_id 1) (Group_id 1) |
9 |
Tau |
10 |
RV_none |
11 |
Pid 2 -> umask 0o000 |
12 |
Tau |
13 |
RV_file_perm(0o022) |
14 |
|
15 |
Pid 3 -> create (User_id 2) (Group_id 2) |
16 |
add_user_to_group (User_id 2) (Group_id 2) |
17 |
Tau |
18 |
RV_none |
19 |
add_user_to_group (User_id 2) (Group_id 1) |
20 |
Tau |
21 |
RV_none |
22 |
Pid 3 -> umask 0o000 |
23 |
Tau |
24 |
RV_file_perm(0o022) |
25 |
|
26 |
27 |
|
28 |
Pid 2 -> mkdir "/d" 0o777 |
29 |
Tau |
30 |
RV_none |
31 |
Pid 2 -> chdir "/d" |
32 |
Tau |
33 |
RV_none |
34 |
Pid 3 -> chdir "/d" |
35 |
Tau |
36 |
RV_none |
37 |
Pid 2 -> open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
38 |
Tau |
39 |
RV_none |
40 |
Pid 2 -> open_close "f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
41 |
Tau |
42 |
RV_none |
43 |
Pid 2 -> mkdir "d2" 0o777 |
44 |
Tau |
45 |
RV_none |
46 |
Pid 2 -> mkdir "d4" 0o777 |
47 |
Tau |
48 |
RV_none |
49 |
Pid 2 -> chown "/d" (User_id 1) (Group_id 1) |
50 |
Tau |
51 |
RV_none |
52 |
Pid 2 -> chmod "/d" 0o220 |
53 |
Tau |
54 |
RV_none |
55 |
|
56 |
57 |
|
58 |
Pid 3 -> mkdir "d1" 0o777 |
59 |
Tau |
60 |
EACCES |
61 |
Pid 3 -> mkdir "d2" 0o777 |
62 |
Tau |
63 |
EACCES |
64 |
Pid 3 -> open_close "f1" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
65 |
Tau |
66 |
EACCES |
67 |
Pid 3 -> open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
68 |
Tau |
69 |
EACCES |
70 |
Pid 3 -> mkdir "/d/d3" 0o777 |
71 |
Tau |
72 |
EACCES |
73 |
Pid 3 -> mkdir "/d/d4" 0o777 |
74 |
Tau |
75 |
EACCES |
76 |
Pid 3 -> open_close "/d/f3" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
77 |
Tau |
78 |
EACCES |
79 |
Pid 3 -> open_close "/d/f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
80 |
Tau |
81 |
EACCES |
82 |
Pid 3 -> open_close "/d/f-nonexist" [O_RDONLY] |
83 |
Tau |
84 |
EACCES |
85 |
|
86 |
dump-result /
/ |
D |
32641 |
|
|
/d |
D |
32646 |
|
|
/d/f2 |
F |
13 |
0 |
da39a3ee5e6b4b0d3255bfef95601890afd80709 |
/d/f4 |
F |
14 |
0 |
da39a3ee5e6b4b0d3255bfef95601890afd80709 |
/d/d2 |
D |
32647 |
|
|
/d/d4 |
D |
32648 |
|
|
|
87 |
|
88 |
|