auditsc.c 68.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
struct audit_aux_data_socketcall {
	struct audit_aux_data	d;
	int			nargs;
	unsigned long		args[0];
};

Al Viro's avatar
Al Viro committed
177
178
179
180
181
struct audit_aux_data_fd_pair {
	struct	audit_aux_data d;
	int	fd[2];
};

Amy Griffis's avatar
Amy Griffis committed
182
183
184
struct audit_aux_data_pids {
	struct audit_aux_data	d;
	pid_t			target_pid[AUDIT_AUX_PIDS];
185
186
	uid_t			target_auid[AUDIT_AUX_PIDS];
	uid_t			target_uid[AUDIT_AUX_PIDS];
187
	unsigned int		target_sessionid[AUDIT_AUX_PIDS];
Amy Griffis's avatar
Amy Griffis committed
188
	u32			target_sid[AUDIT_AUX_PIDS];
189
	char 			target_comm[AUDIT_AUX_PIDS][TASK_COMM_LEN];
Amy Griffis's avatar
Amy Griffis committed
190
191
192
	int			pid_count;
};

193
194
195
196
197
198
199
200
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;
};

201
202
203
204
205
206
struct audit_aux_data_capset {
	struct audit_aux_data	d;
	pid_t			pid;
	struct audit_cap_data	cap;
};

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;
231
232
	struct sockaddr_storage *sockaddr;
	size_t sockaddr_len;
Linus Torvalds's avatar
Linus Torvalds committed
233
				/* Save things to print about task_struct */
Al Viro's avatar
Al Viro committed
234
	pid_t		    pid, ppid;
Linus Torvalds's avatar
Linus Torvalds committed
235
236
237
	uid_t		    uid, euid, suid, fsuid;
	gid_t		    gid, egid, sgid, fsgid;
	unsigned long	    personality;
238
	int		    arch;
Linus Torvalds's avatar
Linus Torvalds committed
239

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

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

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

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

Al Viro's avatar
Al Viro committed
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
307
	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;
	}
}

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

	if (unlikely(!ctx))
		return 0;

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

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

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

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

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

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

Linus Torvalds's avatar
Linus Torvalds committed
690
	rcu_read_lock();
691
	if (!list_empty(list)) {
692
693
694
695
		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
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
732
733
734
735
736
			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)) {
737
738
739
				rcu_read_unlock();
				return state;
			}
740
741
742
		}
	}
	rcu_read_unlock();
Linus Torvalds's avatar
Linus Torvalds committed
743
	return AUDIT_BUILD_CONTEXT;
744
745
}

Amy Griffis's avatar
Amy Griffis committed
746
747
748
749
750
void audit_set_auditable(struct audit_context *ctx)
{
	ctx->auditable = 1;
}

Linus Torvalds's avatar
Linus Torvalds committed
751
752
753
754
755
756
757
758
759
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;
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777

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

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

782
		state = audit_filter_syscall(tsk, context, &audit_filter_list[AUDIT_FILTER_EXIT]);
Amy Griffis's avatar
Amy Griffis committed
783
784
785
786
787
788
		if (state == AUDIT_RECORD_CONTEXT) {
			context->auditable = 1;
			goto get_context;
		}

		state = audit_filter_inodes(tsk, context);
Linus Torvalds's avatar
Linus Torvalds committed
789
790
		if (state == AUDIT_RECORD_CONTEXT)
			context->auditable = 1;
Amy Griffis's avatar
Amy Griffis committed
791

Linus Torvalds's avatar
Linus Torvalds committed
792
793
	}

Amy Griffis's avatar
Amy Griffis committed
794
get_context:
795

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

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

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

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

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

883
	if (likely(!audit_ever_enabled))
Linus Torvalds's avatar
Linus Torvalds committed
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
910
911
912
913
914
		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
915
916
		unroll_tree_refs(context, NULL, 0);
		free_tree_refs(context);
Linus Torvalds's avatar
Linus Torvalds committed
917
		audit_free_aux(context);
Amy Griffis's avatar
Amy Griffis committed
918
		kfree(context->filterkey);
919
		kfree(context->sockaddr);
Linus Torvalds's avatar
Linus Torvalds committed
920
921
922
923
924
925
926
		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
927
void audit_log_task_context(struct audit_buffer *ab)
928
929
{
	char *ctx = NULL;
930
931
932
933
	unsigned len;
	int error;
	u32 sid;

934
	security_task_getsecid(current, &sid);
935
936
	if (!sid)
		return;
937

938
	error = security_secid_to_secctx(sid, &ctx, &len);
939
940
	if (error) {
		if (error != -EINVAL)
941
942
943
944
945
			goto error_path;
		return;
	}

	audit_log_format(ab, " subj=%s", ctx);
946
	security_release_secctx(ctx, len);
947
	return;
948
949

error_path:
950
	audit_panic("error in audit_log_task_context");
951
952
953
	return;
}

Joy Latten's avatar
Joy Latten committed
954
955
EXPORT_SYMBOL(audit_log_task_context);

956
static void audit_log_task_info(struct audit_buffer *ab, struct task_struct *tsk)
957
{
958
959
	char name[sizeof(tsk->comm)];
	struct mm_struct *mm = tsk->mm;
960
961
	struct vm_area_struct *vma;

962
963
	/* tsk == current */

964
	get_task_comm(name, tsk);
965
966
	audit_log_format(ab, " comm=");
	audit_log_untrustedstring(ab, name);
967

968
969
970
971
972
973
974
	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=",
975
						 &vma->vm_file->f_path);
976
977
978
				break;
			}
			vma = vma->vm_next;
979
		}
980
		up_read(&mm->mmap_sem);
981
	}
982
	audit_log_task_context(ab);
983
984
}

Amy Griffis's avatar
Amy Griffis committed
985
static int audit_log_pid_context(struct audit_context *context, pid_t pid,
986
987
				 uid_t auid, uid_t uid, unsigned int sessionid,
				 u32 sid, char *comm)
Amy Griffis's avatar
Amy Griffis committed
988
989
{
	struct audit_buffer *ab;
990
	char *ctx = NULL;
Amy Griffis's avatar
Amy Griffis committed
991
992
993
994
995
	u32 len;
	int rc = 0;

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

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

	return rc;
}

1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
/*
 * 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
1031
{
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
	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
1043

1044
1045
1046
1047
1048
1049
	/*
	 * 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.
	 */
1050
	if (unlikely((len == -1) || len > MAX_ARG_STRLEN - 1)) {
1051
1052
		WARN_ON(1);
		send_sig(SIGKILL, current, 0);
1053
		return -1;
1054
	}
1055

1056
1057
1058
1059
1060
1061
1062
	/* 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
1063
		/*
1064
1065
1066
		 * 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
1067
		 */
1068
		if (ret) {
Peter Zijlstra's avatar
Peter Zijlstra committed
1069
1070
			WARN_ON(1);
			send_sig(SIGKILL, current, 0);
1071
			return -1;
Peter Zijlstra's avatar
Peter Zijlstra committed
1072
		}
1073
1074
1075
1076
1077
1078
1079
1080
		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
1081
1082
			break;
		}
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
1108
1109
1110
1111
1112
1113
		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
1114
1115

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

1171
1172
1173
1174
	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
1175

1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
	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
1188
	}
1189
1190
1191
1192
1193
1194
1195
1196
1197

	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
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
1223
1224
1225
1226
1227
1228
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);
}

1229
static void audit_log_exit(struct audit_context *context, struct task_struct *tsk)
Linus Torvalds's avatar
Linus Torvalds committed
1230
{
1231
	const struct cred *cred;
Steve Grubb's avatar
Steve Grubb committed
1232
	int i, call_panic = 0;
Linus Torvalds's avatar
Linus Torvalds committed
1233
	struct audit_buffer *ab;
1234
	struct audit_aux_data *aux;
1235
	const char *tty;
Linus Torvalds's avatar
Linus Torvalds committed
1236

1237
	/* tsk == current */
1238
	context->pid = tsk->pid;
Alexander Viro's avatar
Alexander Viro committed
1239
1240
	if (!context->ppid)
		context->ppid = sys_getppid();
1241
1242
1243
1244
1245
	cred = current_cred();
	context->uid   = cred->uid;
	context->gid   = cred->gid;
	context->euid  = cred->euid;
	context->suid  = cred->suid;
1246
	context->fsuid = cred->fsuid;
1247
1248
	context->egid  = cred->egid;
	context->sgid  = cred->sgid;
1249
	context->fsgid = cred->fsgid;
1250
	context->personality = tsk->personality;
1251
1252

	ab = audit_log_start(context, GFP_KERNEL, AUDIT_SYSCALL);
Linus Torvalds's avatar
Linus Torvalds committed
1253
1254
	if (!ab)
		return;		/* audit_panic has been called */
1255
1256
	audit_log_format(ab, "arch=%x syscall=%d",
			 context->arch, context->major);
Linus Torvalds's avatar
Linus Torvalds committed
1257
1258
1259
	if (context->personality != PER_LINUX)
		audit_log_format(ab, " per=%lx", context->personality);
	if (context->return_valid)
1260
		audit_log_format(ab, " success=%s exit=%ld",
1261
1262
				 (context->return_valid==AUDITSC_SUCCESS)?"yes":"no",
				 context->return_code);
1263

1264
	spin_lock_irq(&tsk->sighand->siglock);
1265
1266
	if (tsk->signal && tsk->signal->tty && tsk->signal->tty->name)
		tty = tsk->signal->tty->name;
1267
1268
	else
		tty = "(none)";
1269
1270
	spin_unlock_irq(&tsk->sighand->siglock);

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


1291
	audit_log_task_info(ab, tsk);
Amy Griffis's avatar
Amy Griffis committed
1292
1293
1294
1295
1296
	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
1297
1298
	audit_log_end(ab);

1299
	for (aux = context->aux; aux; aux = aux->next) {
1300

1301
		ab = audit_log_start(context, GFP_KERNEL, aux->type);
Linus Torvalds's avatar
Linus Torvalds committed
1302
1303
1304
1305
		if (!ab)
			continue; /* audit_panic has been called */

		switch (aux->type) {
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
1335
1336
1337
1338
1339
1340
1341
1342
		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