1 |
2 |
@type trace |
3 |
4 |
5 |
6 |
|
7 |
8 |
9 |
10 |
11 |
12 |
13 |
14 |
|
15 |
|
16 |
17 |
mkdir "/tmp_dir_rwx/" 0o777 |
18 |
Tau |
19 |
RV_none |
20 |
chdir "/tmp_dir_rwx" |
21 |
Tau |
22 |
RV_none |
23 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
24 |
Tau |
25 |
RV_none |
26 |
open_close "f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
27 |
Tau |
28 |
RV_none |
29 |
mkdir "d2" 0o777 |
30 |
Tau |
31 |
RV_none |
32 |
mkdir "d4" 0o777 |
33 |
Tau |
34 |
RV_none |
35 |
chmod "/tmp_dir_rwx/" 0o700 |
36 |
Tau |
37 |
RV_none |
38 |
|
39 |
mkdir "d1" 0o777 |
40 |
Tau |
41 |
RV_none |
42 |
mkdir "d2" 0o777 |
43 |
Tau |
44 |
EEXIST |
45 |
open_close "f1" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
46 |
Tau |
47 |
RV_none |
48 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
49 |
Tau |
50 |
EEXIST |
51 |
mkdir "/tmp_dir_rwx/d3" 0o777 |
52 |
Tau |
53 |
RV_none |
54 |
mkdir "/tmp_dir_rwx/d4" 0o777 |
55 |
Tau |
56 |
EEXIST |
57 |
open_close "/tmp_dir_rwx/f3" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
58 |
Tau |
59 |
RV_none |
60 |
open_close "/tmp_dir_rwx/f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
61 |
Tau |
62 |
EEXIST |
63 |
|
64 |
|
65 |
66 |
mkdir "/tmp_dir_rw_/" 0o777 |
67 |
Tau |
68 |
RV_none |
69 |
chdir "/tmp_dir_rw_" |
70 |
Tau |
71 |
RV_none |
72 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
73 |
Tau |
74 |
RV_none |
75 |
open_close "f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
76 |
Tau |
77 |
RV_none |
78 |
mkdir "d2" 0o777 |
79 |
Tau |
80 |
RV_none |
81 |
mkdir "d4" 0o777 |
82 |
Tau |
83 |
RV_none |
84 |
chmod "/tmp_dir_rw_/" 0o600 |
85 |
Tau |
86 |
RV_none |
87 |
|
88 |
mkdir "d1" 0o777 |
89 |
Tau |
90 |
RV_none |
91 |
mkdir "d2" 0o777 |
92 |
Tau |
93 |
EEXIST |
94 |
open_close "f1" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
95 |
Tau |
96 |
RV_none |
97 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
98 |
Tau |
99 |
EEXIST |
100 |
mkdir "/tmp_dir_rw_/d3" 0o777 |
101 |
Tau |
102 |
RV_none |
103 |
mkdir "/tmp_dir_rw_/d4" 0o777 |
104 |
Tau |
105 |
EEXIST |
106 |
open_close "/tmp_dir_rw_/f3" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
107 |
Tau |
108 |
RV_none |
109 |
open_close "/tmp_dir_rw_/f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
110 |
Tau |
111 |
EEXIST |
112 |
|
113 |
|
114 |
115 |
mkdir "/tmp_dir_r_x/" 0o777 |
116 |
Tau |
117 |
RV_none |
118 |
chdir "/tmp_dir_r_x" |
119 |
Tau |
120 |
RV_none |
121 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
122 |
Tau |
123 |
RV_none |
124 |
open_close "f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
125 |
Tau |
126 |
RV_none |
127 |
mkdir "d2" 0o777 |
128 |
Tau |
129 |
RV_none |
130 |
mkdir "d4" 0o777 |
131 |
Tau |
132 |
RV_none |
133 |
chmod "/tmp_dir_r_x/" 0o500 |
134 |
Tau |
135 |
RV_none |
136 |
|
137 |
mkdir "d1" 0o777 |
138 |
Tau |
139 |
RV_none |
140 |
mkdir "d2" 0o777 |
141 |
Tau |
142 |
EEXIST |
143 |
open_close "f1" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
144 |
Tau |
145 |
RV_none |
146 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
147 |
Tau |
148 |
EEXIST |
149 |
mkdir "/tmp_dir_r_x/d3" 0o777 |
150 |
Tau |
151 |
RV_none |
152 |
mkdir "/tmp_dir_r_x/d4" 0o777 |
153 |
Tau |
154 |
EEXIST |
155 |
open_close "/tmp_dir_r_x/f3" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
156 |
Tau |
157 |
RV_none |
158 |
open_close "/tmp_dir_r_x/f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
159 |
Tau |
160 |
EEXIST |
161 |
|
162 |
|
163 |
164 |
mkdir "/tmp_dir_r__/" 0o777 |
165 |
Tau |
166 |
RV_none |
167 |
chdir "/tmp_dir_r__" |
168 |
Tau |
169 |
RV_none |
170 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
171 |
Tau |
172 |
RV_none |
173 |
open_close "f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
174 |
Tau |
175 |
RV_none |
176 |
mkdir "d2" 0o777 |
177 |
Tau |
178 |
RV_none |
179 |
mkdir "d4" 0o777 |
180 |
Tau |
181 |
RV_none |
182 |
chmod "/tmp_dir_r__/" 0o400 |
183 |
Tau |
184 |
RV_none |
185 |
|
186 |
mkdir "d1" 0o777 |
187 |
Tau |
188 |
RV_none |
189 |
mkdir "d2" 0o777 |
190 |
Tau |
191 |
EEXIST |
192 |
open_close "f1" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
193 |
Tau |
194 |
RV_none |
195 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
196 |
Tau |
197 |
EEXIST |
198 |
mkdir "/tmp_dir_r__/d3" 0o777 |
199 |
Tau |
200 |
RV_none |
201 |
mkdir "/tmp_dir_r__/d4" 0o777 |
202 |
Tau |
203 |
EEXIST |
204 |
open_close "/tmp_dir_r__/f3" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
205 |
Tau |
206 |
RV_none |
207 |
open_close "/tmp_dir_r__/f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
208 |
Tau |
209 |
EEXIST |
210 |
|
211 |
|
212 |
|
213 |
214 |
mkdir "/tmp_dir__wx/" 0o777 |
215 |
Tau |
216 |
RV_none |
217 |
chdir "/tmp_dir__wx" |
218 |
Tau |
219 |
RV_none |
220 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
221 |
Tau |
222 |
RV_none |
223 |
open_close "f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
224 |
Tau |
225 |
RV_none |
226 |
mkdir "d2" 0o777 |
227 |
Tau |
228 |
RV_none |
229 |
mkdir "d4" 0o777 |
230 |
Tau |
231 |
RV_none |
232 |
chmod "/tmp_dir__wx/" 0o300 |
233 |
Tau |
234 |
RV_none |
235 |
|
236 |
mkdir "d1" 0o777 |
237 |
Tau |
238 |
RV_none |
239 |
mkdir "d2" 0o777 |
240 |
Tau |
241 |
EEXIST |
242 |
open_close "f1" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
243 |
Tau |
244 |
RV_none |
245 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
246 |
Tau |
247 |
EEXIST |
248 |
mkdir "/tmp_dir__wx/d3" 0o777 |
249 |
Tau |
250 |
RV_none |
251 |
mkdir "/tmp_dir__wx/d4" 0o777 |
252 |
Tau |
253 |
EEXIST |
254 |
open_close "/tmp_dir__wx/f3" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
255 |
Tau |
256 |
RV_none |
257 |
open_close "/tmp_dir__wx/f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
258 |
Tau |
259 |
EEXIST |
260 |
|
261 |
|
262 |
|
263 |
264 |
mkdir "/tmp_dir__w_/" 0o777 |
265 |
Tau |
266 |
RV_none |
267 |
chdir "/tmp_dir__w_" |
268 |
Tau |
269 |
RV_none |
270 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
271 |
Tau |
272 |
RV_none |
273 |
open_close "f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
274 |
Tau |
275 |
RV_none |
276 |
mkdir "d2" 0o777 |
277 |
Tau |
278 |
RV_none |
279 |
mkdir "d4" 0o777 |
280 |
Tau |
281 |
RV_none |
282 |
chmod "/tmp_dir__w_/" 0o200 |
283 |
Tau |
284 |
RV_none |
285 |
|
286 |
mkdir "d1" 0o777 |
287 |
Tau |
288 |
RV_none |
289 |
mkdir "d2" 0o777 |
290 |
Tau |
291 |
EEXIST |
292 |
open_close "f1" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
293 |
Tau |
294 |
RV_none |
295 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
296 |
Tau |
297 |
EEXIST |
298 |
mkdir "/tmp_dir__w_/d3" 0o777 |
299 |
Tau |
300 |
RV_none |
301 |
mkdir "/tmp_dir__w_/d4" 0o777 |
302 |
Tau |
303 |
EEXIST |
304 |
open_close "/tmp_dir__w_/f3" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
305 |
Tau |
306 |
RV_none |
307 |
open_close "/tmp_dir__w_/f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
308 |
Tau |
309 |
EEXIST |
310 |
|
311 |
|
312 |
313 |
mkdir "/tmp_dir___x/" 0o777 |
314 |
Tau |
315 |
RV_none |
316 |
chdir "/tmp_dir___x" |
317 |
Tau |
318 |
RV_none |
319 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
320 |
Tau |
321 |
RV_none |
322 |
open_close "f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
323 |
Tau |
324 |
RV_none |
325 |
mkdir "d2" 0o777 |
326 |
Tau |
327 |
RV_none |
328 |
mkdir "d4" 0o777 |
329 |
Tau |
330 |
RV_none |
331 |
chmod "/tmp_dir___x/" 0o100 |
332 |
Tau |
333 |
RV_none |
334 |
|
335 |
mkdir "d1" 0o777 |
336 |
Tau |
337 |
RV_none |
338 |
mkdir "d2" 0o777 |
339 |
Tau |
340 |
EEXIST |
341 |
open_close "f1" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
342 |
Tau |
343 |
RV_none |
344 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
345 |
Tau |
346 |
EEXIST |
347 |
mkdir "/tmp_dir___x/d3" 0o777 |
348 |
Tau |
349 |
RV_none |
350 |
mkdir "/tmp_dir___x/d4" 0o777 |
351 |
Tau |
352 |
EEXIST |
353 |
open_close "/tmp_dir___x/f3" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
354 |
Tau |
355 |
RV_none |
356 |
open_close "/tmp_dir___x/f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
357 |
Tau |
358 |
EEXIST |
359 |
|
360 |
|
361 |
362 |
mkdir "/tmp_dir____/" 0o777 |
363 |
Tau |
364 |
RV_none |
365 |
chdir "/tmp_dir____" |
366 |
Tau |
367 |
RV_none |
368 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
369 |
Tau |
370 |
RV_none |
371 |
open_close "f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
372 |
Tau |
373 |
RV_none |
374 |
mkdir "d2" 0o777 |
375 |
Tau |
376 |
RV_none |
377 |
mkdir "d4" 0o777 |
378 |
Tau |
379 |
RV_none |
380 |
chmod "/tmp_dir____/" 0o000 |
381 |
Tau |
382 |
RV_none |
383 |
|
384 |
mkdir "d1" 0o777 |
385 |
Tau |
386 |
RV_none |
387 |
mkdir "d2" 0o777 |
388 |
Tau |
389 |
EEXIST |
390 |
open_close "f1" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
391 |
Tau |
392 |
RV_none |
393 |
open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
394 |
Tau |
395 |
EEXIST |
396 |
mkdir "/tmp_dir____/d3" 0o777 |
397 |
Tau |
398 |
RV_none |
399 |
mkdir "/tmp_dir____/d4" 0o777 |
400 |
Tau |
401 |
EEXIST |
402 |
open_close "/tmp_dir____/f3" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
403 |
Tau |
404 |
RV_none |
405 |
open_close "/tmp_dir____/f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 |
406 |
Tau |
407 |
EEXIST |
408 |
|
409 |
|