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

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

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

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

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

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

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

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

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

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

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

#define AUDIT_AUX_IPCPERM	0

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

Al Viro's avatar
Al Viro committed
127
128
129
130
struct audit_aux_data_execve {
	struct audit_aux_data	d;
	int argc;
	int envc;
Peter Zijlstra's avatar
Peter Zijlstra committed
131
	struct mm_struct *mm;
Al Viro's avatar
Al Viro committed
132
133
};

Amy Griffis's avatar
Amy Griffis committed
134
135
136
struct audit_aux_data_pids {
	struct audit_aux_data	d;
	pid_t			target_pid[AUDIT_AUX_PIDS];
137
138
	uid_t			target_auid[AUDIT_AUX_PIDS];
	uid_t			target_uid[AUDIT_AUX_PIDS];
139
	unsigned int		target_sessionid[AUDIT_AUX_PIDS];
Amy Griffis's avatar
Amy Griffis committed
140
	u32			target_sid[AUDIT_AUX_PIDS];
141
	char 			target_comm[AUDIT_AUX_PIDS][TASK_COMM_LEN];
Amy Griffis's avatar
Amy Griffis committed
142
143
144
	int			pid_count;
};

145
146
147
148
149
150
151
152
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;
};

153
154
155
156
157
158
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
159
160
161
162
163
struct audit_tree_refs {
	struct audit_tree_refs *next;
	struct audit_chunk *c[31];
};

Linus Torvalds's avatar
Linus Torvalds committed
164
165
/* The per-task audit context. */
struct audit_context {
166
	int		    dummy;	/* must be the first element */
Linus Torvalds's avatar
Linus Torvalds committed
167
168
169
170
171
172
173
	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 */
174
	long		    return_code;/* syscall return code */
Linus Torvalds's avatar
Linus Torvalds committed
175
176
177
	int		    auditable;  /* 1 if record should be written */
	int		    name_count;
	struct audit_names  names[AUDIT_NAMES];
Amy Griffis's avatar
Amy Griffis committed
178
	char *		    filterkey;	/* key for rule that triggered record */
179
	struct path	    pwd;
Linus Torvalds's avatar
Linus Torvalds committed
180
181
	struct audit_context *previous; /* For nested syscalls */
	struct audit_aux_data *aux;
Amy Griffis's avatar
Amy Griffis committed
182
	struct audit_aux_data *aux_pids;
183
184
	struct sockaddr_storage *sockaddr;
	size_t sockaddr_len;
Linus Torvalds's avatar
Linus Torvalds committed
185
				/* Save things to print about task_struct */
Al Viro's avatar
Al Viro committed
186
	pid_t		    pid, ppid;
Linus Torvalds's avatar
Linus Torvalds committed
187
188
189
	uid_t		    uid, euid, suid, fsuid;
	gid_t		    gid, egid, sgid, fsgid;
	unsigned long	    personality;
190
	int		    arch;
Linus Torvalds's avatar
Linus Torvalds committed
191

Al Viro's avatar
Al Viro committed
192
	pid_t		    target_pid;
193
194
	uid_t		    target_auid;
	uid_t		    target_uid;
195
	unsigned int	    target_sessionid;
Al Viro's avatar
Al Viro committed
196
	u32		    target_sid;
197
	char		    target_comm[TASK_COMM_LEN];
Al Viro's avatar
Al Viro committed
198

Al Viro's avatar
Al Viro committed
199
200
201
	struct audit_tree_refs *trees, *first_trees;
	int tree_count;

Al Viro's avatar
Al Viro committed
202
203
204
205
206
207
	int type;
	union {
		struct {
			int nargs;
			long args[6];
		} socketcall;
Al Viro's avatar
Al Viro committed
208
209
210
211
212
		struct {
			uid_t			uid;
			gid_t			gid;
			mode_t			mode;
			u32			osid;
Al Viro's avatar
Al Viro committed
213
214
215
216
217
			int			has_perm;
			uid_t			perm_uid;
			gid_t			perm_gid;
			mode_t			perm_mode;
			unsigned long		qbytes;
Al Viro's avatar
Al Viro committed
218
		} ipc;
Al Viro's avatar
Al Viro committed
219
220
221
222
		struct {
			mqd_t			mqdes;
			struct mq_attr 		mqstat;
		} mq_getsetattr;
Al Viro's avatar
Al Viro committed
223
224
225
226
		struct {
			mqd_t			mqdes;
			int			sigev_signo;
		} mq_notify;
Al Viro's avatar
Al Viro committed
227
228
229
230
231
232
		struct {
			mqd_t			mqdes;
			size_t			msg_len;
			unsigned int		msg_prio;
			struct timespec		abs_timeout;
		} mq_sendrecv;
Al Viro's avatar
Al Viro committed
233
234
235
236
237
		struct {
			int			oflag;
			mode_t			mode;
			struct mq_attr		attr;
		} mq_open;
Al Viro's avatar
Al Viro committed
238
239
240
241
		struct {
			pid_t			pid;
			struct audit_cap_data	cap;
		} capset;
Al Viro's avatar
Al Viro committed
242
	};
Al Viro's avatar
Al Viro committed
243
	int fds[2];
Al Viro's avatar
Al Viro committed
244

Linus Torvalds's avatar
Linus Torvalds committed
245
246
247
248
249
250
#if AUDIT_DEBUG
	int		    put_count;
	int		    ino_count;
#endif
};

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

Al Viro's avatar
Al Viro committed
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
	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;
	}
}

303
304
305
306
static int audit_match_filetype(struct audit_context *ctx, int which)
{
	unsigned index = which & ~S_IFMT;
	mode_t mode = which & S_IFMT;
307
308
309
310

	if (unlikely(!ctx))
		return 0;

311
312
313
314
315
316
317
318
319
	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
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
/*
 * 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
431
/* Determine if any context name data matches a rule's watch data */
Linus Torvalds's avatar
Linus Torvalds committed
432
433
434
/* Compare a task_struct with an audit_rule.  Return 1 on match, 0
 * otherwise. */
static int audit_filter_rules(struct task_struct *tsk,
435
			      struct audit_krule *rule,
Linus Torvalds's avatar
Linus Torvalds committed
436
			      struct audit_context *ctx,
Amy Griffis's avatar
Amy Griffis committed
437
			      struct audit_names *name,
Linus Torvalds's avatar
Linus Torvalds committed
438
439
			      enum audit_state *state)
{
440
	const struct cred *cred = get_task_cred(tsk);
Steve Grubb's avatar
Steve Grubb committed
441
	int i, j, need_sid = 1;
442
443
	u32 sid;

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

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

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

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

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

Linus Torvalds's avatar
Linus Torvalds committed
678
	rcu_read_lock();
679
	if (!list_empty(list)) {
680
681
682
683
		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
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
			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)) {
725
726
727
				rcu_read_unlock();
				return state;
			}
728
729
730
		}
	}
	rcu_read_unlock();
Linus Torvalds's avatar
Linus Torvalds committed
731
	return AUDIT_BUILD_CONTEXT;
732
733
}

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

Linus Torvalds's avatar
Linus Torvalds committed
739
740
741
742
743
744
745
746
747
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;
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765

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

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

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

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

Linus Torvalds's avatar
Linus Torvalds committed
780
781
	}

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

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

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

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

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

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

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

922
	security_task_getsecid(current, &sid);
923
924
	if (!sid)
		return;
925

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

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

error_path:
938
	audit_panic("error in audit_log_task_context");
939
940
941
	return;
}

Joy Latten's avatar
Joy Latten committed
942
943
EXPORT_SYMBOL(audit_log_task_context);

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

950
951
	/* tsk == current */

952
	get_task_comm(name, tsk);
953
954
	audit_log_format(ab, " comm=");
	audit_log_untrustedstring(ab, name);
955

956
957
958
959
960
961
962
	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=",
963
						 &vma->vm_file->f_path);
964
965
966
				break;
			}
			vma = vma->vm_next;
967
		}
968
		up_read(&mm->mmap_sem);
969
	}
970
	audit_log_task_context(ab);
971
972
}

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

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

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

	return rc;
}

1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
/*
 * 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
1019
{
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
	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
1031

1032
1033
1034
1035
1036
1037
	/*
	 * 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.
	 */
1038
	if (unlikely((len == -1) || len > MAX_ARG_STRLEN - 1)) {
1039
1040
		WARN_ON(1);
		send_sig(SIGKILL, current, 0);
1041
		return -1;
1042
	}
1043

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

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

1159
1160
1161
1162
	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
1163

1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
	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
1176
	}
1177
1178
1179
1180
1181
1182
1183
1184
1185

	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
1186
1187
}

1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
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);
}

Al Viro's avatar
Al Viro committed
1217
static void show_special(struct audit_context *context, int *call_panic)
Al Viro's avatar
Al Viro committed
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
{
	struct audit_buffer *ab;
	int i;

	ab = audit_log_start(context, GFP_KERNEL, context->type);
	if (!ab)
		return;

	switch (context->type) {
	case AUDIT_SOCKETCALL: {
		int nargs = context->socketcall.nargs;
		audit_log_format(ab, "nargs=%d", nargs);
		for (i = 0; i < nargs; i++)
			audit_log_format(ab, " a%d=%lx", i,
				context->socketcall.args[i]);
		break; }
Al Viro's avatar
Al Viro committed
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
	case AUDIT_IPC: {
		u32 osid = context->ipc.osid;

		audit_log_format(ab, "ouid=%u ogid=%u mode=%#o",
			 context->ipc.uid, context->ipc.gid, context->ipc.mode);
		if (osid) {
			char *ctx = NULL;
			u32 len;
			if (security_secid_to_secctx(osid, &ctx, &len)) {
				audit_log_format(ab, " osid=%u", osid);
				*call_panic = 1;
			} else {
				audit_log_format(ab, " obj=%s", ctx);
				security_release_secctx(ctx, len);
			}
		}
Al Viro's avatar
Al Viro committed
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
		if (context->ipc.has_perm) {
			audit_log_end(ab);
			ab = audit_log_start(context, GFP_KERNEL,
					     AUDIT_IPC_SET_PERM);
			audit_log_format(ab,
				"qbytes=%lx ouid=%u ogid=%u mode=%#o",
				context->ipc.qbytes,
				context->ipc.perm_uid,
				context->ipc.perm_gid,
				context->ipc.perm_mode);
			if (!ab)
				return;
		}
Al Viro's avatar
Al Viro committed
1263
		break; }
Al Viro's avatar
Al Viro committed
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
	case AUDIT_MQ_OPEN: {
		audit_log_format(ab,
			"oflag=0x%x mode=%#o mq_flags=0x%lx mq_maxmsg=%ld "
			"mq_msgsize=%ld mq_curmsgs=%ld",
			context->mq_open.oflag, context->mq_open.mode,
			context->mq_open.attr.mq_flags,
			context->mq_open.attr.mq_maxmsg,
			context->mq_open.attr.mq_msgsize,
			context->mq_open.attr.mq_curmsgs);
		break; }
Al Viro's avatar
Al Viro committed
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
	case AUDIT_MQ_SENDRECV: {
		audit_log_format(ab,
			"mqdes=%d msg_len=%zd msg_prio=%u "
			"abs_timeout_sec=%ld abs_timeout_nsec=%ld",
			context->mq_sendrecv.mqdes,
			context->mq_sendrecv.msg_len,
			context->mq_sendrecv.msg_prio,
			context->mq_sendrecv.abs_timeout.tv_sec,
			context->mq_sendrecv.abs_timeout.tv_nsec);
		break; }
Al Viro's avatar
Al Viro committed
1284
1285
1286
1287
1288
	case AUDIT_MQ_NOTIFY: {
		audit_log_format(ab, "mqdes=%d sigev_signo=%d",
				context->mq_notify.mqdes,
				context->mq_notify.sigev_signo);
		break; }
Al Viro's avatar
Al Viro committed
1289
1290
1291
1292
1293
1294
1295
1296
1297
	case AUDIT_MQ_GETSETATTR: {
		struct mq_attr *attr = &context->mq_getsetattr.mqstat;
		audit_log_format(ab,
			"mqdes=%d mq_flags=0x%lx mq_maxmsg=%ld mq_msgsize=%ld "
			"mq_curmsgs=%ld ",
			context->mq_getsetattr.mqdes,
			attr->mq_flags, attr->mq_maxmsg,
			attr->mq_msgsize, attr->mq_curmsgs);
		break; }
Al Viro's avatar
Al Viro committed
1298
1299
1300
1301
1302
1303
	case AUDIT_CAPSET: {
		audit_log_format(ab, "pid=%d", context->capset.pid);
		audit_log_cap(ab, "cap_pi", &context->capset.cap.inheritable);
		audit_log_cap(ab, "cap_pp", &context->capset.cap.permitted);
		audit_log_cap(ab, "cap_pe", &context->capset.cap.effective);
		break; }
Al Viro's avatar
Al Viro committed
1304
1305
1306
1307
	}
	audit_log_end(ab);
}

1308
static void audit_log_exit(struct audit_context *context, struct task_struct *tsk)
Linus Torvalds's avatar
Linus Torvalds committed
1309
{
1310
	const struct cred *cred;
Steve Grubb's avatar
Steve Grubb committed
1311
	int i, call_panic = 0;
Linus Torvalds's avatar
Linus Torvalds committed
1312
	struct audit_buffer *ab;
1313
	struct audit_aux_data *aux;
1314
	const char *tty;
Linus Torvalds's avatar
Linus Torvalds committed
1315

1316
	/* tsk == current */
1317
	context->pid = tsk->pid;
Alexander Viro's avatar
Alexander Viro committed
1318
1319
	if (!context->ppid)
		context->ppid = sys_getppid();
1320
1321
1322
1323
1324
	cred = current_cred();
	context->uid   = cred->uid;
	context->gid   = cred->gid;
	context->euid  = cred->euid;
	context->suid  = cred->suid;
1325
	context->fsuid = cred->fsuid;
1326
1327
	context->egid  = cred->egid;
	context->sgid  = cred->sgid;
1328
	context->fsgid = cred->fsgid;
1329
	context->personality = tsk->personality;
1330
1331

	ab = audit_log_start(context, GFP_KERNEL, AUDIT_SYSCALL);
Linus Torvalds's avatar
Linus Torvalds committed
1332
1333
	if (!ab)
		return;		/* audit_panic has been called */
1334
1335
	audit_log_format(ab, "arch=%x syscall=%d",
			 context->arch, context->major);
Linus Torvalds's avatar
Linus Torvalds committed
1336
1337
1338
	if (context->personality != PER_LINUX)
		audit_log_format(ab, " per=%lx", context->personality);
	if (context->return_valid)
1339
		audit_log_format(ab, " success=%s exit=%ld",
1340
1341
				 (context->return_valid==AUDITSC_SUCCESS)?"yes":"no",
				 context->return_code);
1342

1343
	spin_lock_irq(&tsk->sighand->siglock);
1344
1345
	if (tsk->signal && tsk->signal->tt