xref: /aosp_15_r20/external/selinux/secilc/test/opt-expected.cil (revision 2d543d20722ada2425b5bdab9d0d1d29470e7bba)
1*2d543d20SAndroid Build Coastguard Worker(handleunknown deny)
2*2d543d20SAndroid Build Coastguard Worker(class cl01 (p01a p01b p11a p11b))
3*2d543d20SAndroid Build Coastguard Worker(classorder (cl01))
4*2d543d20SAndroid Build Coastguard Worker(sid kernel)
5*2d543d20SAndroid Build Coastguard Worker(sidorder (kernel))
6*2d543d20SAndroid Build Coastguard Worker(mls true)
7*2d543d20SAndroid Build Coastguard Worker(sensitivity s01)
8*2d543d20SAndroid Build Coastguard Worker(sensitivityorder (s01))
9*2d543d20SAndroid Build Coastguard Worker(category c01)
10*2d543d20SAndroid Build Coastguard Worker(categoryorder (c01))
11*2d543d20SAndroid Build Coastguard Worker(sensitivitycategory s01 (c01))
12*2d543d20SAndroid Build Coastguard Worker(typeattribute at01)
13*2d543d20SAndroid Build Coastguard Worker(typeattribute at02)
14*2d543d20SAndroid Build Coastguard Worker(boolean b01 false)
15*2d543d20SAndroid Build Coastguard Worker(type tp01)
16*2d543d20SAndroid Build Coastguard Worker(type tp02)
17*2d543d20SAndroid Build Coastguard Worker(type tp04)
18*2d543d20SAndroid Build Coastguard Worker(type tpr1)
19*2d543d20SAndroid Build Coastguard Worker(type tpr2)
20*2d543d20SAndroid Build Coastguard Worker(type tpr3)
21*2d543d20SAndroid Build Coastguard Worker(type tpr4)
22*2d543d20SAndroid Build Coastguard Worker(type tpr5)
23*2d543d20SAndroid Build Coastguard Worker(typeattributeset at01 (tp01))
24*2d543d20SAndroid Build Coastguard Worker(typeattributeset at02 (tp01 tp02))
25*2d543d20SAndroid Build Coastguard Worker(allow at02 tpr1 (cl01 (p01a p01b p11a)))
26*2d543d20SAndroid Build Coastguard Worker(allow at02 tpr3 (cl01 (p01a p01b p11a)))
27*2d543d20SAndroid Build Coastguard Worker(allow tp01 at01 (cl01 (p11b)))
28*2d543d20SAndroid Build Coastguard Worker(allow tp01 self (cl01 (p01a p01b p11a)))
29*2d543d20SAndroid Build Coastguard Worker(allow tp01 tpr1 (cl01 (p11b)))
30*2d543d20SAndroid Build Coastguard Worker(dontaudit at02 tpr2 (cl01 (p01a p01b p11a)))
31*2d543d20SAndroid Build Coastguard Worker(dontaudit at02 tpr4 (cl01 (p01a p01b p11a)))
32*2d543d20SAndroid Build Coastguard Worker(dontaudit tp01 tpr2 (cl01 (p11b)))
33*2d543d20SAndroid Build Coastguard Worker(booleanif b01
34*2d543d20SAndroid Build Coastguard Worker    (true
35*2d543d20SAndroid Build Coastguard Worker        (allow tp01 tpr3 (cl01 (p11b)))
36*2d543d20SAndroid Build Coastguard Worker        (allow tp01 tpr5 (cl01 (p01a p01b p11a p11b)))
37*2d543d20SAndroid Build Coastguard Worker        (allow tp02 tpr5 (cl01 (p01a p11a)))
38*2d543d20SAndroid Build Coastguard Worker        (dontaudit tp01 tpr4 (cl01 (p11b)))
39*2d543d20SAndroid Build Coastguard Worker    )
40*2d543d20SAndroid Build Coastguard Worker    (false
41*2d543d20SAndroid Build Coastguard Worker        (allow at02 tpr5 (cl01 (p01a p01b p11a)))
42*2d543d20SAndroid Build Coastguard Worker    )
43*2d543d20SAndroid Build Coastguard Worker)
44*2d543d20SAndroid Build Coastguard Worker(role object_r)
45*2d543d20SAndroid Build Coastguard Worker(role rl01)
46*2d543d20SAndroid Build Coastguard Worker(roletype rl01 tp01)
47*2d543d20SAndroid Build Coastguard Worker(roletype object_r tp01)
48*2d543d20SAndroid Build Coastguard Worker(roletype object_r tp02)
49*2d543d20SAndroid Build Coastguard Worker(roletype object_r tp04)
50*2d543d20SAndroid Build Coastguard Worker(roletype object_r tpr1)
51*2d543d20SAndroid Build Coastguard Worker(roletype object_r tpr2)
52*2d543d20SAndroid Build Coastguard Worker(roletype object_r tpr3)
53*2d543d20SAndroid Build Coastguard Worker(roletype object_r tpr4)
54*2d543d20SAndroid Build Coastguard Worker(roletype object_r tpr5)
55*2d543d20SAndroid Build Coastguard Worker(user us01)
56*2d543d20SAndroid Build Coastguard Worker(userrole us01 object_r)
57*2d543d20SAndroid Build Coastguard Worker(userrole us01 rl01)
58*2d543d20SAndroid Build Coastguard Worker(userlevel us01 (s01))
59*2d543d20SAndroid Build Coastguard Worker(userrange us01 ((s01) (s01)))
60*2d543d20SAndroid Build Coastguard Worker(sidcontext kernel (us01 rl01 tp01 ((s01) (s01))))
61