1
2
3
4
5
6
7#ifndef _SELINUX_AVC_H_
8#define _SELINUX_AVC_H_
9
10#include <linux/stddef.h>
11#include <linux/errno.h>
12#include <linux/kernel.h>
13#include <linux/kdev_t.h>
14#include <linux/spinlock.h>
15#include <linux/init.h>
16#include <linux/audit.h>
17#include <linux/lsm_audit.h>
18#include <linux/in6.h>
19#include "flask.h"
20#include "av_permissions.h"
21#include "security.h"
22
23
24
25
26struct avc_entry;
27
28struct task_struct;
29struct inode;
30struct sock;
31struct sk_buff;
32
33
34
35
36struct avc_cache_stats {
37 unsigned int lookups;
38 unsigned int misses;
39 unsigned int allocations;
40 unsigned int reclaims;
41 unsigned int frees;
42};
43
44
45
46
47struct selinux_audit_data {
48 u32 ssid;
49 u32 tsid;
50 u16 tclass;
51 u32 requested;
52 u32 audited;
53 u32 denied;
54 int result;
55 struct selinux_state *state;
56};
57
58
59
60
61
62void __init avc_init(void);
63
64static inline u32 avc_audit_required(u32 requested,
65 struct av_decision *avd,
66 int result,
67 u32 auditdeny,
68 u32 *deniedp)
69{
70 u32 denied, audited;
71 denied = requested & ~avd->allowed;
72 if (unlikely(denied)) {
73 audited = denied & avd->auditdeny;
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90 if (auditdeny && !(auditdeny & avd->auditdeny))
91 audited = 0;
92 } else if (result)
93 audited = denied = requested;
94 else
95 audited = requested & avd->auditallow;
96 *deniedp = denied;
97 return audited;
98}
99
100int slow_avc_audit(struct selinux_state *state,
101 u32 ssid, u32 tsid, u16 tclass,
102 u32 requested, u32 audited, u32 denied, int result,
103 struct common_audit_data *a);
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124static inline int avc_audit(struct selinux_state *state,
125 u32 ssid, u32 tsid,
126 u16 tclass, u32 requested,
127 struct av_decision *avd,
128 int result,
129 struct common_audit_data *a)
130{
131 u32 audited, denied;
132 audited = avc_audit_required(requested, avd, result, 0, &denied);
133 if (likely(!audited))
134 return 0;
135 return slow_avc_audit(state, ssid, tsid, tclass,
136 requested, audited, denied, result,
137 a);
138}
139
140#define AVC_STRICT 1
141#define AVC_EXTENDED_PERMS 2
142int avc_has_perm_noaudit(struct selinux_state *state,
143 u32 ssid, u32 tsid,
144 u16 tclass, u32 requested,
145 unsigned flags,
146 struct av_decision *avd);
147
148int avc_has_perm(struct selinux_state *state,
149 u32 ssid, u32 tsid,
150 u16 tclass, u32 requested,
151 struct common_audit_data *auditdata);
152
153int avc_has_extended_perms(struct selinux_state *state,
154 u32 ssid, u32 tsid, u16 tclass, u32 requested,
155 u8 driver, u8 perm, struct common_audit_data *ad);
156
157
158u32 avc_policy_seqno(struct selinux_state *state);
159
160#define AVC_CALLBACK_GRANT 1
161#define AVC_CALLBACK_TRY_REVOKE 2
162#define AVC_CALLBACK_REVOKE 4
163#define AVC_CALLBACK_RESET 8
164#define AVC_CALLBACK_AUDITALLOW_ENABLE 16
165#define AVC_CALLBACK_AUDITALLOW_DISABLE 32
166#define AVC_CALLBACK_AUDITDENY_ENABLE 64
167#define AVC_CALLBACK_AUDITDENY_DISABLE 128
168#define AVC_CALLBACK_ADD_XPERMS 256
169
170int avc_add_callback(int (*callback)(u32 event), u32 events);
171
172
173struct selinux_avc;
174int avc_get_hash_stats(struct selinux_avc *avc, char *page);
175unsigned int avc_get_cache_threshold(struct selinux_avc *avc);
176void avc_set_cache_threshold(struct selinux_avc *avc,
177 unsigned int cache_threshold);
178
179
180void avc_disable(void);
181
182#ifdef CONFIG_SECURITY_SELINUX_AVC_STATS
183DECLARE_PER_CPU(struct avc_cache_stats, avc_cache_stats);
184#endif
185
186#endif
187
188