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 'adhoc_open-int.trace' ...
2 @type trace
3 # #################################################
4 # Testing open with various flags and permissions
5 # #################################################
6
7 mkdir "/tmp_dir_uwx/" 0o300
8 Tau
9 RV_none
10
11 # non-existent
12 open "/tmp_dir_uw/f-nonexist.txt" [O_RDONLY]
13 Tau
14 ENOENT
15
16 # rwx
17 open_close "/tmp_dir_uwx/f_rwx.txt" [O_CREAT;O_RDWR] 0o700
18 Tau
19 RV_none
20 open_close "/tmp_dir_uwx/f_rwx.txt" [O_RDONLY]
21 Tau
22 RV_none
23 open_close "/tmp_dir_uwx/f_rwx.txt" [O_WRONLY]
24 Tau
25 RV_none
26 open_close "/tmp_dir_uwx/f_rwx.txt" [O_RDWR]
27 Tau
28 RV_none
29 open_close "/tmp_dir_uwx/f_rwx.txt" [O_RDONLY;O_TRUNC]
30 Tau
31 RV_none
32 open_close "/tmp_dir_uwx/f_rwx.txt" [O_TRUNC;O_WRONLY]
33 Tau
34 RV_none
35 open_close "/tmp_dir_uwx/f_rwx.txt" [O_RDONLY;O_APPEND]
36 Tau
37 RV_none
38 open_close "/tmp_dir_uwx/f_rwx.txt" [O_APPEND;O_WRONLY]
39 Tau
40 RV_none
41
42 # r--
43 open_close "/tmp_dir_uwx/f_r.txt" [O_CREAT;O_RDWR] 0o400
44 Tau
45 RV_none
46 open_close "/tmp_dir_uwx/f_r.txt" [O_RDONLY]
47 Tau
48 RV_none
49 open_close "/tmp_dir_uwx/f_r.txt" [O_WRONLY]
50 Tau
51 RV_none
52 open_close "/tmp_dir_uwx/f_r.txt" [O_RDWR]
53 Tau
54 RV_none
55 open_close "/tmp_dir_uwx/f_r.txt" [O_RDONLY;O_TRUNC]
56 Tau
57 RV_none
58 open_close "/tmp_dir_uwx/f_r.txt" [O_TRUNC;O_WRONLY]
59 Tau
60 RV_none
61 open_close "/tmp_dir_uwx/f_r.txt" [O_RDONLY;O_APPEND]
62 Tau
63 RV_none
64 open_close "/tmp_dir_uwx/f_r.txt" [O_APPEND;O_WRONLY]
65 Tau
66 RV_none
67
68 # -w-
69 open_close "/tmp_dir_uwx/f_w.txt" [O_CREAT;O_RDWR] 0o200
70 Tau
71 RV_none
72 open_close "/tmp_dir_uwx/f_w.txt" [O_RDONLY]
73 Tau
74 RV_none
75 open_close "/tmp_dir_uwx/f_w.txt" [O_WRONLY]
76 Tau
77 RV_none
78 open_close "/tmp_dir_uwx/f_w.txt" [O_RDWR]
79 Tau
80 RV_none
81 open_close "/tmp_dir_uwx/f_w.txt" [O_RDONLY;O_TRUNC]
82 Tau
83 RV_none
84 open_close "/tmp_dir_uwx/f_w.txt" [O_TRUNC;O_WRONLY]
85 Tau
86 RV_none
87 open_close "/tmp_dir_uwx/f_w.txt" [O_RDONLY;O_APPEND]
88 Tau
89 RV_none
90 open_close "/tmp_dir_uwx/f_w.txt" [O_APPEND;O_WRONLY]
91 Tau
92 RV_none
93
94 # --x
95 open_close "/tmp_dir_uwx/f_x.txt" [O_CREAT;O_RDWR] 0o100
96 Tau
97 RV_none
98 open_close "/tmp_dir_uwx/f_x.txt" [O_RDONLY]
99 Tau
100 RV_none
101 open_close "/tmp_dir_uwx/f_x.txt" [O_WRONLY]
102 Tau
103 RV_none
104 open_close "/tmp_dir_uwx/f_x.txt" [O_RDWR]
105 Tau
106 RV_none
107 open_close "/tmp_dir_uwx/f_x.txt" [O_RDONLY;O_TRUNC]
108 Tau
109 RV_none
110 open_close "/tmp_dir_uwx/f_x.txt" [O_TRUNC;O_WRONLY]
111 Tau
112 RV_none
113 open_close "/tmp_dir_uwx/f_x.txt" [O_RDONLY;O_APPEND]
114 Tau
115 RV_none
116 open_close "/tmp_dir_uwx/f_x.txt" [O_APPEND;O_WRONLY]
117 Tau
118 RV_none
119
120 # rw-
121 open_close "/tmp_dir_uwx/f_rw.txt" [O_CREAT;O_RDWR] 0o600
122 Tau
123 RV_none
124 open_close "/tmp_dir_uwx/f_rw.txt" [O_RDONLY]
125 Tau
126 RV_none
127 open_close "/tmp_dir_uwx/f_rw.txt" [O_WRONLY]
128 Tau
129 RV_none
130 open_close "/tmp_dir_uwx/f_rw.txt" [O_RDWR]
131 Tau
132 RV_none
133 open_close "/tmp_dir_uwx/f_rw.txt" [O_RDONLY;O_TRUNC]
134 Tau
135 RV_none
136 open_close "/tmp_dir_uwx/f_rw.txt" [O_TRUNC;O_WRONLY]
137 Tau
138 RV_none
139 open_close "/tmp_dir_uwx/f_rw.txt" [O_RDONLY;O_APPEND]
140 Tau
141 RV_none
142 open_close "/tmp_dir_uwx/f_rw.txt" [O_APPEND;O_WRONLY]
143 Tau
144 RV_none
145
146
147 dump-result /
/ D 32643
/tmp_dir_uwx D 32645
/tmp_dir_uwx/f_r.txt F 15 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
/tmp_dir_uwx/f_rw.txt F 18 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
/tmp_dir_uwx/f_rwx.txt F 13 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
/tmp_dir_uwx/f_w.txt F 16 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
/tmp_dir_uwx/f_x.txt F 17 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
148
149
150