2 * Copyright (c) 2005 McAfee, Inc.
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
14 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29 #include <sys/param.h>
31 #include <sys/mount.h>
33 #include <security/mac_bsdextended/mac_bsdextended.h>
46 * Starting point for a regression test for mac_bsdextended(4) and the
47 * supporting libugidfw(3).
51 * This section of the regression test passes some test cases through the
52 * rule<->string routines to confirm they work approximately as desired.
56 * List of users and groups we must check exists before we can begin, since
57 * they are used in the string test rules. We use users and groups that will
58 * always exist in a default install used for regression testing.
60 static const char *test_users[] = {
67 static const char *test_groups[] = {
77 * List of test strings that must go in (and come out) of libugidfw intact.
79 static const char *test_strings[] = {
80 /* Variations on subject and object uids. */
81 "subject uid root object uid root mode n",
82 "subject uid root object uid daemon mode n",
83 "subject uid daemon object uid root mode n",
84 "subject uid daemon object uid daemon mode n",
85 /* Variations on mode. */
86 "subject uid root object uid root mode a",
87 "subject uid root object uid root mode r",
88 "subject uid root object uid root mode s",
89 "subject uid root object uid root mode w",
90 "subject uid root object uid root mode x",
91 "subject uid root object uid root mode arswx",
92 /* Variations on subject and object gids. */
93 "subject gid wheel object gid wheel mode n",
94 "subject gid wheel object gid daemon mode n",
95 "subject gid daemon object gid wheel mode n",
96 "subject gid daemon object gid daemon mode n",
97 /* Subject uids and subject gids. */
98 "subject uid bin gid daemon object uid operator gid wheel mode n",
100 "subject not uid operator object uid bin mode n",
101 "subject uid bin object not uid operator mode n",
102 "subject not uid daemon object not uid operator mode n",
104 "subject uid root:operator object gid wheel:bin mode n",
106 "subject jailid 1 object uid root mode n",
108 "subject uid root object filesys / mode n",
109 "subject uid root object filesys /dev mode n",
111 "subject not uid root object sgid mode n",
112 "subject not uid root object sgid mode n",
113 /* Matching uid/gid */
114 "subject not uid root:operator object not uid_of_subject mode n",
115 "subject not gid wheel:bin object not gid_of_subject mode n",
117 "subject uid root object type a mode a",
118 "subject uid root object type r mode a",
119 "subject uid root object type d mode a",
120 "subject uid root object type b mode a",
121 "subject uid root object type c mode a",
122 "subject uid root object type l mode a",
123 "subject uid root object type s mode a",
124 "subject uid root object type rbc mode a",
125 "subject uid root object type dls mode a",
126 /* Empty rules always match */
127 "subject object mode a",
128 /* Partial negations */
129 "subject ! uid root object mode n",
130 "subject ! gid wheel object mode n",
131 "subject ! jailid 2 object mode n",
132 "subject object ! uid root mode n",
133 "subject object ! gid wheel mode n",
134 "subject object ! filesys / mode n",
135 "subject object ! suid mode n",
136 "subject object ! sgid mode n",
137 "subject object ! uid_of_subject mode n",
138 "subject object ! gid_of_subject mode n",
139 "subject object ! type d mode n",
140 /* All out nonsense */
141 "subject uid root ! gid wheel:bin ! jailid 1 "
142 "object ! uid root:daemon gid daemon filesys / suid sgid uid_of_subject gid_of_subject ! type r "
147 test_libugidfw_strings(void)
149 struct mac_bsdextended_rule rule;
155 for (i = 0; i < nitems(test_users); i++, test_num++) {
156 if (getpwnam(test_users[i]) == NULL)
157 printf("not ok %d # test_libugidfw_strings: getpwnam(%s) "
158 "failed: %s\n", test_num, test_users[i], strerror(errno));
160 printf("ok %d\n", test_num);
163 for (i = 0; i < nitems(test_groups); i++, test_num++) {
164 if (getgrnam(test_groups[i]) == NULL)
165 printf("not ok %d # test_libugidfw_strings: getgrnam(%s) "
166 "failed: %s\n", test_num, test_groups[i], strerror(errno));
168 printf("ok %d\n", test_num);
171 for (i = 0; i < nitems(test_strings); i++) {
172 error = bsde_parse_rule_string(test_strings[i], &rule,
173 sizeof(errorstr), errorstr);
175 printf("not ok %d # bsde_parse_rule_string: '%s' (%zu) "
176 "failed: %s\n", test_num, test_strings[i], i, errorstr);
178 printf("ok %d\n", test_num);
181 error = bsde_rule_to_string(&rule, rulestr, sizeof(rulestr));
183 printf("not ok %d # bsde_rule_to_string: rule for '%s' "
184 "returned %d\n", test_num, test_strings[i], error);
186 printf("ok %d\n", test_num);
189 if (strcmp(test_strings[i], rulestr) != 0)
190 printf("not ok %d # test_libugidfw: '%s' in, '%s' "
191 "out\n", test_num, test_strings[i], rulestr);
193 printf("ok %d\n", test_num);
206 /* Print an error if a non-root user attemps to run the tests. */
208 printf("1..0 # SKIP you must be root\n");
212 switch (mac_is_present("bsdextended")) {
214 printf("1..0 # SKIP mac_is_present failed: %s\n",
221 printf("1..0 # SKIP mac_bsdextended not loaded\n");
225 printf("1..%lu\n", nitems(test_users) + nitems(test_groups) +
226 3 * nitems(test_strings) + 2);
228 test_libugidfw_strings();
231 * Some simple up-front checks to see if we're able to query the
232 * policy for basic state. We want the rule count to be 0 before
233 * starting, but "slots" is a property of prior runs and so we ignore
236 count = bsde_get_rule_count(sizeof(errorstr), errorstr);
238 printf("not ok %d # bsde_get_rule_count: %s\n", test_num,
241 printf("ok %d\n", test_num);
245 slots = bsde_get_rule_slots(sizeof(errorstr), errorstr);
247 printf("not ok %d # bsde_get_rule_slots: %s\n", test_num,
250 printf("ok %d\n", test_num);