Up

Traces

linux[3.13.0-29-generic][system[GNU C Library (GNU libc) stable release version 2.21, by Roland McGrath et al.]][ext4_loop[mke2fs 1.42.9 (4-Feb-2014)]]@[2015-07-24T13:23:26Z./nix/store/fxisrpncjn4cxxwnq2lvilriqx63s9k9-fs_test]

Checked Trace
linux_spec@[/nix/store/fxisrpncjn4cxxwnq2lvilriqx63s9k9-fs_test] sexp stdout stderr
Traced Execution stdout stderr
Script script

Combined Trace

1 # processing file 'perm_group_open_710-int.trace' ...
2 @type trace
3 # ####################################
4 # Test perm_group_open_710
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 Pid 2 -> mkdir "/d" 0o755
27 Tau
28 RV_none
29 Pid 2 -> open_close "/d/f" [O_CREAT;O_RDWR] 0o710
30 Tau
31 RV_none
32 Pid 2 -> chown "/d/f" (User_id 1) (Group_id 1)
33 Tau
34 RV_none
35
36 Pid 3 -> open_close "/d/f" [O_RDONLY]
37 Tau
38 EACCES
39 Pid 3 -> open_close "/d/f" [O_WRONLY]
40 Tau
41 EACCES
42 Pid 3 -> open_close "/d/f" [O_RDWR]
43 Tau
44 EACCES
45 Pid 3 -> open_close "/d/f" [O_RDONLY;O_TRUNC]
46 Tau
47 EACCES
48 Pid 3 -> open_close "/d/f" [O_TRUNC;O_WRONLY]
49 Tau
50 EACCES
51 Pid 3 -> open_close "/d/f" [O_RDONLY;O_APPEND]
52 Tau
53 EACCES
54 Pid 3 -> open_close "/d/f" [O_APPEND;O_WRONLY]
55 Tau
56 EACCES
57
58 dump-result /
/ D 32641
/d D 32646
/d/f F 13 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
59
60