auditsc.c 64.4 KB
Newer Older
1
/* auditsc.c -- System-call auditing support
Linus Torvalds's avatar
Linus Torvalds committed
2
3
4
 * Handles all system-call specific auditing features.
 *
 * Copyright 2003-2004 Red Hat Inc., Durham, North Carolina.
5
 * Copyright 2005 Hewlett-Packard Development Company, L.P.
6
 * Copyright (C) 2005, 2006 IBM Corporation
Linus Torvalds's avatar
Linus Torvalds committed
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 * All Rights Reserved.
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *
 * Written by Rickard E. (Rik) Faith <faith@redhat.com>
 *
 * Many of the ideas implemented here are from Stephen C. Tweedie,
 * especially the idea of avoiding a copy by using getname.
 *
 * The method for actual interception of syscall entry and exit (not in
 * this file -- see entry.S) is based on a GPL'd patch written by
 * okir@suse.de and Copyright 2003 SuSE Linux AG.
 *
32
33
34
 * POSIX message queue support added by George Wilson <ltcgcw@us.ibm.com>,
 * 2006.
 *
35
36
37
 * The support of additional filter rules compares (>, <, >=, <=) was
 * added by Dustin Kirkland <dustin.kirkland@us.ibm.com>, 2005.
 *
38
39
 * Modified by Amy Griffis <amy.griffis@hp.com> to collect additional
 * filesystem information.
40
41
42
 *
 * Subject and object context labeling support added by <danjones@us.ibm.com>
 * and <dustin.kirkland@us.ibm.com> for LSPP certification compliance.
Linus Torvalds's avatar
Linus Torvalds committed
43
44
45
46
 */

#include <linux/init.h>
#include <asm/types.h>
47
#include <asm/atomic.h>
48
49
#include <linux/fs.h>
#include <linux/namei.h>
Linus Torvalds's avatar
Linus Torvalds committed
50
51
#include <linux/mm.h>
#include <linux/module.h>
52
#include <linux/mount.h>
53
#include <linux/socket.h>
54
#include <linux/mqueue.h>
Linus Torvalds's avatar
Linus Torvalds committed
55
56
57
#include <linux/audit.h>
#include <linux/personality.h>
#include <linux/time.h>
58
#include <linux/netlink.h>
59
#include <linux/compiler.h>
Linus Torvalds's avatar
Linus Torvalds committed
60
#include <asm/unistd.h>
61
#include <linux/security.h>
62
#include <linux/list.h>
63
#include <linux/tty.h>
Al Viro's avatar
Al Viro committed
64
#include <linux/binfmts.h>
65
#include <linux/highmem.h>
Al Viro's avatar
Al Viro committed
66
#include <linux/syscalls.h>
Al Viro's avatar
Al Viro committed
67
#include <linux/inotify.h>
68
#include <linux/capability.h>
Linus Torvalds's avatar
Linus Torvalds committed
69

70
#include "audit.h"
Linus Torvalds's avatar
Linus Torvalds committed
71
72
73
74
75

/* AUDIT_NAMES is the number of slots we reserve in the audit_context
 * for saving names from getname(). */
#define AUDIT_NAMES    20

76
77
78
/* Indicates that audit should log the full pathname. */
#define AUDIT_NAME_FULL -1

79
80
81
/* no execve audit message should be longer than this (userspace limits) */
#define MAX_EXECVE_AUDIT_LEN 7500

82
83
84
/* number of audit rules */
int audit_n_rules;

Amy Griffis's avatar
Amy Griffis committed
85
86
87
/* determines whether we collect data for signals sent */
int audit_signals;

88
89
90
91
92
93
94
95
96
struct audit_cap_data {
	kernel_cap_t		permitted;
	kernel_cap_t		inheritable;
	union {
		unsigned int	fE;		/* effective bit of a file capability */
		kernel_cap_t	effective;	/* effective set of a process */
	};
};

Linus Torvalds's avatar
Linus Torvalds committed
97
98
99
100
101
102
103
/* When fs/namei.c:getname() is called, we store the pointer in name and
 * we don't let putname() free it (instead we free all of the saved
 * pointers at syscall exit time).
 *
 * Further, in fs/namei.c:path_lookup() we store the inode and device. */
struct audit_names {
	const char	*name;
104
105
	int		name_len;	/* number of name's characters to log */
	unsigned	name_put;	/* call __putname() for this name */
Linus Torvalds's avatar
Linus Torvalds committed
106
107
108
109
110
111
	unsigned long	ino;
	dev_t		dev;
	umode_t		mode;
	uid_t		uid;
	gid_t		gid;
	dev_t		rdev;
Steve Grubb's avatar
Steve Grubb committed
112
	u32		osid;
113
114
	struct audit_cap_data fcap;
	unsigned int	fcap_ver;
Linus Torvalds's avatar
Linus Torvalds committed
115
116
117
118
119
120
121
122
123
};

struct audit_aux_data {
	struct audit_aux_data	*next;
	int			type;
};

#define AUDIT_AUX_IPCPERM	0

Amy Griffis's avatar
Amy Griffis committed
124
125
126
/* Number of target pids per aux struct. */
#define AUDIT_AUX_PIDS	16

127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
struct audit_aux_data_mq_open {
	struct audit_aux_data	d;
	int			oflag;
	mode_t			mode;
	struct mq_attr		attr;
};

struct audit_aux_data_mq_sendrecv {
	struct audit_aux_data	d;
	mqd_t			mqdes;
	size_t			msg_len;
	unsigned int		msg_prio;
	struct timespec		abs_timeout;
};

struct audit_aux_data_mq_notify {
	struct audit_aux_data	d;
	mqd_t			mqdes;
	struct sigevent 	notification;
};

struct audit_aux_data_mq_getsetattr {
	struct audit_aux_data	d;
	mqd_t			mqdes;
	struct mq_attr 		mqstat;
};

Linus Torvalds's avatar
Linus Torvalds committed
154
155
156
157
158
159
160
struct audit_aux_data_ipcctl {
	struct audit_aux_data	d;
	struct ipc_perm		p;
	unsigned long		qbytes;
	uid_t			uid;
	gid_t			gid;
	mode_t			mode;
Steve Grubb's avatar
Steve Grubb committed
161
	u32			osid;
Linus Torvalds's avatar
Linus Torvalds committed
162
163
};

Al Viro's avatar
Al Viro committed
164
165
166
167
struct audit_aux_data_execve {
	struct audit_aux_data	d;
	int argc;
	int envc;
Peter Zijlstra's avatar
Peter Zijlstra committed
168
	struct mm_struct *mm;
Al Viro's avatar
Al Viro committed
169
170
};

171
172
173
174
175
176
177
178
179
180
181
182
struct audit_aux_data_socketcall {
	struct audit_aux_data	d;
	int			nargs;
	unsigned long		args[0];
};

struct audit_aux_data_sockaddr {
	struct audit_aux_data	d;
	int			len;
	char			a[0];
};

Al Viro's avatar
Al Viro committed
183
184
185
186
187
struct audit_aux_data_fd_pair {
	struct	audit_aux_data d;
	int	fd[2];
};

Amy Griffis's avatar
Amy Griffis committed
188
189
190
struct audit_aux_data_pids {
	struct audit_aux_data	d;
	pid_t			target_pid[AUDIT_AUX_PIDS];
191
192
	uid_t			target_auid[AUDIT_AUX_PIDS];
	uid_t			target_uid[AUDIT_AUX_PIDS];
193
	unsigned int		target_sessionid[AUDIT_AUX_PIDS];
Amy Griffis's avatar
Amy Griffis committed
194
	u32			target_sid[AUDIT_AUX_PIDS];
195
	char 			target_comm[AUDIT_AUX_PIDS][TASK_COMM_LEN];
Amy Griffis's avatar
Amy Griffis committed
196
197
198
	int			pid_count;
};

Al Viro's avatar
Al Viro committed
199
200
201
202
203
struct audit_tree_refs {
	struct audit_tree_refs *next;
	struct audit_chunk *c[31];
};

Linus Torvalds's avatar
Linus Torvalds committed
204
205
/* The per-task audit context. */
struct audit_context {
206
	int		    dummy;	/* must be the first element */
Linus Torvalds's avatar
Linus Torvalds committed
207
208
209
210
211
212
213
	int		    in_syscall;	/* 1 if task is in a syscall */
	enum audit_state    state;
	unsigned int	    serial;     /* serial number for record */
	struct timespec	    ctime;      /* time of syscall entry */
	int		    major;      /* syscall number */
	unsigned long	    argv[4];    /* syscall arguments */
	int		    return_valid; /* return code is valid */
214
	long		    return_code;/* syscall return code */
Linus Torvalds's avatar
Linus Torvalds committed
215
216
217
	int		    auditable;  /* 1 if record should be written */
	int		    name_count;
	struct audit_names  names[AUDIT_NAMES];
Amy Griffis's avatar
Amy Griffis committed
218
	char *		    filterkey;	/* key for rule that triggered record */
219
	struct path	    pwd;
Linus Torvalds's avatar
Linus Torvalds committed
220
221
	struct audit_context *previous; /* For nested syscalls */
	struct audit_aux_data *aux;
Amy Griffis's avatar
Amy Griffis committed
222
	struct audit_aux_data *aux_pids;
Linus Torvalds's avatar
Linus Torvalds committed
223
224

				/* Save things to print about task_struct */
Al Viro's avatar
Al Viro committed
225
	pid_t		    pid, ppid;
Linus Torvalds's avatar
Linus Torvalds committed
226
227
228
	uid_t		    uid, euid, suid, fsuid;
	gid_t		    gid, egid, sgid, fsgid;
	unsigned long	    personality;
229
	int		    arch;
Linus Torvalds's avatar
Linus Torvalds committed
230

Al Viro's avatar
Al Viro committed
231
	pid_t		    target_pid;
232
233
	uid_t		    target_auid;
	uid_t		    target_uid;
234
	unsigned int	    target_sessionid;
Al Viro's avatar
Al Viro committed
235
	u32		    target_sid;
236
	char		    target_comm[TASK_COMM_LEN];
Al Viro's avatar
Al Viro committed
237

Al Viro's avatar
Al Viro committed
238
239
240
	struct audit_tree_refs *trees, *first_trees;
	int tree_count;

Linus Torvalds's avatar
Linus Torvalds committed
241
242
243
244
245
246
#if AUDIT_DEBUG
	int		    put_count;
	int		    ino_count;
#endif
};

Al Viro's avatar
Al Viro committed
247
248
249
250
251
252
253
254
255
256
257
#define ACC_MODE(x) ("\004\002\006\006"[(x)&O_ACCMODE])
static inline int open_arg(int flags, int mask)
{
	int n = ACC_MODE(flags);
	if (flags & (O_TRUNC | O_CREAT))
		n |= AUDIT_PERM_WRITE;
	return n & mask;
}

static int audit_match_perm(struct audit_context *ctx, int mask)
{
258
	unsigned n;
259
260
	if (unlikely(!ctx))
		return 0;
261
	n = ctx->major;
262

Al Viro's avatar
Al Viro committed
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
	switch (audit_classify_syscall(ctx->arch, n)) {
	case 0:	/* native */
		if ((mask & AUDIT_PERM_WRITE) &&
		     audit_match_class(AUDIT_CLASS_WRITE, n))
			return 1;
		if ((mask & AUDIT_PERM_READ) &&
		     audit_match_class(AUDIT_CLASS_READ, n))
			return 1;
		if ((mask & AUDIT_PERM_ATTR) &&
		     audit_match_class(AUDIT_CLASS_CHATTR, n))
			return 1;
		return 0;
	case 1: /* 32bit on biarch */
		if ((mask & AUDIT_PERM_WRITE) &&
		     audit_match_class(AUDIT_CLASS_WRITE_32, n))
			return 1;
		if ((mask & AUDIT_PERM_READ) &&
		     audit_match_class(AUDIT_CLASS_READ_32, n))
			return 1;
		if ((mask & AUDIT_PERM_ATTR) &&
		     audit_match_class(AUDIT_CLASS_CHATTR_32, n))
			return 1;
		return 0;
	case 2: /* open */
		return mask & ACC_MODE(ctx->argv[1]);
	case 3: /* openat */
		return mask & ACC_MODE(ctx->argv[2]);
	case 4: /* socketcall */
		return ((mask & AUDIT_PERM_WRITE) && ctx->argv[0] == SYS_BIND);
	case 5: /* execve */
		return mask & AUDIT_PERM_EXEC;
	default:
		return 0;
	}
}

299
300
301
302
static int audit_match_filetype(struct audit_context *ctx, int which)
{
	unsigned index = which & ~S_IFMT;
	mode_t mode = which & S_IFMT;
303
304
305
306

	if (unlikely(!ctx))
		return 0;

307
308
309
310
311
312
313
314
315
	if (index >= ctx->name_count)
		return 0;
	if (ctx->names[index].ino == -1)
		return 0;
	if ((ctx->names[index].mode ^ mode) & S_IFMT)
		return 0;
	return 1;
}

Al Viro's avatar
Al Viro committed
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
/*
 * We keep a linked list of fixed-sized (31 pointer) arrays of audit_chunk *;
 * ->first_trees points to its beginning, ->trees - to the current end of data.
 * ->tree_count is the number of free entries in array pointed to by ->trees.
 * Original condition is (NULL, NULL, 0); as soon as it grows we never revert to NULL,
 * "empty" becomes (p, p, 31) afterwards.  We don't shrink the list (and seriously,
 * it's going to remain 1-element for almost any setup) until we free context itself.
 * References in it _are_ dropped - at the same time we free/drop aux stuff.
 */

#ifdef CONFIG_AUDIT_TREE
static int put_tree_ref(struct audit_context *ctx, struct audit_chunk *chunk)
{
	struct audit_tree_refs *p = ctx->trees;
	int left = ctx->tree_count;
	if (likely(left)) {
		p->c[--left] = chunk;
		ctx->tree_count = left;
		return 1;
	}
	if (!p)
		return 0;
	p = p->next;
	if (p) {
		p->c[30] = chunk;
		ctx->trees = p;
		ctx->tree_count = 30;
		return 1;
	}
	return 0;
}

static int grow_tree_refs(struct audit_context *ctx)
{
	struct audit_tree_refs *p = ctx->trees;
	ctx->trees = kzalloc(sizeof(struct audit_tree_refs), GFP_KERNEL);
	if (!ctx->trees) {
		ctx->trees = p;
		return 0;
	}
	if (p)
		p->next = ctx->trees;
	else
		ctx->first_trees = ctx->trees;
	ctx->tree_count = 31;
	return 1;
}
#endif

static void unroll_tree_refs(struct audit_context *ctx,
		      struct audit_tree_refs *p, int count)
{
#ifdef CONFIG_AUDIT_TREE
	struct audit_tree_refs *q;
	int n;
	if (!p) {
		/* we started with empty chain */
		p = ctx->first_trees;
		count = 31;
		/* if the very first allocation has failed, nothing to do */
		if (!p)
			return;
	}
	n = count;
	for (q = p; q != ctx->trees; q = q->next, n = 31) {
		while (n--) {
			audit_put_chunk(q->c[n]);
			q->c[n] = NULL;
		}
	}
	while (n-- > ctx->tree_count) {
		audit_put_chunk(q->c[n]);
		q->c[n] = NULL;
	}
	ctx->trees = p;
	ctx->tree_count = count;
#endif
}

static void free_tree_refs(struct audit_context *ctx)
{
	struct audit_tree_refs *p, *q;
	for (p = ctx->first_trees; p; p = q) {
		q = p->next;
		kfree(p);
	}
}

static int match_tree_refs(struct audit_context *ctx, struct audit_tree *tree)
{
#ifdef CONFIG_AUDIT_TREE
	struct audit_tree_refs *p;
	int n;
	if (!tree)
		return 0;
	/* full ones */
	for (p = ctx->first_trees; p != ctx->trees; p = p->next) {
		for (n = 0; n < 31; n++)
			if (audit_tree_match(p->c[n], tree))
				return 1;
	}
	/* partial */
	if (p) {
		for (n = ctx->tree_count; n < 31; n++)
			if (audit_tree_match(p->c[n], tree))
				return 1;
	}
#endif
	return 0;
}

Amy Griffis's avatar
Amy Griffis committed
427
/* Determine if any context name data matches a rule's watch data */
Linus Torvalds's avatar
Linus Torvalds committed
428
429
430
/* Compare a task_struct with an audit_rule.  Return 1 on match, 0
 * otherwise. */
static int audit_filter_rules(struct task_struct *tsk,
431
			      struct audit_krule *rule,
Linus Torvalds's avatar
Linus Torvalds committed
432
			      struct audit_context *ctx,
Amy Griffis's avatar
Amy Griffis committed
433
			      struct audit_names *name,
Linus Torvalds's avatar
Linus Torvalds committed
434
435
			      enum audit_state *state)
{
Steve Grubb's avatar
Steve Grubb committed
436
	int i, j, need_sid = 1;
437
438
	u32 sid;

Linus Torvalds's avatar
Linus Torvalds committed
439
	for (i = 0; i < rule->field_count; i++) {
440
		struct audit_field *f = &rule->fields[i];
Linus Torvalds's avatar
Linus Torvalds committed
441
442
		int result = 0;

443
		switch (f->type) {
Linus Torvalds's avatar
Linus Torvalds committed
444
		case AUDIT_PID:
445
			result = audit_comparator(tsk->pid, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
446
			break;
Al Viro's avatar
Al Viro committed
447
		case AUDIT_PPID:
Alexander Viro's avatar
Alexander Viro committed
448
449
450
			if (ctx) {
				if (!ctx->ppid)
					ctx->ppid = sys_getppid();
Al Viro's avatar
Al Viro committed
451
				result = audit_comparator(ctx->ppid, f->op, f->val);
Alexander Viro's avatar
Alexander Viro committed
452
			}
Al Viro's avatar
Al Viro committed
453
			break;
Linus Torvalds's avatar
Linus Torvalds committed
454
		case AUDIT_UID:
455
			result = audit_comparator(tsk->uid, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
456
457
			break;
		case AUDIT_EUID:
458
			result = audit_comparator(tsk->euid, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
459
460
			break;
		case AUDIT_SUID:
461
			result = audit_comparator(tsk->suid, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
462
463
			break;
		case AUDIT_FSUID:
464
			result = audit_comparator(tsk->fsuid, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
465
466
			break;
		case AUDIT_GID:
467
			result = audit_comparator(tsk->gid, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
468
469
			break;
		case AUDIT_EGID:
470
			result = audit_comparator(tsk->egid, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
471
472
			break;
		case AUDIT_SGID:
473
			result = audit_comparator(tsk->sgid, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
474
475
			break;
		case AUDIT_FSGID:
476
			result = audit_comparator(tsk->fsgid, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
477
478
			break;
		case AUDIT_PERS:
479
			result = audit_comparator(tsk->personality, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
480
			break;
481
		case AUDIT_ARCH:
482
			if (ctx)
483
				result = audit_comparator(ctx->arch, f->op, f->val);
484
			break;
Linus Torvalds's avatar
Linus Torvalds committed
485
486
487

		case AUDIT_EXIT:
			if (ctx && ctx->return_valid)
488
				result = audit_comparator(ctx->return_code, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
489
490
			break;
		case AUDIT_SUCCESS:
491
			if (ctx && ctx->return_valid) {
492
493
				if (f->val)
					result = audit_comparator(ctx->return_valid, f->op, AUDITSC_SUCCESS);
494
				else
495
					result = audit_comparator(ctx->return_valid, f->op, AUDITSC_FAILURE);
496
			}
Linus Torvalds's avatar
Linus Torvalds committed
497
498
			break;
		case AUDIT_DEVMAJOR:
Amy Griffis's avatar
Amy Griffis committed
499
500
501
502
			if (name)
				result = audit_comparator(MAJOR(name->dev),
							  f->op, f->val);
			else if (ctx) {
Linus Torvalds's avatar
Linus Torvalds committed
503
				for (j = 0; j < ctx->name_count; j++) {
504
					if (audit_comparator(MAJOR(ctx->names[j].dev),	f->op, f->val)) {
Linus Torvalds's avatar
Linus Torvalds committed
505
506
507
508
509
510
511
						++result;
						break;
					}
				}
			}
			break;
		case AUDIT_DEVMINOR:
Amy Griffis's avatar
Amy Griffis committed
512
513
514
515
			if (name)
				result = audit_comparator(MINOR(name->dev),
							  f->op, f->val);
			else if (ctx) {
Linus Torvalds's avatar
Linus Torvalds committed
516
				for (j = 0; j < ctx->name_count; j++) {
517
					if (audit_comparator(MINOR(ctx->names[j].dev), f->op, f->val)) {
Linus Torvalds's avatar
Linus Torvalds committed
518
519
520
521
522
523
524
						++result;
						break;
					}
				}
			}
			break;
		case AUDIT_INODE:
Amy Griffis's avatar
Amy Griffis committed
525
			if (name)
526
				result = (name->ino == f->val);
Amy Griffis's avatar
Amy Griffis committed
527
			else if (ctx) {
Linus Torvalds's avatar
Linus Torvalds committed
528
				for (j = 0; j < ctx->name_count; j++) {
529
					if (audit_comparator(ctx->names[j].ino, f->op, f->val)) {
Linus Torvalds's avatar
Linus Torvalds committed
530
531
532
533
534
535
						++result;
						break;
					}
				}
			}
			break;
Amy Griffis's avatar
Amy Griffis committed
536
537
538
		case AUDIT_WATCH:
			if (name && rule->watch->ino != (unsigned long)-1)
				result = (name->dev == rule->watch->dev &&
539
					  name->ino == rule->watch->ino);
Amy Griffis's avatar
Amy Griffis committed
540
			break;
Al Viro's avatar
Al Viro committed
541
542
543
544
		case AUDIT_DIR:
			if (ctx)
				result = match_tree_refs(ctx, rule->tree);
			break;
Linus Torvalds's avatar
Linus Torvalds committed
545
546
547
		case AUDIT_LOGINUID:
			result = 0;
			if (ctx)
Al Viro's avatar
Al Viro committed
548
				result = audit_comparator(tsk->loginuid, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
549
			break;
550
551
552
553
554
		case AUDIT_SUBJ_USER:
		case AUDIT_SUBJ_ROLE:
		case AUDIT_SUBJ_TYPE:
		case AUDIT_SUBJ_SEN:
		case AUDIT_SUBJ_CLR:
555
556
557
558
559
			/* NOTE: this may return negative values indicating
			   a temporary error.  We simply treat this as a
			   match for now to avoid losing information that
			   may be wanted.   An error message will also be
			   logged upon error */
560
			if (f->lsm_rule) {
Steve Grubb's avatar
Steve Grubb committed
561
				if (need_sid) {
562
					security_task_getsecid(tsk, &sid);
Steve Grubb's avatar
Steve Grubb committed
563
564
					need_sid = 0;
				}
565
				result = security_audit_rule_match(sid, f->type,
566
				                                  f->op,
567
				                                  f->lsm_rule,
568
				                                  ctx);
Steve Grubb's avatar
Steve Grubb committed
569
			}
570
			break;
571
572
573
574
575
576
577
		case AUDIT_OBJ_USER:
		case AUDIT_OBJ_ROLE:
		case AUDIT_OBJ_TYPE:
		case AUDIT_OBJ_LEV_LOW:
		case AUDIT_OBJ_LEV_HIGH:
			/* The above note for AUDIT_SUBJ_USER...AUDIT_SUBJ_CLR
			   also applies here */
578
			if (f->lsm_rule) {
579
580
				/* Find files that match */
				if (name) {
581
					result = security_audit_rule_match(
582
					           name->osid, f->type, f->op,
583
					           f->lsm_rule, ctx);
584
585
				} else if (ctx) {
					for (j = 0; j < ctx->name_count; j++) {
586
						if (security_audit_rule_match(
587
588
						      ctx->names[j].osid,
						      f->type, f->op,
589
						      f->lsm_rule, ctx)) {
590
591
592
593
594
595
596
597
598
599
600
601
							++result;
							break;
						}
					}
				}
				/* Find ipc objects that match */
				if (ctx) {
					struct audit_aux_data *aux;
					for (aux = ctx->aux; aux;
					     aux = aux->next) {
						if (aux->type == AUDIT_IPC) {
							struct audit_aux_data_ipcctl *axi = (void *)aux;
602
							if (security_audit_rule_match(axi->osid, f->type, f->op, f->lsm_rule, ctx)) {
603
604
605
606
607
608
609
610
								++result;
								break;
							}
						}
					}
				}
			}
			break;
Linus Torvalds's avatar
Linus Torvalds committed
611
612
613
614
615
		case AUDIT_ARG0:
		case AUDIT_ARG1:
		case AUDIT_ARG2:
		case AUDIT_ARG3:
			if (ctx)
616
				result = audit_comparator(ctx->argv[f->type-AUDIT_ARG0], f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
617
			break;
Amy Griffis's avatar
Amy Griffis committed
618
619
620
621
		case AUDIT_FILTERKEY:
			/* ignore this field for filtering */
			result = 1;
			break;
Al Viro's avatar
Al Viro committed
622
623
624
		case AUDIT_PERM:
			result = audit_match_perm(ctx, f->val);
			break;
625
626
627
		case AUDIT_FILETYPE:
			result = audit_match_filetype(ctx, f->val);
			break;
Linus Torvalds's avatar
Linus Torvalds committed
628
629
630
631
632
		}

		if (!result)
			return 0;
	}
633
	if (rule->filterkey && ctx)
Amy Griffis's avatar
Amy Griffis committed
634
		ctx->filterkey = kstrdup(rule->filterkey, GFP_ATOMIC);
Linus Torvalds's avatar
Linus Torvalds committed
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
	switch (rule->action) {
	case AUDIT_NEVER:    *state = AUDIT_DISABLED;	    break;
	case AUDIT_ALWAYS:   *state = AUDIT_RECORD_CONTEXT; break;
	}
	return 1;
}

/* At process creation time, we can determine if system-call auditing is
 * completely disabled for this task.  Since we only have the task
 * structure at this point, we can only check uid and gid.
 */
static enum audit_state audit_filter_task(struct task_struct *tsk)
{
	struct audit_entry *e;
	enum audit_state   state;

	rcu_read_lock();
652
	list_for_each_entry_rcu(e, &audit_filter_list[AUDIT_FILTER_TASK], list) {
Amy Griffis's avatar
Amy Griffis committed
653
		if (audit_filter_rules(tsk, &e->rule, NULL, NULL, &state)) {
Linus Torvalds's avatar
Linus Torvalds committed
654
655
656
657
658
659
660
661
662
663
			rcu_read_unlock();
			return state;
		}
	}
	rcu_read_unlock();
	return AUDIT_BUILD_CONTEXT;
}

/* At syscall entry and exit time, this filter is called if the
 * audit_state is not low enough that auditing cannot take place, but is
Steve Grubb's avatar
Steve Grubb committed
664
 * also not high enough that we already know we have to write an audit
665
 * record (i.e., the state is AUDIT_SETUP_CONTEXT or AUDIT_BUILD_CONTEXT).
Linus Torvalds's avatar
Linus Torvalds committed
666
667
668
669
670
671
 */
static enum audit_state audit_filter_syscall(struct task_struct *tsk,
					     struct audit_context *ctx,
					     struct list_head *list)
{
	struct audit_entry *e;
672
	enum audit_state state;
Linus Torvalds's avatar
Linus Torvalds committed
673

674
	if (audit_pid && tsk->tgid == audit_pid)
675
676
		return AUDIT_DISABLED;

Linus Torvalds's avatar
Linus Torvalds committed
677
	rcu_read_lock();
678
	if (!list_empty(list)) {
679
680
681
682
		int word = AUDIT_WORD(ctx->major);
		int bit  = AUDIT_BIT(ctx->major);

		list_for_each_entry_rcu(e, list, list) {
Amy Griffis's avatar
Amy Griffis committed
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
			if ((e->rule.mask[word] & bit) == bit &&
			    audit_filter_rules(tsk, &e->rule, ctx, NULL,
					       &state)) {
				rcu_read_unlock();
				return state;
			}
		}
	}
	rcu_read_unlock();
	return AUDIT_BUILD_CONTEXT;
}

/* At syscall exit time, this filter is called if any audit_names[] have been
 * collected during syscall processing.  We only check rules in sublists at hash
 * buckets applicable to the inode numbers in audit_names[].
 * Regarding audit_state, same rules apply as for audit_filter_syscall().
 */
enum audit_state audit_filter_inodes(struct task_struct *tsk,
				     struct audit_context *ctx)
{
	int i;
	struct audit_entry *e;
	enum audit_state state;

	if (audit_pid && tsk->tgid == audit_pid)
		return AUDIT_DISABLED;

	rcu_read_lock();
	for (i = 0; i < ctx->name_count; i++) {
		int word = AUDIT_WORD(ctx->major);
		int bit  = AUDIT_BIT(ctx->major);
		struct audit_names *n = &ctx->names[i];
		int h = audit_hash_ino((u32)n->ino);
		struct list_head *list = &audit_inode_hash[h];

		if (list_empty(list))
			continue;

		list_for_each_entry_rcu(e, list, list) {
			if ((e->rule.mask[word] & bit) == bit &&
			    audit_filter_rules(tsk, &e->rule, ctx, n, &state)) {
724
725
726
				rcu_read_unlock();
				return state;
			}
727
728
729
		}
	}
	rcu_read_unlock();
Linus Torvalds's avatar
Linus Torvalds committed
730
	return AUDIT_BUILD_CONTEXT;
731
732
}

Amy Griffis's avatar
Amy Griffis committed
733
734
735
736
737
void audit_set_auditable(struct audit_context *ctx)
{
	ctx->auditable = 1;
}

Linus Torvalds's avatar
Linus Torvalds committed
738
739
740
741
742
743
744
745
746
static inline struct audit_context *audit_get_context(struct task_struct *tsk,
						      int return_valid,
						      int return_code)
{
	struct audit_context *context = tsk->audit_context;

	if (likely(!context))
		return NULL;
	context->return_valid = return_valid;
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764

	/*
	 * we need to fix up the return code in the audit logs if the actual
	 * return codes are later going to be fixed up by the arch specific
	 * signal handlers
	 *
	 * This is actually a test for:
	 * (rc == ERESTARTSYS ) || (rc == ERESTARTNOINTR) ||
	 * (rc == ERESTARTNOHAND) || (rc == ERESTART_RESTARTBLOCK)
	 *
	 * but is faster than a bunch of ||
	 */
	if (unlikely(return_code <= -ERESTARTSYS) &&
	    (return_code >= -ERESTART_RESTARTBLOCK) &&
	    (return_code != -ENOIOCTLCMD))
		context->return_code = -EINTR;
	else
		context->return_code  = return_code;
Linus Torvalds's avatar
Linus Torvalds committed
765

766
	if (context->in_syscall && !context->dummy && !context->auditable) {
Linus Torvalds's avatar
Linus Torvalds committed
767
		enum audit_state state;
Amy Griffis's avatar
Amy Griffis committed
768

769
		state = audit_filter_syscall(tsk, context, &audit_filter_list[AUDIT_FILTER_EXIT]);
Amy Griffis's avatar
Amy Griffis committed
770
771
772
773
774
775
		if (state == AUDIT_RECORD_CONTEXT) {
			context->auditable = 1;
			goto get_context;
		}

		state = audit_filter_inodes(tsk, context);
Linus Torvalds's avatar
Linus Torvalds committed
776
777
		if (state == AUDIT_RECORD_CONTEXT)
			context->auditable = 1;
Amy Griffis's avatar
Amy Griffis committed
778

Linus Torvalds's avatar
Linus Torvalds committed
779
780
	}

Amy Griffis's avatar
Amy Griffis committed
781
get_context:
782

Linus Torvalds's avatar
Linus Torvalds committed
783
784
785
786
787
788
789
790
791
792
793
	tsk->audit_context = NULL;
	return context;
}

static inline void audit_free_names(struct audit_context *context)
{
	int i;

#if AUDIT_DEBUG == 2
	if (context->auditable
	    ||context->put_count + context->ino_count != context->name_count) {
794
		printk(KERN_ERR "%s:%d(:%d): major=%d in_syscall=%d"
Linus Torvalds's avatar
Linus Torvalds committed
795
796
		       " name_count=%d put_count=%d"
		       " ino_count=%d [NOT freeing]\n",
797
		       __FILE__, __LINE__,
Linus Torvalds's avatar
Linus Torvalds committed
798
799
800
		       context->serial, context->major, context->in_syscall,
		       context->name_count, context->put_count,
		       context->ino_count);
801
		for (i = 0; i < context->name_count; i++) {
Linus Torvalds's avatar
Linus Torvalds committed
802
803
			printk(KERN_ERR "names[%d] = %p = %s\n", i,
			       context->names[i].name,
804
			       context->names[i].name ?: "(null)");
805
		}
Linus Torvalds's avatar
Linus Torvalds committed
806
807
808
809
810
811
812
813
814
		dump_stack();
		return;
	}
#endif
#if AUDIT_DEBUG
	context->put_count  = 0;
	context->ino_count  = 0;
#endif

815
	for (i = 0; i < context->name_count; i++) {
816
		if (context->names[i].name && context->names[i].name_put)
Linus Torvalds's avatar
Linus Torvalds committed
817
			__putname(context->names[i].name);
818
	}
Linus Torvalds's avatar
Linus Torvalds committed
819
	context->name_count = 0;
820
821
822
	path_put(&context->pwd);
	context->pwd.dentry = NULL;
	context->pwd.mnt = NULL;
Linus Torvalds's avatar
Linus Torvalds committed
823
824
825
826
827
828
829
830
831
832
}

static inline void audit_free_aux(struct audit_context *context)
{
	struct audit_aux_data *aux;

	while ((aux = context->aux)) {
		context->aux = aux->next;
		kfree(aux);
	}
Amy Griffis's avatar
Amy Griffis committed
833
834
835
836
	while ((aux = context->aux_pids)) {
		context->aux_pids = aux->next;
		kfree(aux);
	}
Linus Torvalds's avatar
Linus Torvalds committed
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
}

static inline void audit_zero_context(struct audit_context *context,
				      enum audit_state state)
{
	memset(context, 0, sizeof(*context));
	context->state      = state;
}

static inline struct audit_context *audit_alloc_context(enum audit_state state)
{
	struct audit_context *context;

	if (!(context = kmalloc(sizeof(*context), GFP_KERNEL)))
		return NULL;
	audit_zero_context(context, state);
	return context;
}

856
857
858
859
860
/**
 * audit_alloc - allocate an audit context block for a task
 * @tsk: task
 *
 * Filter on the task information and allocate a per-task audit context
Linus Torvalds's avatar
Linus Torvalds committed
861
862
 * if necessary.  Doing so turns on system call auditing for the
 * specified task.  This is called from copy_process, so no lock is
863
864
 * needed.
 */
Linus Torvalds's avatar
Linus Torvalds committed
865
866
867
868
869
int audit_alloc(struct task_struct *tsk)
{
	struct audit_context *context;
	enum audit_state     state;

870
	if (likely(!audit_ever_enabled))
Linus Torvalds's avatar
Linus Torvalds committed
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
		return 0; /* Return if not auditing. */

	state = audit_filter_task(tsk);
	if (likely(state == AUDIT_DISABLED))
		return 0;

	if (!(context = audit_alloc_context(state))) {
		audit_log_lost("out of memory in audit_alloc");
		return -ENOMEM;
	}

	tsk->audit_context  = context;
	set_tsk_thread_flag(tsk, TIF_SYSCALL_AUDIT);
	return 0;
}

static inline void audit_free_context(struct audit_context *context)
{
	struct audit_context *previous;
	int		     count = 0;

	do {
		previous = context->previous;
		if (previous || (count &&  count < 10)) {
			++count;
			printk(KERN_ERR "audit(:%d): major=%d name_count=%d:"
			       " freeing multiple contexts (%d)\n",
			       context->serial, context->major,
			       context->name_count, count);
		}
		audit_free_names(context);
Al Viro's avatar
Al Viro committed
902
903
		unroll_tree_refs(context, NULL, 0);
		free_tree_refs(context);
Linus Torvalds's avatar
Linus Torvalds committed
904
		audit_free_aux(context);
Amy Griffis's avatar
Amy Griffis committed
905
		kfree(context->filterkey);
Linus Torvalds's avatar
Linus Torvalds committed
906
907
908
909
910
911
912
		kfree(context);
		context  = previous;
	} while (context);
	if (count >= 10)
		printk(KERN_ERR "audit: freed %d contexts\n", count);
}

Joy Latten's avatar
Joy Latten committed
913
void audit_log_task_context(struct audit_buffer *ab)
914
915
{
	char *ctx = NULL;
916
917
918
919
	unsigned len;
	int error;
	u32 sid;

920
	security_task_getsecid(current, &sid);
921
922
	if (!sid)
		return;
923

924
	error = security_secid_to_secctx(sid, &ctx, &len);
925
926
	if (error) {
		if (error != -EINVAL)
927
928
929
930
931
			goto error_path;
		return;
	}

	audit_log_format(ab, " subj=%s", ctx);
932
	security_release_secctx(ctx, len);
933
	return;
934
935

error_path:
936
	audit_panic("error in audit_log_task_context");
937
938
939
	return;
}

Joy Latten's avatar
Joy Latten committed
940
941
EXPORT_SYMBOL(audit_log_task_context);

942
static void audit_log_task_info(struct audit_buffer *ab, struct task_struct *tsk)
943
{
944
945
	char name[sizeof(tsk->comm)];
	struct mm_struct *mm = tsk->mm;
946
947
	struct vm_area_struct *vma;

948
949
	/* tsk == current */

950
	get_task_comm(name, tsk);
951
952
	audit_log_format(ab, " comm=");
	audit_log_untrustedstring(ab, name);
953

954
955
956
957
958
959
960
	if (mm) {
		down_read(&mm->mmap_sem);
		vma = mm->mmap;
		while (vma) {
			if ((vma->vm_flags & VM_EXECUTABLE) &&
			    vma->vm_file) {
				audit_log_d_path(ab, "exe=",
961
						 &vma->vm_file->f_path);
962
963
964
				break;
			}
			vma = vma->vm_next;
965
		}
966
		up_read(&mm->mmap_sem);
967
	}
968
	audit_log_task_context(ab);
969
970
}

Amy Griffis's avatar
Amy Griffis committed
971
static int audit_log_pid_context(struct audit_context *context, pid_t pid,
972
973
				 uid_t auid, uid_t uid, unsigned int sessionid,
				 u32 sid, char *comm)
Amy Griffis's avatar
Amy Griffis committed
974
975
{
	struct audit_buffer *ab;
976
	char *ctx = NULL;
Amy Griffis's avatar
Amy Griffis committed
977
978
979
980
981
	u32 len;
	int rc = 0;

	ab = audit_log_start(context, GFP_KERNEL, AUDIT_OBJ_PID);
	if (!ab)
982
		return rc;
Amy Griffis's avatar
Amy Griffis committed
983

984
985
	audit_log_format(ab, "opid=%d oauid=%d ouid=%d oses=%d", pid, auid,
			 uid, sessionid);
986
	if (security_secid_to_secctx(sid, &ctx, &len)) {
987
		audit_log_format(ab, " obj=(none)");
Amy Griffis's avatar
Amy Griffis committed
988
		rc = 1;
989
990
991
992
	} else {
		audit_log_format(ab, " obj=%s", ctx);
		security_release_secctx(ctx, len);
	}
993
994
	audit_log_format(ab, " ocomm=");
	audit_log_untrustedstring(ab, comm);
Amy Griffis's avatar
Amy Griffis committed
995
996
997
998
999
	audit_log_end(ab);

	return rc;
}

1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
/*
 * to_send and len_sent accounting are very loose estimates.  We aren't
 * really worried about a hard cap to MAX_EXECVE_AUDIT_LEN so much as being
 * within about 500 bytes (next page boundry)
 *
 * why snprintf?  an int is up to 12 digits long.  if we just assumed when
 * logging that a[%d]= was going to be 16 characters long we would be wasting
 * space in every audit message.  In one 7500 byte message we can log up to
 * about 1000 min size arguments.  That comes down to about 50% waste of space
 * if we didn't do the snprintf to find out how long arg_num_len was.
 */
static int audit_log_single_execve_arg(struct audit_context *context,
					struct audit_buffer **ab,
					int arg_num,
					size_t *len_sent,
					const char __user *p,
					char *buf)
Peter Zijlstra's avatar
Peter Zijlstra committed
1017
{
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
	char arg_num_len_buf[12];
	const char __user *tmp_p = p;
	/* how many digits are in arg_num? 3 is the length of a=\n */
	size_t arg_num_len = snprintf(arg_num_len_buf, 12, "%d", arg_num) + 3;
	size_t len, len_left, to_send;
	size_t max_execve_audit_len = MAX_EXECVE_AUDIT_LEN;
	unsigned int i, has_cntl = 0, too_long = 0;
	int ret;

	/* strnlen_user includes the null we don't want to send */
	len_left = len = strnlen_user(p, MAX_ARG_STRLEN) - 1;
Peter Zijlstra's avatar
Peter Zijlstra committed
1029

1030
1031
1032
1033
1034
1035
	/*
	 * We just created this mm, if we can't find the strings
	 * we just copied into it something is _very_ wrong. Similar
	 * for strings that are too long, we should not have created
	 * any.
	 */
1036
	if (unlikely((len == -1) || len > MAX_ARG_STRLEN - 1)) {
1037
1038
		WARN_ON(1);
		send_sig(SIGKILL, current, 0);
1039
		return -1;
1040
	}
1041

1042
1043
1044
1045
1046
1047
1048
	/* walk the whole argument looking for non-ascii chars */
	do {
		if (len_left > MAX_EXECVE_AUDIT_LEN)
			to_send = MAX_EXECVE_AUDIT_LEN;
		else
			to_send = len_left;
		ret = copy_from_user(buf, tmp_p, to_send);
Peter Zijlstra's avatar
Peter Zijlstra committed
1049
		/*
1050
1051
1052
		 * There is no reason for this copy to be short. We just
		 * copied them here, and the mm hasn't been exposed to user-
		 * space yet.
Peter Zijlstra's avatar
Peter Zijlstra committed
1053
		 */
1054
		if (ret) {
Peter Zijlstra's avatar
Peter Zijlstra committed
1055
1056
			WARN_ON(1);
			send_sig(SIGKILL, current, 0);
1057
			return -1;
Peter Zijlstra's avatar
Peter Zijlstra committed
1058
		}
1059
1060
1061
1062
1063
1064
1065
1066
		buf[to_send] = '\0';
		has_cntl = audit_string_contains_control(buf, to_send);
		if (has_cntl) {
			/*
			 * hex messages get logged as 2 bytes, so we can only
			 * send half as much in each message
			 */
			max_execve_audit_len = MAX_EXECVE_AUDIT_LEN / 2;
Peter Zijlstra's avatar
Peter Zijlstra committed
1067
1068
			break;
		}
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
		len_left -= to_send;
		tmp_p += to_send;
	} while (len_left > 0);

	len_left = len;

	if (len > max_execve_audit_len)
		too_long = 1;

	/* rewalk the argument actually logging the message */
	for (i = 0; len_left > 0; i++) {
		int room_left;

		if (len_left > max_execve_audit_len)
			to_send = max_execve_audit_len;
		else
			to_send = len_left;

		/* do we have space left to send this argument in this ab? */
		room_left = MAX_EXECVE_AUDIT_LEN - arg_num_len - *len_sent;
		if (has_cntl)
			room_left -= (to_send * 2);
		else
			room_left -= to_send;
		if (room_left < 0) {
			*len_sent = 0;
			audit_log_end(*ab);
			*ab = audit_log_start(context, GFP_KERNEL, AUDIT_EXECVE);
			if (!*ab)
				return 0;
		}
Peter Zijlstra's avatar
Peter Zijlstra committed
1100
1101

		/*
1102
1103
1104
1105
		 * first record needs to say how long the original string was
		 * so we can be sure nothing was lost.
		 */
		if ((i == 0) && (too_long))
1106
			audit_log_format(*ab, "a%d_len=%zu ", arg_num,
1107
1108
1109
1110
1111
1112
					 has_cntl ? 2*len : len);

		/*
		 * normally arguments are small enough to fit and we already
		 * filled buf above when we checked for control characters
		 * so don't bother with another copy_from_user
Peter Zijlstra's avatar
Peter Zijlstra committed
1113
		 */
1114
1115
1116
1117
		if (len >= max_execve_audit_len)
			ret = copy_from_user(buf, p, to_send);
		else
			ret = 0;
1118
		if (ret) {
Peter Zijlstra's avatar
Peter Zijlstra committed
1119
1120
			WARN_ON(1);
			send_sig(SIGKILL, current, 0);
1121
			return -1;
Peter Zijlstra's avatar
Peter Zijlstra committed
1122
		}
1123
1124
1125
1126
1127
1128
1129
1130
		buf[to_send] = '\0';

		/* actually log it */
		audit_log_format(*ab, "a%d", arg_num);
		if (too_long)
			audit_log_format(*ab, "[%d]", i);
		audit_log_format(*ab, "=");
		if (has_cntl)
1131
			audit_log_n_hex(*ab, buf, to_send);
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
		else
			audit_log_format(*ab, "\"%s\"", buf);
		audit_log_format(*ab, "\n");

		p += to_send;
		len_left -= to_send;
		*len_sent += arg_num_len;
		if (has_cntl)
			*len_sent += to_send * 2;
		else
			*len_sent += to_send;
	}
	/* include the null we didn't log */
	return len + 1;
}

static void audit_log_execve_info(struct audit_context *context,
				  struct audit_buffer **ab,
				  struct audit_aux_data_execve *axi)
{
	int i;
	size_t len, len_sent = 0;
	const char __user *p;
	char *buf;
Peter Zijlstra's avatar
Peter Zijlstra committed
1156

1157
1158
1159
1160
	if (axi->mm != current->mm)
		return; /* execve failed, no additional info */

	p = (const char __user *)axi->mm->arg_start;
Peter Zijlstra's avatar
Peter Zijlstra committed
1161

1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
	audit_log_format(*ab, "argc=%d ", axi->argc);

	/*
	 * we need some kernel buffer to hold the userspace args.  Just
	 * allocate one big one rather than allocating one of the right size
	 * for every single argument inside audit_log_single_execve_arg()
	 * should be <8k allocation so should be pretty safe.
	 */
	buf = kmalloc(MAX_EXECVE_AUDIT_LEN + 1, GFP_KERNEL);
	if (!buf) {
		audit_panic("out of memory for argv string\n");
		return;
Peter Zijlstra's avatar
Peter Zijlstra committed
1174
	}
1175
1176
1177
1178
1179
1180
1181
1182
1183

	for (i = 0; i < axi->argc; i++) {
		len = audit_log_single_execve_arg(context, ab, i,
						  &len_sent, p, buf);
		if (len <= 0)
			break;
		p += len;
	}
	kfree(buf);
Peter Zijlstra's avatar
Peter Zijlstra committed
1184
1185
}

1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
static void audit_log_cap(struct audit_buffer *ab, char *prefix, kernel_cap_t *cap)
{
	int i;

	audit_log_format(ab, " %s=", prefix);
	CAP_FOR_EACH_U32(i) {
		audit_log_format(ab, "%08x", cap->cap[(_KERNEL_CAPABILITY_U32S-1) - i]);
	}
}

static void audit_log_fcaps(struct audit_buffer *ab, struct audit_names *name)
{
	kernel_cap_t *perm = &name->fcap.permitted;
	kernel_cap_t *inh = &name->fcap.inheritable;
	int log = 0;

	if (!cap_isclear(*perm)) {
		audit_log_cap(ab, "cap_fp", perm);
		log = 1;
	}
	if (!cap_isclear(*inh)) {
		audit_log_cap(ab, "cap_fi", inh);
		log = 1;
	}

	if (log)
		audit_log_format(ab, " cap_fe=%d cap_fver=%x", name->fcap.fE, name->fcap_ver);
}

1215
static void audit_log_exit(struct audit_context *context, struct task_struct *tsk)
Linus Torvalds's avatar
Linus Torvalds committed
1216
{
Steve Grubb's avatar
Steve Grubb committed
1217
	int i, call_panic = 0;
Linus Torvalds's avatar
Linus Torvalds committed
1218
	struct audit_buffer *ab;
1219
	struct audit_aux_data *aux;
1220
	const char *tty;
Linus Torvalds's avatar
Linus Torvalds committed
1221

1222
	/* tsk == current */
1223
	context->pid = tsk->pid;
Alexander Viro's avatar
Alexander Viro committed
1224
1225
	if (!context->ppid)
		context->ppid = sys_getppid();
1226
1227
1228
1229
1230
1231
1232
1233
1234
	context->uid = tsk->uid;
	context->gid = tsk->gid;
	context->euid = tsk->euid;
	context->suid = tsk->suid;
	context->fsuid = tsk->fsuid;
	context->egid = tsk->egid;
	context->sgid = tsk->sgid;
	context->fsgid = tsk->fsgid;
	context->personality = tsk->personality;
1235
1236

	ab = audit_log_start(context, GFP_KERNEL, AUDIT_SYSCALL);
Linus Torvalds's avatar
Linus Torvalds committed
1237
1238
	if (!ab)
		return;		/* audit_panic has been called */
1239
1240
	audit_log_format(ab, "arch=%x syscall=%d",
			 context->arch, context->major);
Linus Torvalds's avatar
Linus Torvalds committed
1241
1242
1243
	if (context->personality != PER_LINUX)
		audit_log_format(ab, " per=%lx", context->personality);
	if (context->return_valid)
1244
		audit_log_format(ab, " success=%s exit=%ld",
1245
1246
				 (context->return_valid==AUDITSC_SUCCESS)?"yes":"no",
				 context->return_code);
1247

1248
	spin_lock_irq(&tsk->sighand->siglock);
1249
1250
	if (tsk->signal && tsk->signal->tty && tsk->signal->tty->name)
		tty = tsk->signal->tty->name;
1251
1252
	else
		tty = "(none)";
1253
1254
	spin_unlock_irq(&tsk->sighand->siglock);

Linus Torvalds's avatar
Linus Torvalds committed
1255
1256
	audit_log_format(ab,
		  " a0=%lx a1=%lx a2=%lx a3=%lx items=%d"
Al Viro's avatar
Al Viro committed
1257
		  " ppid=%d pid=%d auid=%u uid=%u gid=%u"
1258
		  " euid=%u suid=%u fsuid=%u"
1259
		  " egid=%u sgid=%u fsgid=%u tty=%s ses=%u",
Linus Torvalds's avatar
Linus Torvalds committed
1260
1261
1262
1263
1264
		  context->argv[0],
		  context->argv[1],
		  context->argv[2],
		  context->argv[3],
		  context->name_count,
Al Viro's avatar
Al Viro committed
1265
		  context->ppid,
Linus Torvalds's avatar
Linus Torvalds committed
1266
		  context->pid,
Al Viro's avatar
Al Viro committed
1267
		  tsk->loginuid,
Linus Torvalds's avatar
Linus Torvalds committed
1268
1269
1270
		  context->uid,
		  context->gid,
		  context->euid, context->suid, context->fsuid,
1271
1272
		  context->egid, context->sgid, context->fsgid, tty,
		  tsk->sessionid);
1273
1274


1275
	audit_log_task_info(ab, tsk);
Amy Griffis's avatar
Amy Griffis committed
1276
1277
1278
1279
1280
	if (context->filterkey) {
		audit_log_format(ab, " key=");
		audit_log_untrustedstring(ab, context->filterkey);
	} else
		audit_log_format(ab, " key=(null)");
Linus Torvalds's avatar
Linus Torvalds committed
1281
1282
	audit_log_end(ab);

1283
	for (aux = context->aux; aux; aux = aux->next) {
1284

1285
		ab = audit_log_start(context, GFP_KERNEL, aux->type);
Linus Torvalds's avatar
Linus Torvalds committed
1286
1287
1288
1289
		if (!ab)
			continue; /* audit_panic has been called */

		switch (aux->type) {
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
		case AUDIT_MQ_OPEN: {
			struct audit_aux_data_mq_open *axi = (void *)aux;
			audit_log_format(ab,
				"oflag=0x%x mode=%#o mq_flags=0x%lx mq_maxmsg=%ld "
				"mq_msgsize=%ld mq_curmsgs=%ld",
				axi->oflag, axi->mode, axi->attr.mq_flags,
				axi->attr.mq_maxmsg, axi->attr.mq_msgsize,
				axi->attr.mq_curmsgs);
			break; }

		case AUDIT_MQ_SENDRECV: {
			struct audit_aux_data_mq_sendrecv *axi = (void *)aux;
			audit_log_format(ab,
				"mqdes=%d msg_len=%zd msg_prio=%u "
				"abs_timeout_sec=%ld abs_timeout_nsec=%ld",
				axi->mqdes, axi->msg_len, axi->msg_prio,
				axi->abs_timeout.tv_sec, axi->abs_timeout.tv_nsec);
			break; }

		case AUDIT_MQ_NOTIFY: {
			struct audit_aux_data_mq_notify *axi = (void *)aux;
			audit_log_format(ab,
				"mqdes=%d sigev_signo=%d",
				axi->mqdes,
				axi->notification.sigev_signo);
			break; }

		case AUDIT_MQ_GETSETATTR: {
			struct audit_aux_data_mq_getsetattr *axi = (void *)aux;
			audit_log_format(ab,
				"mqdes=%d mq_flags=0x%lx mq_maxmsg=%ld mq_msgsize=%ld "
				"mq_curmsgs=%ld ",
				axi->mqdes,
				axi->mqstat.mq_flags, axi->mqstat.mq_maxmsg,
				axi->mqstat.mq_msgsize, axi->mqstat.mq_curmsgs);
			break; }

1327
		case AUDIT_IPC: {
Linus Torvalds's avatar
Linus Torvalds committed
1328
1329
			struct audit_aux_data_ipcctl *axi = (void *)aux;
			audit_log_format(ab, 
Steve Grubb's avatar
Steve Grubb committed
1330
				 "ouid=%u ogid=%u mode=%#o",
1331
				 axi->uid, axi->gid, axi->mode);
Steve Grubb's avatar
Steve Grubb committed
1332
1333
1334
			if (axi->osid != 0) {
				char *ctx = NULL;
				u32 len;
1335
				if (security_secid_to_secctx(
Steve Grubb's avatar
Steve Grubb committed
1336
						axi->osid, &ctx, &len)) {
1337
					audit_log_format(ab, " osid=%u",
Steve Grubb's avatar
Steve Grubb committed
1338
1339
							axi->osid);
					call_panic = 1;
1340
				} else {
Steve Grubb's avatar
Steve Grubb committed
1341
					audit_log_format(ab, " obj=%s", ctx);
1342
1343
					security_release_secctx(ctx, len);
				}
Steve Grubb's avatar
Steve Grubb committed
1344
			}
1345
1346