Up

Traces

linux[4.2.5-1-ARCH][system[GNU C Library (GNU libc) stable release version 2.22, by Roland McGrath et al.]][path=/mnt/flashix/[unknown]]@[2015-12-14T16:11:13Z./nix/store/qf513g69n2gy4prf0yhgggwimyl8q7kd-fs_test]

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

Combined Trace

1 # processing file 'adhoc_chown-int.trace' ...
2 @type trace
3 # ##########################################
4 # Testing chown
5 # ##########################################x
6
7 # Initialisation
8
9 umask 0o000
10 Tau
11 RV_file_perm(0o022)
12 mkdir "/dir" 0o777
13 Tau
14 RV_none
15 open_close "/file.txt" [O_CREAT;O_RDWR] 0o777
16 Tau
17 RV_none
18 symlink "/file.txt" "/sl"
19 Tau
20 RV_none
21
22 # test initial permissions
23
24 lstat "/dir"
25 Tau
26
RV_stat {
st_dev=42;
st_ino= 345466;
st_kind= S_IFDIR;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • RV_stat {
    st_dev=2049;
    st_ino= 1;
    st_kind= S_IFDIR;
    st_perm= 0o777;
    st_nlink=2;
    st_uid= 0;
    st_gid= 0;
    st_rdev=0;
    st_size= 9999;
    }
expected st_nlink 2 but got st_nlink 1
27 lstat "/file.txt"
28 Tau
29
RV_stat {
st_dev=42;
st_ino= 345467;
st_kind= S_IFREG;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
30 lstat "/sl"
31 Tau
32
RV_stat {
st_dev=42;
st_ino= 345468;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 9;
}
33
34 # Test 1 - change the ownership to the one the directory already has
35
36 chown "/dir" (User_id 0) (Group_id 0)
37 Tau
38 RV_none
39 lstat "/dir"
40 Tau
41
RV_stat {
st_dev=42;
st_ino= 345466;
st_kind= S_IFDIR;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • RV_stat {
    st_dev=2049;
    st_ino= 1;
    st_kind= S_IFDIR;
    st_perm= 0o777;
    st_nlink=2;
    st_uid= 0;
    st_gid= 0;
    st_rdev=0;
    st_size= 9999;
    }
expected st_nlink 2 but got st_nlink 1
42
43 # Test 2 - change the ownership to the one the file already has
44
45 chown "/file.txt" (User_id 0) (Group_id 0)
46 Tau
47 RV_none
48 lstat "/file.txt"
49 Tau
50
RV_stat {
st_dev=42;
st_ino= 345467;
st_kind= S_IFREG;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
51
52 # Test 3 - erroneous path
53
54 chown "" (User_id 0) (Group_id 0)
55 Tau
56 ENOENT
57
58 # Test 4 - not existing path
59
60 chown "/ciaociao" (User_id 0) (Group_id 0)
61 Tau
62 ENOENT
63 lstat "/ciaociao"
64 Tau
65 ENOENT
66
67 # Test 5 - change the ownership of the directory
68
69 chown "/dir" (User_id 1) (Group_id 0)
70 Tau
71 RV_none
72 lstat "/dir"
73 Tau
74
RV_stat {
st_dev=42;
st_ino= 345466;
st_kind= S_IFDIR;
st_perm= 0o777;
st_nlink=1;
st_uid= 1;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • RV_stat {
    st_dev=2049;
    st_ino= 1;
    st_kind= S_IFDIR;
    st_perm= 0o777;
    st_nlink=2;
    st_uid= 1;
    st_gid= 0;
    st_rdev=0;
    st_size= 9999;
    }
expected st_nlink 2 but got st_nlink 1
75
76 chown "/dir" (User_id 0) (Group_id 1)
77 Tau
78 RV_none
79 lstat "/dir"
80 Tau
81
RV_stat {
st_dev=42;
st_ino= 345466;
st_kind= S_IFDIR;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 1;
st_rdev=0;
st_size= 0;
}
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • RV_stat {
    st_dev=2049;
    st_ino= 1;
    st_kind= S_IFDIR;
    st_perm= 0o777;
    st_nlink=2;
    st_uid= 0;
    st_gid= 1;
    st_rdev=0;
    st_size= 9999;
    }
expected st_nlink 2 but got st_nlink 1
82
83 chown "/dir" (User_id 1) (Group_id 1)
84 Tau
85 RV_none
86 lstat "/dir"
87 Tau
88
RV_stat {
st_dev=42;
st_ino= 345466;
st_kind= S_IFDIR;
st_perm= 0o777;
st_nlink=1;
st_uid= 1;
st_gid= 1;
st_rdev=0;
st_size= 0;
}
THE SPEC ASSERTS THE STATE SET IS EMPTY
The spec permitted:
  • RV_stat {
    st_dev=2049;
    st_ino= 1;
    st_kind= S_IFDIR;
    st_perm= 0o777;
    st_nlink=2;
    st_uid= 1;
    st_gid= 1;
    st_rdev=0;
    st_size= 9999;
    }
expected st_nlink 2 but got st_nlink 1
89
90 # Test 6 - change the ownership of the file
91
92 chown "/file.txt" (User_id 1) (Group_id 0)
93 Tau
94 RV_none
95 lstat "/file.txt"
96 Tau
97
RV_stat {
st_dev=42;
st_ino= 345467;
st_kind= S_IFREG;
st_perm= 0o777;
st_nlink=1;
st_uid= 1;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
98
99 chown "/file.txt" (User_id 0) (Group_id 1)
100 Tau
101 RV_none
102 lstat "/file.txt"
103 Tau
104
RV_stat {
st_dev=42;
st_ino= 345467;
st_kind= S_IFREG;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 1;
st_rdev=0;
st_size= 0;
}
105
106 chown "/file.txt" (User_id 1) (Group_id 1)
107 Tau
108 RV_none
109 lstat "/file.txt"
110 Tau
111
RV_stat {
st_dev=42;
st_ino= 345467;
st_kind= S_IFREG;
st_perm= 0o777;
st_nlink=1;
st_uid= 1;
st_gid= 1;
st_rdev=0;
st_size= 0;
}
112
113 # Test 7 - using chown on a symlink
114
115 chown "/sl" (User_id 1) (Group_id 0)
116 Tau
117 RV_none
118 lstat "/sl"
119 Tau
120
RV_stat {
st_dev=42;
st_ino= 345468;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 9;
}
121
122 chown "/sl" (User_id 0) (Group_id 1)
123 Tau
124 RV_none
125 lstat "/sl"
126 Tau
127
RV_stat {
st_dev=42;
st_ino= 345468;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 9;
}
128
129 chown "/sl" (User_id 1) (Group_id 1)
130 Tau
131 RV_none
132 lstat "/sl"
133 Tau
134
RV_stat {
st_dev=42;
st_ino= 345468;
st_kind= S_IFLNK;
st_perm= 0o777;
st_nlink=1;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 9;
}
135
136 stat "/sl"
137 Tau
138
RV_stat {
st_dev=42;
st_ino= 345467;
st_kind= S_IFREG;
st_perm= 0o777;
st_nlink=1;
st_uid= 1;
st_gid= 1;
st_rdev=0;
st_size= 0;
}
139
140