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_rename_restricted_write_perm_on_dir-int.trace' ...
2 @type trace
3
4
5 # ####################################
6
7 # Test restricted delete permissions rsrc
8
9 # ####################################
10
11
12 Pid 2 -> create (User_id 1) (Group_id 0)
13
14 chmod "/" 0o1777
15 Tau
16 RV_none
17
18 Pid 2 -> mkdir "/empty_dir1" 0o1777
19 Tau
20 RV_none
21
22 Pid 1 -> chown "/empty_dir1" (User_id 2) (Group_id 0)
23 Tau
24 RV_none
25
26 Pid 2 -> rename "/empty_dir1" "/mydir"
27 Tau
28 EPERM
29
30
31 # ####################################
32
33 # Test restricted delete permissions parent dir of rdst
34
35 # ####################################
36
37
38 Pid 1 -> open_close "/f.txt" [O_RDONLY;O_CREAT] 0o666
39 Tau
40 RV_none
41
42 Pid 2 -> mkdir "/empty_dir2" 0o777
43 Tau
44 RV_none
45
46 Pid 2 -> rename "/f.txt" "/empty_dir1"
47 Tau
48 EPERM
49
50 dump-result /
/ D 32644
/f.txt F 13 0 da39a3ee5e6b4b0d3255bfef95601890afd80709
/empty_dir1 D 65286
/empty_dir2 D 32641
51
52