xref: /aosp_15_r20/external/selinux/secilc/test/opt-input.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 (p11a p01a p01b)))
26*2d543d20SAndroid Build Coastguard Worker(allow at02 tpr3 (cl01 (p11a p01a p01b)))
27*2d543d20SAndroid Build Coastguard Worker(allow tp01 at01 (cl01 (p11b)))
28*2d543d20SAndroid Build Coastguard Worker(allow tp01 self (cl01 (p11a p01a)))
29*2d543d20SAndroid Build Coastguard Worker(allow tp01 tp01 (cl01 (p01b)))
30*2d543d20SAndroid Build Coastguard Worker(allow tp01 tpr1 (cl01 (p11a p11b p01a p01b)))
31*2d543d20SAndroid Build Coastguard Worker(allow tp02 tpr1 (cl01 (p11a p01a)))
32*2d543d20SAndroid Build Coastguard Worker(dontaudit at02 tpr2 (cl01 (p11a p01a p01b)))
33*2d543d20SAndroid Build Coastguard Worker(dontaudit at02 tpr4 (cl01 (p11a p01a p01b)))
34*2d543d20SAndroid Build Coastguard Worker(dontaudit tp01 tpr2 (cl01 (p11a p11b p01a p01b)))
35*2d543d20SAndroid Build Coastguard Worker(dontaudit tp02 tpr2 (cl01 (p11a p01a)))
36*2d543d20SAndroid Build Coastguard Worker(booleanif (b01)
37*2d543d20SAndroid Build Coastguard Worker    (true
38*2d543d20SAndroid Build Coastguard Worker        (allow tp01 tpr3 (cl01 (p11a p11b p01a p01b)))
39*2d543d20SAndroid Build Coastguard Worker        (allow tp01 tpr5 (cl01 (p11a p11b p01a p01b)))
40*2d543d20SAndroid Build Coastguard Worker        (allow tp02 tpr3 (cl01 (p11a p01a)))
41*2d543d20SAndroid Build Coastguard Worker        (allow tp02 tpr5 (cl01 (p11a p01a)))
42*2d543d20SAndroid Build Coastguard Worker        (dontaudit tp01 tpr4 (cl01 (p11a p11b p01a p01b)))
43*2d543d20SAndroid Build Coastguard Worker        (dontaudit tp02 tpr4 (cl01 (p11a p01a)))
44*2d543d20SAndroid Build Coastguard Worker    )
45*2d543d20SAndroid Build Coastguard Worker    (false
46*2d543d20SAndroid Build Coastguard Worker        (allow at02 tpr5 (cl01 (p11a p01a p01b)))
47*2d543d20SAndroid Build Coastguard Worker    )
48*2d543d20SAndroid Build Coastguard Worker)
49*2d543d20SAndroid Build Coastguard Worker(role object_r)
50*2d543d20SAndroid Build Coastguard Worker(role rl01)
51*2d543d20SAndroid Build Coastguard Worker(roletype rl01 tp01)
52*2d543d20SAndroid Build Coastguard Worker(roletype object_r tp01)
53*2d543d20SAndroid Build Coastguard Worker(roletype object_r tp02)
54*2d543d20SAndroid Build Coastguard Worker(roletype object_r tp04)
55*2d543d20SAndroid Build Coastguard Worker(roletype object_r tpr1)
56*2d543d20SAndroid Build Coastguard Worker(roletype object_r tpr2)
57*2d543d20SAndroid Build Coastguard Worker(roletype object_r tpr3)
58*2d543d20SAndroid Build Coastguard Worker(roletype object_r tpr4)
59*2d543d20SAndroid Build Coastguard Worker(roletype object_r tpr5)
60*2d543d20SAndroid Build Coastguard Worker(user us01)
61*2d543d20SAndroid Build Coastguard Worker(userrole us01 object_r)
62*2d543d20SAndroid Build Coastguard Worker(userrole us01 rl01)
63*2d543d20SAndroid Build Coastguard Worker(userlevel us01 (s01))
64*2d543d20SAndroid Build Coastguard Worker(userrange us01 ((s01) (s01)))
65*2d543d20SAndroid Build Coastguard Worker(sidcontext kernel (us01 rl01 tp01 ((s01) (s01))))
66