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_create_230-int.trace' ...
2 @type trace
3 # ####################################
4 # Test perm_group_create_230
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 # Initialize environment
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" 0o230
53 Tau
54 RV_none
55
56 # Test
57
58 Pid 3 -> mkdir "d1" 0o777
59 Tau
60 RV_none
61 Pid 3 -> mkdir "d2" 0o777
62 Tau
63 EEXIST
64 Pid 3 -> open_close "f1" [O_EXCL;O_CREAT;O_RDWR] 0o666
65 Tau
66 RV_none
67 Pid 3 -> open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666
68 Tau
69 EEXIST
70 Pid 3 -> mkdir "/d/d3" 0o777
71 Tau
72 RV_none
73 Pid 3 -> mkdir "/d/d4" 0o777
74 Tau
75 EEXIST
76 Pid 3 -> open_close "/d/f3" [O_EXCL;O_CREAT;O_RDWR] 0o666
77 Tau
78 RV_none
79 Pid 3 -> open_close "/d/f4" [O_EXCL;O_CREAT;O_RDWR] 0o666
80 Tau
81 EEXIST
82 Pid 3 -> open_close "/d/f-nonexist" [O_RDONLY]
83 Tau
84 ENOENT
85
86 dump-result /
/ D 32641
/d D 32642
/d/f1 F 17 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
/d/f2 F 12 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
/d/f3 F 18 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
/d/f4 F 16 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
/d/d1 D 32650
/d/d2 D 32645
/d/d3 D 32651
/d/d4 D 32649
87
88