auditsc.c 66.6 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;
};

199
200
201
202
203
204
205
206
struct audit_aux_data_bprm_fcaps {
	struct audit_aux_data	d;
	struct audit_cap_data	fcap;
	unsigned int		fcap_ver;
	struct audit_cap_data	old_pcap;
	struct audit_cap_data	new_pcap;
};

Al Viro's avatar
Al Viro committed
207
208
209
210
211
struct audit_tree_refs {
	struct audit_tree_refs *next;
	struct audit_chunk *c[31];
};

Linus Torvalds's avatar
Linus Torvalds committed
212
213
/* The per-task audit context. */
struct audit_context {
214
	int		    dummy;	/* must be the first element */
Linus Torvalds's avatar
Linus Torvalds committed
215
216
217
218
219
220
221
	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 */
222
	long		    return_code;/* syscall return code */
Linus Torvalds's avatar
Linus Torvalds committed
223
224
225
	int		    auditable;  /* 1 if record should be written */
	int		    name_count;
	struct audit_names  names[AUDIT_NAMES];
Amy Griffis's avatar
Amy Griffis committed
226
	char *		    filterkey;	/* key for rule that triggered record */
227
	struct path	    pwd;
Linus Torvalds's avatar
Linus Torvalds committed
228
229
	struct audit_context *previous; /* For nested syscalls */
	struct audit_aux_data *aux;
Amy Griffis's avatar
Amy Griffis committed
230
	struct audit_aux_data *aux_pids;
Linus Torvalds's avatar
Linus Torvalds committed
231
232

				/* Save things to print about task_struct */
Al Viro's avatar
Al Viro committed
233
	pid_t		    pid, ppid;
Linus Torvalds's avatar
Linus Torvalds committed
234
235
236
	uid_t		    uid, euid, suid, fsuid;
	gid_t		    gid, egid, sgid, fsgid;
	unsigned long	    personality;
237
	int		    arch;
Linus Torvalds's avatar
Linus Torvalds committed
238

Al Viro's avatar
Al Viro committed
239
	pid_t		    target_pid;
240
241
	uid_t		    target_auid;
	uid_t		    target_uid;
242
	unsigned int	    target_sessionid;
Al Viro's avatar
Al Viro committed
243
	u32		    target_sid;
244
	char		    target_comm[TASK_COMM_LEN];
Al Viro's avatar
Al Viro committed
245

Al Viro's avatar
Al Viro committed
246
247
248
	struct audit_tree_refs *trees, *first_trees;
	int tree_count;

Linus Torvalds's avatar
Linus Torvalds committed
249
250
251
252
253
254
#if AUDIT_DEBUG
	int		    put_count;
	int		    ino_count;
#endif
};

Al Viro's avatar
Al Viro committed
255
256
257
258
259
260
261
262
263
264
265
#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)
{
266
	unsigned n;
267
268
	if (unlikely(!ctx))
		return 0;
269
	n = ctx->major;
270

Al Viro's avatar
Al Viro committed
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
299
300
301
302
303
304
305
306
	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;
	}
}

307
308
309
310
static int audit_match_filetype(struct audit_context *ctx, int which)
{
	unsigned index = which & ~S_IFMT;
	mode_t mode = which & S_IFMT;
311
312
313
314

	if (unlikely(!ctx))
		return 0;

315
316
317
318
319
320
321
322
323
	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
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
427
428
429
430
431
432
433
434
/*
 * 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
435
/* Determine if any context name data matches a rule's watch data */
Linus Torvalds's avatar
Linus Torvalds committed
436
437
438
/* Compare a task_struct with an audit_rule.  Return 1 on match, 0
 * otherwise. */
static int audit_filter_rules(struct task_struct *tsk,
439
			      struct audit_krule *rule,
Linus Torvalds's avatar
Linus Torvalds committed
440
			      struct audit_context *ctx,
Amy Griffis's avatar
Amy Griffis committed
441
			      struct audit_names *name,
Linus Torvalds's avatar
Linus Torvalds committed
442
443
			      enum audit_state *state)
{
Steve Grubb's avatar
Steve Grubb committed
444
	int i, j, need_sid = 1;
445
446
	u32 sid;

Linus Torvalds's avatar
Linus Torvalds committed
447
	for (i = 0; i < rule->field_count; i++) {
448
		struct audit_field *f = &rule->fields[i];
Linus Torvalds's avatar
Linus Torvalds committed
449
450
		int result = 0;

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

		case AUDIT_EXIT:
			if (ctx && ctx->return_valid)
496
				result = audit_comparator(ctx->return_code, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
497
498
			break;
		case AUDIT_SUCCESS:
499
			if (ctx && ctx->return_valid) {
500
501
				if (f->val)
					result = audit_comparator(ctx->return_valid, f->op, AUDITSC_SUCCESS);
502
				else
503
					result = audit_comparator(ctx->return_valid, f->op, AUDITSC_FAILURE);
504
			}
Linus Torvalds's avatar
Linus Torvalds committed
505
506
			break;
		case AUDIT_DEVMAJOR:
Amy Griffis's avatar
Amy Griffis committed
507
508
509
510
			if (name)
				result = audit_comparator(MAJOR(name->dev),
							  f->op, f->val);
			else if (ctx) {
Linus Torvalds's avatar
Linus Torvalds committed
511
				for (j = 0; j < ctx->name_count; j++) {
512
					if (audit_comparator(MAJOR(ctx->names[j].dev),	f->op, f->val)) {
Linus Torvalds's avatar
Linus Torvalds committed
513
514
515
516
517
518
519
						++result;
						break;
					}
				}
			}
			break;
		case AUDIT_DEVMINOR:
Amy Griffis's avatar
Amy Griffis committed
520
521
522
523
			if (name)
				result = audit_comparator(MINOR(name->dev),
							  f->op, f->val);
			else if (ctx) {
Linus Torvalds's avatar
Linus Torvalds committed
524
				for (j = 0; j < ctx->name_count; j++) {
525
					if (audit_comparator(MINOR(ctx->names[j].dev), f->op, f->val)) {
Linus Torvalds's avatar
Linus Torvalds committed
526
527
528
529
530
531
532
						++result;
						break;
					}
				}
			}
			break;
		case AUDIT_INODE:
Amy Griffis's avatar
Amy Griffis committed
533
			if (name)
534
				result = (name->ino == f->val);
Amy Griffis's avatar
Amy Griffis committed
535
			else if (ctx) {
Linus Torvalds's avatar
Linus Torvalds committed
536
				for (j = 0; j < ctx->name_count; j++) {
537
					if (audit_comparator(ctx->names[j].ino, f->op, f->val)) {
Linus Torvalds's avatar
Linus Torvalds committed
538
539
540
541
542
543
						++result;
						break;
					}
				}
			}
			break;
Amy Griffis's avatar
Amy Griffis committed
544
545
546
		case AUDIT_WATCH:
			if (name && rule->watch->ino != (unsigned long)-1)
				result = (name->dev == rule->watch->dev &&
547
					  name->ino == rule->watch->ino);
Amy Griffis's avatar
Amy Griffis committed
548
			break;
Al Viro's avatar
Al Viro committed
549
550
551
552
		case AUDIT_DIR:
			if (ctx)
				result = match_tree_refs(ctx, rule->tree);
			break;
Linus Torvalds's avatar
Linus Torvalds committed
553
554
555
		case AUDIT_LOGINUID:
			result = 0;
			if (ctx)
Al Viro's avatar
Al Viro committed
556
				result = audit_comparator(tsk->loginuid, f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
557
			break;
558
559
560
561
562
		case AUDIT_SUBJ_USER:
		case AUDIT_SUBJ_ROLE:
		case AUDIT_SUBJ_TYPE:
		case AUDIT_SUBJ_SEN:
		case AUDIT_SUBJ_CLR:
563
564
565
566
567
			/* 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 */
568
			if (f->lsm_rule) {
Steve Grubb's avatar
Steve Grubb committed
569
				if (need_sid) {
570
					security_task_getsecid(tsk, &sid);
Steve Grubb's avatar
Steve Grubb committed
571
572
					need_sid = 0;
				}
573
				result = security_audit_rule_match(sid, f->type,
574
				                                  f->op,
575
				                                  f->lsm_rule,
576
				                                  ctx);
Steve Grubb's avatar
Steve Grubb committed
577
			}
578
			break;
579
580
581
582
583
584
585
		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 */
586
			if (f->lsm_rule) {
587
588
				/* Find files that match */
				if (name) {
589
					result = security_audit_rule_match(
590
					           name->osid, f->type, f->op,
591
					           f->lsm_rule, ctx);
592
593
				} else if (ctx) {
					for (j = 0; j < ctx->name_count; j++) {
594
						if (security_audit_rule_match(
595
596
						      ctx->names[j].osid,
						      f->type, f->op,
597
						      f->lsm_rule, ctx)) {
598
599
600
601
602
603
604
605
606
607
608
609
							++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;
610
							if (security_audit_rule_match(axi->osid, f->type, f->op, f->lsm_rule, ctx)) {
611
612
613
614
615
616
617
618
								++result;
								break;
							}
						}
					}
				}
			}
			break;
Linus Torvalds's avatar
Linus Torvalds committed
619
620
621
622
623
		case AUDIT_ARG0:
		case AUDIT_ARG1:
		case AUDIT_ARG2:
		case AUDIT_ARG3:
			if (ctx)
624
				result = audit_comparator(ctx->argv[f->type-AUDIT_ARG0], f->op, f->val);
Linus Torvalds's avatar
Linus Torvalds committed
625
			break;
Amy Griffis's avatar
Amy Griffis committed
626
627
628
629
		case AUDIT_FILTERKEY:
			/* ignore this field for filtering */
			result = 1;
			break;
Al Viro's avatar
Al Viro committed
630
631
632
		case AUDIT_PERM:
			result = audit_match_perm(ctx, f->val);
			break;
633
634
635
		case AUDIT_FILETYPE:
			result = audit_match_filetype(ctx, f->val);
			break;
Linus Torvalds's avatar
Linus Torvalds committed
636
637
638
639
640
		}

		if (!result)
			return 0;
	}
641
	if (rule->filterkey && ctx)
Amy Griffis's avatar
Amy Griffis committed
642
		ctx->filterkey = kstrdup(rule->filterkey, GFP_ATOMIC);
Linus Torvalds's avatar
Linus Torvalds committed
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
	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();
660
	list_for_each_entry_rcu(e, &audit_filter_list[AUDIT_FILTER_TASK], list) {
Amy Griffis's avatar
Amy Griffis committed
661
		if (audit_filter_rules(tsk, &e->rule, NULL, NULL, &state)) {
Linus Torvalds's avatar
Linus Torvalds committed
662
663
664
665
666
667
668
669
670
671
			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
672
 * also not high enough that we already know we have to write an audit
673
 * record (i.e., the state is AUDIT_SETUP_CONTEXT or AUDIT_BUILD_CONTEXT).
Linus Torvalds's avatar
Linus Torvalds committed
674
675
676
677
678
679
 */
static enum audit_state audit_filter_syscall(struct task_struct *tsk,
					     struct audit_context *ctx,
					     struct list_head *list)
{
	struct audit_entry *e;
680
	enum audit_state state;
Linus Torvalds's avatar
Linus Torvalds committed
681

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

Linus Torvalds's avatar
Linus Torvalds committed
685
	rcu_read_lock();
686
	if (!list_empty(list)) {
687
688
689
690
		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
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
724
725
726
727
728
729
730
731
			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)) {
732
733
734
				rcu_read_unlock();
				return state;
			}
735
736
737
		}
	}
	rcu_read_unlock();
Linus Torvalds's avatar
Linus Torvalds committed
738
	return AUDIT_BUILD_CONTEXT;
739
740
}

Amy Griffis's avatar
Amy Griffis committed
741
742
743
744
745
void audit_set_auditable(struct audit_context *ctx)
{
	ctx->auditable = 1;
}

Linus Torvalds's avatar
Linus Torvalds committed
746
747
748
749
750
751
752
753
754
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;
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772

	/*
	 * 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
773

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

777
		state = audit_filter_syscall(tsk, context, &audit_filter_list[AUDIT_FILTER_EXIT]);
Amy Griffis's avatar
Amy Griffis committed
778
779
780
781
782
783
		if (state == AUDIT_RECORD_CONTEXT) {
			context->auditable = 1;
			goto get_context;
		}

		state = audit_filter_inodes(tsk, context);
Linus Torvalds's avatar
Linus Torvalds committed
784
785
		if (state == AUDIT_RECORD_CONTEXT)
			context->auditable = 1;
Amy Griffis's avatar
Amy Griffis committed
786

Linus Torvalds's avatar
Linus Torvalds committed
787
788
	}

Amy Griffis's avatar
Amy Griffis committed
789
get_context:
790

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

823
	for (i = 0; i < context->name_count; i++) {
824
		if (context->names[i].name && context->names[i].name_put)
Linus Torvalds's avatar
Linus Torvalds committed
825
			__putname(context->names[i].name);
826
	}
Linus Torvalds's avatar
Linus Torvalds committed
827
	context->name_count = 0;
828
829
830
	path_put(&context->pwd);
	context->pwd.dentry = NULL;
	context->pwd.mnt = NULL;
Linus Torvalds's avatar
Linus Torvalds committed
831
832
833
834
835
836
837
838
839
840
}

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
841
842
843
844
	while ((aux = context->aux_pids)) {
		context->aux_pids = aux->next;
		kfree(aux);
	}
Linus Torvalds's avatar
Linus Torvalds committed
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
}

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;
}

864
865
866
867
868
/**
 * 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
869
870
 * if necessary.  Doing so turns on system call auditing for the
 * specified task.  This is called from copy_process, so no lock is
871
872
 * needed.
 */
Linus Torvalds's avatar
Linus Torvalds committed
873
874
875
876
877
int audit_alloc(struct task_struct *tsk)
{
	struct audit_context *context;
	enum audit_state     state;

878
	if (likely(!audit_ever_enabled))
Linus Torvalds's avatar
Linus Torvalds committed
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
		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
910
911
		unroll_tree_refs(context, NULL, 0);
		free_tree_refs(context);
Linus Torvalds's avatar
Linus Torvalds committed
912
		audit_free_aux(context);
Amy Griffis's avatar
Amy Griffis committed
913
		kfree(context->filterkey);
Linus Torvalds's avatar
Linus Torvalds committed
914
915
916
917
918
919
920
		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
921
void audit_log_task_context(struct audit_buffer *ab)
922
923
{
	char *ctx = NULL;
924
925
926
927
	unsigned len;
	int error;
	u32 sid;

928
	security_task_getsecid(current, &sid);
929
930
	if (!sid)
		return;
931

932
	error = security_secid_to_secctx(sid, &ctx, &len);
933
934
	if (error) {
		if (error != -EINVAL)
935
936
937
938
939
			goto error_path;
		return;
	}

	audit_log_format(ab, " subj=%s", ctx);
940
	security_release_secctx(ctx, len);
941
	return;
942
943

error_path:
944
	audit_panic("error in audit_log_task_context");
945
946
947
	return;
}

Joy Latten's avatar
Joy Latten committed
948
949
EXPORT_SYMBOL(audit_log_task_context);

950
static void audit_log_task_info(struct audit_buffer *ab, struct task_struct *tsk)
951
{
952
953
	char name[sizeof(tsk->comm)];
	struct mm_struct *mm = tsk->mm;
954
955
	struct vm_area_struct *vma;

956
957
	/* tsk == current */

958
	get_task_comm(name, tsk);
959
960
	audit_log_format(ab, " comm=");
	audit_log_untrustedstring(ab, name);
961

962
963
964
965
966
967
968
	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=",
969
						 &vma->vm_file->f_path);
970
971
972
				break;
			}
			vma = vma->vm_next;
973
		}
974
		up_read(&mm->mmap_sem);
975
	}
976
	audit_log_task_context(ab);
977
978
}

Amy Griffis's avatar
Amy Griffis committed
979
static int audit_log_pid_context(struct audit_context *context, pid_t pid,
980
981
				 uid_t auid, uid_t uid, unsigned int sessionid,
				 u32 sid, char *comm)
Amy Griffis's avatar
Amy Griffis committed
982
983
{
	struct audit_buffer *ab;
984
	char *ctx = NULL;
Amy Griffis's avatar
Amy Griffis committed
985
986
987
988
989
	u32 len;
	int rc = 0;

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

992
993
	audit_log_format(ab, "opid=%d oauid=%d ouid=%d oses=%d", pid, auid,
			 uid, sessionid);
994
	if (security_secid_to_secctx(sid, &ctx, &len)) {
995
		audit_log_format(ab, " obj=(none)");
Amy Griffis's avatar
Amy Griffis committed
996
		rc = 1;
997
998
999
1000
	} else {
		audit_log_format(ab, " obj=%s", ctx);
		security_release_secctx(ctx, len);
	}
1001
1002
	audit_log_format(ab, " ocomm=");
	audit_log_untrustedstring(ab, comm);
Amy Griffis's avatar
Amy Griffis committed
1003
1004
1005
1006
1007
	audit_log_end(ab);

	return rc;
}

1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
/*
 * 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
1025
{
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
	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
1037

1038
1039
1040
1041
1042
1043
	/*
	 * 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.
	 */
1044
	if (unlikely((len == -1) || len > MAX_ARG_STRLEN - 1)) {
1045
1046
		WARN_ON(1);
		send_sig(SIGKILL, current, 0);
1047
		return -1;
1048
	}
1049

1050
1051
1052
1053
1054
1055
1056
	/* 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
1057
		/*
1058
1059
1060
		 * 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
1061
		 */
1062
		if (ret) {
Peter Zijlstra's avatar
Peter Zijlstra committed
1063
1064
			WARN_ON(1);
			send_sig(SIGKILL, current, 0);
1065
			return -1;
Peter Zijlstra's avatar
Peter Zijlstra committed
1066
		}
1067
1068
1069
1070
1071
1072
1073
1074
		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
1075
1076
			break;
		}
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
		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
1108
1109

		/*
1110
1111
1112
1113
		 * first record needs to say how long the original string was
		 * so we can be sure nothing was lost.
		 */
		if ((i == 0) && (too_long))
1114
			audit_log_format(*ab, "a%d_len=%zu ", arg_num,
1115
1116
1117
1118
1119
1120
					 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
1121
		 */
1122
1123
1124
1125
		if (len >= max_execve_audit_len)
			ret = copy_from_user(buf, p, to_send);
		else
			ret = 0;
1126
		if (ret) {
Peter Zijlstra's avatar
Peter Zijlstra committed
1127
1128
			WARN_ON(1);
			send_sig(SIGKILL, current, 0);
1129
			return -1;
Peter Zijlstra's avatar
Peter Zijlstra committed
1130
		}
1131
1132
1133
1134
1135
1136
1137
1138
		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)
1139
			audit_log_n_hex(*ab, buf, to_send);
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
		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
1164

1165
1166
1167
1168
	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
1169

1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
	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
1182
	}
1183
1184
1185
1186
1187
1188
1189
1190
1191

	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
1192
1193
}

1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
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);
}

1223
static void audit_log_exit(struct audit_context *context, struct task_struct *tsk)
Linus Torvalds's avatar
Linus Torvalds committed
1224
{
Steve Grubb's avatar
Steve Grubb committed
1225
	int i, call_panic = 0;
Linus Torvalds's avatar
Linus Torvalds committed
1226
	struct audit_buffer *ab;
1227
	struct audit_aux_data *aux;
1228
	const char *tty;
Linus Torvalds's avatar
Linus Torvalds committed
1229

1230
	/* tsk == current */
1231
	context->pid = tsk->pid;
Alexander Viro's avatar
Alexander Viro committed
1232
1233
	if (!context->ppid)
		context->ppid = sys_getppid();
1234
1235
1236
1237
1238
1239
1240
1241
1242
	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;
1243
1244

	ab = audit_log_start(context, GFP_KERNEL, AUDIT_SYSCALL);
Linus Torvalds's avatar
Linus Torvalds committed
1245
1246
	if (!ab)
		return;		/* audit_panic has been called */
1247
1248
	audit_log_format(ab, "arch=%x syscall=%d",
			 context->arch, context->major);
Linus Torvalds's avatar
Linus Torvalds committed
1249
1250
1251
	if (context->personality != PER_LINUX)
		audit_log_format(ab, " per=%lx", context->personality);
	if (context->return_valid)
1252
		audit_log_format(ab, " success=%s exit=%ld",
1253
1254
				 (context->return_valid==AUDITSC_SUCCESS)?"yes":"no",
				 context->return_code);
1255

1256
	spin_lock_irq(&tsk->sighand->siglock);
1257
1258
	if (tsk->signal && tsk->signal->tty && tsk->signal->tty->name)
		tty = tsk->signal->tty->name;
1259
1260
	else
		tty = "(none)";
1261
1262
	spin_unlock_irq(&tsk->sighand->siglock);

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


1283
	audit_log_task_info(ab, tsk);
Amy Griffis's avatar
Amy Griffis committed
1284
1285
1286
1287
1288
	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
1289
1290
	audit_log_end(ab);

1291
	for (aux = context->aux; aux; aux = aux->next) {
1292

1293
		ab = audit_log_start(context, GFP_KERNEL, aux->type);
Linus Torvalds's avatar
Linus Torvalds committed
1294
1295
1296
1297
		if (!ab)
			continue; /* audit_panic has been called */

		switch (aux->type) {
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
1327
1328
1329
1330
1331
1332
1333
1334
		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; }

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