blob: 35388408e475470b6c2467db248a05b1b01c2ca7 [file] [log] [blame]
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +09001/*
2 * security/tomoyo/domain.c
3 *
Tetsuo Handac3ef1502010-05-17 10:12:46 +09004 * Domain transition functions for TOMOYO.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +09005 *
Tetsuo Handac3ef1502010-05-17 10:12:46 +09006 * Copyright (C) 2005-2010 NTT DATA CORPORATION
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +09007 */
8
9#include "common.h"
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +090010#include <linux/binfmts.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090011#include <linux/slab.h>
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +090012
13/* Variables definitions.*/
14
15/* The initial domain. */
16struct tomoyo_domain_info tomoyo_kernel_domain;
17
Tetsuo Handa237ab452010-06-12 20:46:22 +090018/**
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +090019 * tomoyo_update_policy - Update an entry for exception policy.
20 *
21 * @new_entry: Pointer to "struct tomoyo_acl_info".
22 * @size: Size of @new_entry in bytes.
23 * @is_delete: True if it is a delete request.
24 * @list: Pointer to "struct list_head".
25 * @check_duplicate: Callback function to find duplicated entry.
26 *
27 * Returns 0 on success, negative value otherwise.
28 *
29 * Caller holds tomoyo_read_lock().
30 */
31int tomoyo_update_policy(struct tomoyo_acl_head *new_entry, const int size,
32 bool is_delete, struct list_head *list,
33 bool (*check_duplicate) (const struct tomoyo_acl_head
34 *,
35 const struct tomoyo_acl_head
36 *))
37{
38 int error = is_delete ? -ENOENT : -ENOMEM;
39 struct tomoyo_acl_head *entry;
40
41 if (mutex_lock_interruptible(&tomoyo_policy_lock))
42 return -ENOMEM;
43 list_for_each_entry_rcu(entry, list, list) {
44 if (!check_duplicate(entry, new_entry))
45 continue;
46 entry->is_deleted = is_delete;
47 error = 0;
48 break;
49 }
50 if (error && !is_delete) {
51 entry = tomoyo_commit_ok(new_entry, size);
52 if (entry) {
53 list_add_tail_rcu(&entry->list, list);
54 error = 0;
55 }
56 }
57 mutex_unlock(&tomoyo_policy_lock);
58 return error;
59}
60
61/**
Tetsuo Handa237ab452010-06-12 20:46:22 +090062 * tomoyo_update_domain - Update an entry for domain policy.
63 *
64 * @new_entry: Pointer to "struct tomoyo_acl_info".
65 * @size: Size of @new_entry in bytes.
66 * @is_delete: True if it is a delete request.
67 * @domain: Pointer to "struct tomoyo_domain_info".
68 * @check_duplicate: Callback function to find duplicated entry.
69 * @merge_duplicate: Callback function to merge duplicated entry.
70 *
71 * Returns 0 on success, negative value otherwise.
72 *
73 * Caller holds tomoyo_read_lock().
74 */
75int tomoyo_update_domain(struct tomoyo_acl_info *new_entry, const int size,
76 bool is_delete, struct tomoyo_domain_info *domain,
77 bool (*check_duplicate) (const struct tomoyo_acl_info
78 *,
79 const struct tomoyo_acl_info
80 *),
81 bool (*merge_duplicate) (struct tomoyo_acl_info *,
82 struct tomoyo_acl_info *,
83 const bool))
84{
85 int error = is_delete ? -ENOENT : -ENOMEM;
86 struct tomoyo_acl_info *entry;
87
88 if (mutex_lock_interruptible(&tomoyo_policy_lock))
89 return error;
90 list_for_each_entry_rcu(entry, &domain->acl_info_list, list) {
91 if (!check_duplicate(entry, new_entry))
92 continue;
93 if (merge_duplicate)
94 entry->is_deleted = merge_duplicate(entry, new_entry,
95 is_delete);
96 else
97 entry->is_deleted = is_delete;
98 error = 0;
99 break;
100 }
101 if (error && !is_delete) {
102 entry = tomoyo_commit_ok(new_entry, size);
103 if (entry) {
104 list_add_tail_rcu(&entry->list, &domain->acl_info_list);
105 error = 0;
106 }
107 }
108 mutex_unlock(&tomoyo_policy_lock);
109 return error;
110}
111
Tetsuo Handa99a85252010-06-16 16:22:51 +0900112void tomoyo_check_acl(struct tomoyo_request_info *r,
Tetsuo Handa484ca792010-07-29 14:29:55 +0900113 bool (*check_entry) (struct tomoyo_request_info *,
Tetsuo Handa99a85252010-06-16 16:22:51 +0900114 const struct tomoyo_acl_info *))
115{
116 const struct tomoyo_domain_info *domain = r->domain;
117 struct tomoyo_acl_info *ptr;
118
119 list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) {
120 if (ptr->is_deleted || ptr->type != r->param_type)
121 continue;
122 if (check_entry(r, ptr)) {
123 r->granted = true;
124 return;
125 }
126 }
127 r->granted = false;
128}
129
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900130/* The list for "struct tomoyo_domain_info". */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900131LIST_HEAD(tomoyo_domain_list);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900132
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900133struct list_head tomoyo_policy_list[TOMOYO_MAX_POLICY];
134struct list_head tomoyo_group_list[TOMOYO_MAX_GROUP];
135
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900136/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900137 * tomoyo_last_word - Get last component of a domainname.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900138 *
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900139 * @domainname: Domainname to check.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900140 *
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900141 * Returns the last word of @domainname.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900142 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900143static const char *tomoyo_last_word(const char *name)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900144{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900145 const char *cp = strrchr(name, ' ');
146 if (cp)
147 return cp + 1;
148 return name;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900149}
150
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900151static bool tomoyo_same_transition_control(const struct tomoyo_acl_head *a,
152 const struct tomoyo_acl_head *b)
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900153{
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900154 const struct tomoyo_transition_control *p1 = container_of(a,
155 typeof(*p1),
156 head);
157 const struct tomoyo_transition_control *p2 = container_of(b,
158 typeof(*p2),
159 head);
160 return p1->type == p2->type && p1->is_last_name == p2->is_last_name
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900161 && p1->domainname == p2->domainname
162 && p1->program == p2->program;
163}
164
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900165/**
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900166 * tomoyo_update_transition_control_entry - Update "struct tomoyo_transition_control" list.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900167 *
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900168 * @domainname: The name of domain. Maybe NULL.
169 * @program: The name of program. Maybe NULL.
170 * @type: Type of transition.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900171 * @is_delete: True if it is a delete request.
172 *
173 * Returns 0 on success, negative value otherwise.
174 */
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900175static int tomoyo_update_transition_control_entry(const char *domainname,
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900176 const char *program,
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900177 const u8 type,
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900178 const bool is_delete)
179{
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900180 struct tomoyo_transition_control e = { .type = type };
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900181 int error = is_delete ? -ENOENT : -ENOMEM;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900182 if (program) {
Tetsuo Handa75093152010-06-16 16:23:55 +0900183 if (!tomoyo_correct_path(program))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900184 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900185 e.program = tomoyo_get_name(program);
186 if (!e.program)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900187 goto out;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900188 }
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900189 if (domainname) {
190 if (!tomoyo_correct_domain(domainname)) {
191 if (!tomoyo_correct_path(domainname))
192 goto out;
193 e.is_last_name = true;
194 }
195 e.domainname = tomoyo_get_name(domainname);
196 if (!e.domainname)
197 goto out;
198 }
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900199 error = tomoyo_update_policy(&e.head, sizeof(e), is_delete,
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900200 &tomoyo_policy_list
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900201 [TOMOYO_ID_TRANSITION_CONTROL],
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900202 tomoyo_same_transition_control);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900203 out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900204 tomoyo_put_name(e.domainname);
205 tomoyo_put_name(e.program);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900206 return error;
207}
208
209/**
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900210 * tomoyo_write_transition_control - Write "struct tomoyo_transition_control" list.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900211 *
212 * @data: String to parse.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900213 * @is_delete: True if it is a delete request.
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900214 * @type: Type of this entry.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900215 *
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900216 * Returns 0 on success, negative value otherwise.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900217 */
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900218int tomoyo_write_transition_control(char *data, const bool is_delete,
219 const u8 type)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900220{
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900221 char *domainname = strstr(data, " from ");
222 if (domainname) {
223 *domainname = '\0';
224 domainname += 6;
225 } else if (type == TOMOYO_TRANSITION_CONTROL_NO_KEEP ||
226 type == TOMOYO_TRANSITION_CONTROL_KEEP) {
227 domainname = data;
228 data = NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900229 }
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900230 return tomoyo_update_transition_control_entry(domainname, data, type,
231 is_delete);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900232}
233
234/**
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900235 * tomoyo_transition_type - Get domain transition type.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900236 *
237 * @domainname: The name of domain.
238 * @program: The name of program.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900239 *
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900240 * Returns TOMOYO_TRANSITION_CONTROL_INITIALIZE if executing @program
241 * reinitializes domain transition, TOMOYO_TRANSITION_CONTROL_KEEP if executing
242 * @program suppresses domain transition, others otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900243 *
244 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900245 */
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900246static u8 tomoyo_transition_type(const struct tomoyo_path_info *domainname,
247 const struct tomoyo_path_info *program)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900248{
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900249 const struct tomoyo_transition_control *ptr;
250 const char *last_name = tomoyo_last_word(domainname->name);
251 u8 type;
252 for (type = 0; type < TOMOYO_MAX_TRANSITION_TYPE; type++) {
253 next:
254 list_for_each_entry_rcu(ptr, &tomoyo_policy_list
255 [TOMOYO_ID_TRANSITION_CONTROL],
256 head.list) {
257 if (ptr->head.is_deleted || ptr->type != type)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900258 continue;
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900259 if (ptr->domainname) {
260 if (!ptr->is_last_name) {
261 if (ptr->domainname != domainname)
262 continue;
263 } else {
264 /*
265 * Use direct strcmp() since this is
266 * unlikely used.
267 */
268 if (strcmp(ptr->domainname->name,
269 last_name))
270 continue;
271 }
272 }
273 if (ptr->program &&
274 tomoyo_pathcmp(ptr->program, program))
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900275 continue;
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900276 if (type == TOMOYO_TRANSITION_CONTROL_NO_INITIALIZE) {
277 /*
278 * Do not check for initialize_domain if
279 * no_initialize_domain matched.
280 */
281 type = TOMOYO_TRANSITION_CONTROL_NO_KEEP;
282 goto next;
283 }
284 goto done;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900285 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900286 }
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900287 done:
288 return type;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900289}
290
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900291static bool tomoyo_same_aggregator(const struct tomoyo_acl_head *a,
292 const struct tomoyo_acl_head *b)
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900293{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900294 const struct tomoyo_aggregator *p1 = container_of(a, typeof(*p1), head);
295 const struct tomoyo_aggregator *p2 = container_of(b, typeof(*p2), head);
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900296 return p1->original_name == p2->original_name &&
297 p1->aggregated_name == p2->aggregated_name;
298}
299
Tetsuo Handa10843072010-06-03 20:38:03 +0900300/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900301 * tomoyo_update_aggregator_entry - Update "struct tomoyo_aggregator" list.
Tetsuo Handa10843072010-06-03 20:38:03 +0900302 *
303 * @original_name: The original program's name.
304 * @aggregated_name: The program name to use.
305 * @is_delete: True if it is a delete request.
306 *
307 * Returns 0 on success, negative value otherwise.
308 *
309 * Caller holds tomoyo_read_lock().
310 */
311static int tomoyo_update_aggregator_entry(const char *original_name,
312 const char *aggregated_name,
313 const bool is_delete)
314{
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900315 struct tomoyo_aggregator e = { };
Tetsuo Handa10843072010-06-03 20:38:03 +0900316 int error = is_delete ? -ENOENT : -ENOMEM;
317
Tetsuo Handa75093152010-06-16 16:23:55 +0900318 if (!tomoyo_correct_path(original_name) ||
319 !tomoyo_correct_path(aggregated_name))
Tetsuo Handa10843072010-06-03 20:38:03 +0900320 return -EINVAL;
321 e.original_name = tomoyo_get_name(original_name);
322 e.aggregated_name = tomoyo_get_name(aggregated_name);
323 if (!e.original_name || !e.aggregated_name ||
324 e.aggregated_name->is_patterned) /* No patterns allowed. */
325 goto out;
Tetsuo Handa36f5e1f2010-06-15 09:23:26 +0900326 error = tomoyo_update_policy(&e.head, sizeof(e), is_delete,
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900327 &tomoyo_policy_list[TOMOYO_ID_AGGREGATOR],
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900328 tomoyo_same_aggregator);
Tetsuo Handa10843072010-06-03 20:38:03 +0900329 out:
330 tomoyo_put_name(e.original_name);
331 tomoyo_put_name(e.aggregated_name);
332 return error;
333}
334
335/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900336 * tomoyo_write_aggregator - Write "struct tomoyo_aggregator" list.
Tetsuo Handa10843072010-06-03 20:38:03 +0900337 *
338 * @data: String to parse.
339 * @is_delete: True if it is a delete request.
340 *
341 * Returns 0 on success, negative value otherwise.
342 *
343 * Caller holds tomoyo_read_lock().
344 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900345int tomoyo_write_aggregator(char *data, const bool is_delete)
Tetsuo Handa10843072010-06-03 20:38:03 +0900346{
347 char *cp = strchr(data, ' ');
348
349 if (!cp)
350 return -EINVAL;
351 *cp++ = '\0';
352 return tomoyo_update_aggregator_entry(data, cp, is_delete);
353}
354
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900355/**
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900356 * tomoyo_assign_domain - Create a domain.
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900357 *
358 * @domainname: The name of domain.
359 * @profile: Profile number to assign if the domain was newly created.
360 *
361 * Returns pointer to "struct tomoyo_domain_info" on success, NULL otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900362 *
363 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900364 */
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900365struct tomoyo_domain_info *tomoyo_assign_domain(const char *domainname,
366 const u8 profile)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900367{
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900368 struct tomoyo_domain_info *entry;
Tetsuo Handa29282382010-05-06 00:18:15 +0900369 struct tomoyo_domain_info *domain = NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900370 const struct tomoyo_path_info *saved_domainname;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900371 bool found = false;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900372
Tetsuo Handa75093152010-06-16 16:23:55 +0900373 if (!tomoyo_correct_domain(domainname))
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900374 return NULL;
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900375 saved_domainname = tomoyo_get_name(domainname);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900376 if (!saved_domainname)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900377 return NULL;
Tetsuo Handa4e5d6f72010-04-28 14:17:42 +0900378 entry = kzalloc(sizeof(*entry), GFP_NOFS);
Tetsuo Handa29282382010-05-06 00:18:15 +0900379 if (mutex_lock_interruptible(&tomoyo_policy_lock))
380 goto out;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900381 list_for_each_entry_rcu(domain, &tomoyo_domain_list, list) {
382 if (domain->is_deleted ||
383 tomoyo_pathcmp(saved_domainname, domain->domainname))
384 continue;
385 found = true;
386 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900387 }
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900388 if (!found && tomoyo_memory_ok(entry)) {
389 INIT_LIST_HEAD(&entry->acl_info_list);
390 entry->domainname = saved_domainname;
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900391 saved_domainname = NULL;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900392 entry->profile = profile;
393 list_add_tail_rcu(&entry->list, &tomoyo_domain_list);
394 domain = entry;
395 entry = NULL;
396 found = true;
397 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900398 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handa29282382010-05-06 00:18:15 +0900399 out:
Tetsuo Handabf24fb02010-02-11 09:41:58 +0900400 tomoyo_put_name(saved_domainname);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900401 kfree(entry);
402 return found ? domain : NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900403}
404
405/**
406 * tomoyo_find_next_domain - Find a domain.
407 *
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900408 * @bprm: Pointer to "struct linux_binprm".
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900409 *
410 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900411 *
412 * Caller holds tomoyo_read_lock().
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900413 */
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900414int tomoyo_find_next_domain(struct linux_binprm *bprm)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900415{
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900416 struct tomoyo_request_info r;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900417 char *tmp = kzalloc(TOMOYO_EXEC_TMPSIZE, GFP_NOFS);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900418 struct tomoyo_domain_info *old_domain = tomoyo_domain();
419 struct tomoyo_domain_info *domain = NULL;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900420 const char *original_name = bprm->filename;
Tetsuo Handa57c25902010-06-03 20:38:44 +0900421 u8 mode;
422 bool is_enforce;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900423 int retval = -ENOMEM;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900424 bool need_kfree = false;
425 struct tomoyo_path_info rn = { }; /* real name */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900426
Tetsuo Handa57c25902010-06-03 20:38:44 +0900427 mode = tomoyo_init_request_info(&r, NULL, TOMOYO_MAC_FILE_EXECUTE);
428 is_enforce = (mode == TOMOYO_CONFIG_ENFORCING);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900429 if (!tmp)
430 goto out;
431
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900432 retry:
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900433 if (need_kfree) {
434 kfree(rn.name);
435 need_kfree = false;
436 }
Tetsuo Handa0617c7f2010-06-21 09:58:53 +0900437 /* Get symlink's pathname of program. */
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900438 retval = -ENOENT;
Tetsuo Handa0617c7f2010-06-21 09:58:53 +0900439 rn.name = tomoyo_realpath_nofollow(original_name);
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900440 if (!rn.name)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900441 goto out;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900442 tomoyo_fill_path_info(&rn);
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900443 need_kfree = true;
444
Tetsuo Handa10843072010-06-03 20:38:03 +0900445 /* Check 'aggregator' directive. */
446 {
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900447 struct tomoyo_aggregator *ptr;
Tetsuo Handaa230f9e2010-06-17 16:53:24 +0900448 list_for_each_entry_rcu(ptr, &tomoyo_policy_list
449 [TOMOYO_ID_AGGREGATOR], head.list) {
Tetsuo Handa82e0f002010-06-15 09:22:42 +0900450 if (ptr->head.is_deleted ||
Tetsuo Handa10843072010-06-03 20:38:03 +0900451 !tomoyo_path_matches_pattern(&rn,
452 ptr->original_name))
453 continue;
Tetsuo Handa0617c7f2010-06-21 09:58:53 +0900454 kfree(rn.name);
Tetsuo Handa10843072010-06-03 20:38:03 +0900455 need_kfree = false;
456 /* This is OK because it is read only. */
457 rn = *ptr->aggregated_name;
458 break;
459 }
460 }
461
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900462 /* Check execute permission. */
Tetsuo Handa05336de2010-06-16 16:20:24 +0900463 retval = tomoyo_path_permission(&r, TOMOYO_TYPE_EXECUTE, &rn);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900464 if (retval == TOMOYO_RETRY_REQUEST)
465 goto retry;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900466 if (retval < 0)
467 goto out;
Tetsuo Handa484ca792010-07-29 14:29:55 +0900468 /*
469 * To be able to specify domainnames with wildcards, use the
470 * pathname specified in the policy (which may contain
471 * wildcard) rather than the pathname passed to execve()
472 * (which never contains wildcard).
473 */
474 if (r.param.path.matched_path) {
475 if (need_kfree)
476 kfree(rn.name);
477 need_kfree = false;
478 /* This is OK because it is read only. */
479 rn = *r.param.path.matched_path;
480 }
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900481
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900482 /* Calculate domain to transit to. */
483 switch (tomoyo_transition_type(old_domain->domainname, &rn)) {
484 case TOMOYO_TRANSITION_CONTROL_INITIALIZE:
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900485 /* Transit to the child of tomoyo_kernel_domain domain. */
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900486 snprintf(tmp, TOMOYO_EXEC_TMPSIZE - 1, TOMOYO_ROOT_NAME " "
487 "%s", rn.name);
488 break;
489 case TOMOYO_TRANSITION_CONTROL_KEEP:
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900490 /* Keep current domain. */
491 domain = old_domain;
Tetsuo Handa5448ec42010-06-21 11:14:39 +0900492 break;
493 default:
494 if (old_domain == &tomoyo_kernel_domain &&
495 !tomoyo_policy_loaded) {
496 /*
497 * Needn't to transit from kernel domain before
498 * starting /sbin/init. But transit from kernel domain
499 * if executing initializers because they might start
500 * before /sbin/init.
501 */
502 domain = old_domain;
503 } else {
504 /* Normal domain transition. */
505 snprintf(tmp, TOMOYO_EXEC_TMPSIZE - 1, "%s %s",
506 old_domain->domainname->name, rn.name);
507 }
508 break;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900509 }
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900510 if (domain || strlen(tmp) >= TOMOYO_EXEC_TMPSIZE - 10)
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900511 goto done;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900512 domain = tomoyo_find_domain(tmp);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900513 if (domain)
514 goto done;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900515 if (is_enforce) {
516 int error = tomoyo_supervisor(&r, "# wants to create domain\n"
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900517 "%s\n", tmp);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900518 if (error == TOMOYO_RETRY_REQUEST)
519 goto retry;
520 if (error < 0)
521 goto done;
522 }
Tetsuo Handae2bf6902010-06-25 11:16:00 +0900523 domain = tomoyo_assign_domain(tmp, old_domain->profile);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900524 done:
525 if (domain)
526 goto out;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900527 printk(KERN_WARNING "TOMOYO-ERROR: Domain '%s' not defined.\n", tmp);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900528 if (is_enforce)
529 retval = -EPERM;
530 else
Tetsuo Handaea13ddb2010-02-03 06:43:06 +0900531 old_domain->transition_failed = true;
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900532 out:
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900533 if (!domain)
534 domain = old_domain;
Tetsuo Handaec8e6a42010-02-11 09:43:20 +0900535 /* Update reference count on "struct tomoyo_domain_info". */
536 atomic_inc(&domain->users);
Tetsuo Handa56f8c9bc2009-06-19 14:13:27 +0900537 bprm->cred->security = domain;
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900538 if (need_kfree)
539 kfree(rn.name);
Tetsuo Handa8e2d39a2010-01-26 20:45:27 +0900540 kfree(tmp);
Kentaro Takeda26a2a1c2009-02-05 17:18:15 +0900541 return retval;
542}