xref: /aosp_15_r20/external/selinux/secilc/test/anonymous_arg_test.cil (revision 2d543d20722ada2425b5bdab9d0d1d29470e7bba) 
1*2d543d20SAndroid Build Coastguard Worker;; Test anonymous args
2*2d543d20SAndroid Build Coastguard Worker
3*2d543d20SAndroid Build Coastguard Worker(mls true)
4*2d543d20SAndroid Build Coastguard Worker(class CLASS (PERM))
5*2d543d20SAndroid Build Coastguard Worker(classorder (CLASS))
6*2d543d20SAndroid Build Coastguard Worker(sid SID)
7*2d543d20SAndroid Build Coastguard Worker(sidorder (SID))
8*2d543d20SAndroid Build Coastguard Worker(user USER)
9*2d543d20SAndroid Build Coastguard Worker(role ROLE)
10*2d543d20SAndroid Build Coastguard Worker(type TYPE)
11*2d543d20SAndroid Build Coastguard Worker(category CAT)
12*2d543d20SAndroid Build Coastguard Worker(categoryorder (CAT))
13*2d543d20SAndroid Build Coastguard Worker(sensitivity SENS)
14*2d543d20SAndroid Build Coastguard Worker(sensitivityorder (SENS))
15*2d543d20SAndroid Build Coastguard Worker(sensitivitycategory SENS (CAT))
16*2d543d20SAndroid Build Coastguard Worker(allow TYPE self (CLASS (PERM)))
17*2d543d20SAndroid Build Coastguard Worker(roletype ROLE TYPE)
18*2d543d20SAndroid Build Coastguard Worker(userrole USER ROLE)
19*2d543d20SAndroid Build Coastguard Worker(userlevel USER (SENS))
20*2d543d20SAndroid Build Coastguard Worker(userrange USER ((SENS)(SENS (CAT))))
21*2d543d20SAndroid Build Coastguard Worker(sidcontext SID (USER ROLE TYPE ((SENS)(SENS))))
22*2d543d20SAndroid Build Coastguard Worker
23*2d543d20SAndroid Build Coastguard Worker(category c0)
24*2d543d20SAndroid Build Coastguard Worker(category c1)
25*2d543d20SAndroid Build Coastguard Worker(category c2)
26*2d543d20SAndroid Build Coastguard Worker(category c3)
27*2d543d20SAndroid Build Coastguard Worker(categoryorder (CAT c0 c1 c2 c3))
28*2d543d20SAndroid Build Coastguard Worker(categoryset cs01 (c0 c1))
29*2d543d20SAndroid Build Coastguard Worker(categoryset cs03 (range c0 c3))
30*2d543d20SAndroid Build Coastguard Worker
31*2d543d20SAndroid Build Coastguard Worker(sensitivity s0)
32*2d543d20SAndroid Build Coastguard Worker(sensitivity s1)
33*2d543d20SAndroid Build Coastguard Worker(sensitivity s2)
34*2d543d20SAndroid Build Coastguard Worker(sensitivity s3)
35*2d543d20SAndroid Build Coastguard Worker(sensitivityorder (SENS s0 s1 s2 s3))
36*2d543d20SAndroid Build Coastguard Worker
37*2d543d20SAndroid Build Coastguard Worker(sensitivitycategory s0 (cs01 c2 c3))
38*2d543d20SAndroid Build Coastguard Worker(sensitivitycategory s1 (c0 c1 c2 c3))
39*2d543d20SAndroid Build Coastguard Worker(sensitivitycategory s2 (c0 c1 c2 c3))
40*2d543d20SAndroid Build Coastguard Worker(sensitivitycategory s3 (range c0 c3))
41*2d543d20SAndroid Build Coastguard Worker
42*2d543d20SAndroid Build Coastguard Worker(level lvl (s0 (c0)))
43*2d543d20SAndroid Build Coastguard Worker(level lvl0 (s0))
44*2d543d20SAndroid Build Coastguard Worker(level lvl3 (s3 (range c0 c3)))
45*2d543d20SAndroid Build Coastguard Worker
46*2d543d20SAndroid Build Coastguard Worker(levelrange rng ((s0) (s3 (c0 c1 c2 c3))))
47*2d543d20SAndroid Build Coastguard Worker
48*2d543d20SAndroid Build Coastguard Worker(user u1)
49*2d543d20SAndroid Build Coastguard Worker(user u2)
50*2d543d20SAndroid Build Coastguard Worker(user u3)
51*2d543d20SAndroid Build Coastguard Worker(user u4)
52*2d543d20SAndroid Build Coastguard Worker
53*2d543d20SAndroid Build Coastguard Worker(userrole u1 ROLE)
54*2d543d20SAndroid Build Coastguard Worker(userrole u2 ROLE)
55*2d543d20SAndroid Build Coastguard Worker(userrole u3 ROLE)
56*2d543d20SAndroid Build Coastguard Worker(userrole u4 ROLE)
57*2d543d20SAndroid Build Coastguard Worker
58*2d543d20SAndroid Build Coastguard Worker; Test categoryset
59*2d543d20SAndroid Build Coastguard Worker(macro m1 ((user u)(sensitivity s)(categoryset cs))
60*2d543d20SAndroid Build Coastguard Worker  (userlevel u (s (cs)))
61*2d543d20SAndroid Build Coastguard Worker)
62*2d543d20SAndroid Build Coastguard Worker(call m1 (u1 s1 (c0 c1)))
63*2d543d20SAndroid Build Coastguard Worker(call m1 (u2 s2 cs01))
64*2d543d20SAndroid Build Coastguard Worker
65*2d543d20SAndroid Build Coastguard Worker; Test level
66*2d543d20SAndroid Build Coastguard Worker(macro m2 ((user u)(level l))
67*2d543d20SAndroid Build Coastguard Worker  (userlevel u l)
68*2d543d20SAndroid Build Coastguard Worker)
69*2d543d20SAndroid Build Coastguard Worker(call m2 (u3 (s3 (c2))))
70*2d543d20SAndroid Build Coastguard Worker(call m2 (u4 lvl))
71*2d543d20SAndroid Build Coastguard Worker
72*2d543d20SAndroid Build Coastguard Worker; Test levelrange
73*2d543d20SAndroid Build Coastguard Worker(macro m3 ((user u)(levelrange lr))
74*2d543d20SAndroid Build Coastguard Worker  (userrange u lr)
75*2d543d20SAndroid Build Coastguard Worker)
76*2d543d20SAndroid Build Coastguard Worker(call m3 (u1 ((s0) (s3 (range c0 c3)))))
77*2d543d20SAndroid Build Coastguard Worker(call m3 (u2 (lvl0 (s3 (cs03)))))
78*2d543d20SAndroid Build Coastguard Worker(call m3 (u3 (lvl0 lvl3)))
79*2d543d20SAndroid Build Coastguard Worker(call m3 (u4 rng))
80*2d543d20SAndroid Build Coastguard Worker
81*2d543d20SAndroid Build Coastguard Worker; Test ipaddr
82*2d543d20SAndroid Build Coastguard Worker(macro m4 ((user u)(ipaddr nm)(ipaddr ip))
83*2d543d20SAndroid Build Coastguard Worker  (nodecon ip nm (u ROLE TYPE ((s0) (s0))))
84*2d543d20SAndroid Build Coastguard Worker)
85*2d543d20SAndroid Build Coastguard Worker(ipaddr nm1 255.255.255.0)
86*2d543d20SAndroid Build Coastguard Worker(ipaddr ip4 1.2.3.4)
87*2d543d20SAndroid Build Coastguard Worker(call m4 (u1 nm1 192.25.35.200))
88*2d543d20SAndroid Build Coastguard Worker(call m4 (u2 255.255.255.0 ip4))
89*2d543d20SAndroid Build Coastguard Worker
90*2d543d20SAndroid Build Coastguard Worker; Test classpermission
91*2d543d20SAndroid Build Coastguard Worker(type t1)
92*2d543d20SAndroid Build Coastguard Worker(type t2)
93*2d543d20SAndroid Build Coastguard Worker(type t3)
94*2d543d20SAndroid Build Coastguard Worker
95*2d543d20SAndroid Build Coastguard Worker(classpermission cp1)
96*2d543d20SAndroid Build Coastguard Worker(classpermissionset cp1 (CLASS (PERM)))
97*2d543d20SAndroid Build Coastguard Worker
98*2d543d20SAndroid Build Coastguard Worker(classmap cm1 (cm1p))
99*2d543d20SAndroid Build Coastguard Worker(classmapping cm1 cm1p (CLASS (PERM)))
100*2d543d20SAndroid Build Coastguard Worker
101*2d543d20SAndroid Build Coastguard Worker(macro m5 ((type t)(classpermission cp))
102*2d543d20SAndroid Build Coastguard Worker  (allow t self cp)
103*2d543d20SAndroid Build Coastguard Worker)
104*2d543d20SAndroid Build Coastguard Worker(call m5 (t1 (CLASS (PERM))))
105*2d543d20SAndroid Build Coastguard Worker(call m5 (t2 cp1))
106*2d543d20SAndroid Build Coastguard Worker(call m5 (t3 (cm1 (cm1p))))
107