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 2 -> mkdir "/d" 0o755 |
16 |
Tau |
17 |
RV_none |
18 |
Pid 2 -> open_close "/d/f" [O_CREAT;O_RDWR] 0o000 |
19 |
Tau |
20 |
RV_none |
21 |
Pid 2 -> chown "/d/f" (User_id 1) (Group_id 1) |
22 |
Tau |
23 |
RV_none |
24 |
|
25 |
Pid 2 -> open_close "/d/f" [O_RDONLY] |
26 |
Tau |
27 |
EACCES |
28 |
Pid 2 -> open_close "/d/f" [O_WRONLY] |
29 |
Tau |
30 |
EACCES |
31 |
Pid 2 -> open_close "/d/f" [O_RDWR] |
32 |
Tau |
33 |
EACCES |
34 |
Pid 2 -> open_close "/d/f" [O_RDONLY;O_TRUNC] |
35 |
Tau |
36 |
EACCES |
37 |
Pid 2 -> open_close "/d/f" [O_TRUNC;O_WRONLY] |
38 |
Tau |
39 |
EACCES |
40 |
Pid 2 -> open_close "/d/f" [O_RDONLY;O_APPEND] |
41 |
Tau |
42 |
EACCES |
43 |
Pid 2 -> open_close "/d/f" [O_APPEND;O_WRONLY] |
44 |
Tau |
45 |
EACCES |
46 |
|
47 |
dump-result /
/ |
D |
32643 |
|
|
/d |
D |
32648 |
|
|
/d/f |
F |
14 |
0 |
da39a3ee5e6b4b0d3255bfef95601890afd80709 |
|
48 |
|
49 |
|