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 unsigned flags);
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126static inline int avc_audit(struct selinux_state *state,
127 u32 ssid, u32 tsid,
128 u16 tclass, u32 requested,
129 struct av_decision *avd,
130 int result,
131 struct common_audit_data *a,
132 int flags)
133{
134 u32 audited, denied;
135 audited = avc_audit_required(requested, avd, result, 0, &denied);
136 if (likely(!audited))
137 return 0;
138 return slow_avc_audit(state, ssid, tsid, tclass,
139 requested, audited, denied, result,
140 a, flags);
141}
142
143#define AVC_STRICT 1
144#define AVC_EXTENDED_PERMS 2
145int avc_has_perm_noaudit(struct selinux_state *state,
146 u32 ssid, u32 tsid,
147 u16 tclass, u32 requested,
148 unsigned flags,
149 struct av_decision *avd);
150
151int avc_has_perm(struct selinux_state *state,
152 u32 ssid, u32 tsid,
153 u16 tclass, u32 requested,
154 struct common_audit_data *auditdata);
155int avc_has_perm_flags(struct selinux_state *state,
156 u32 ssid, u32 tsid,
157 u16 tclass, u32 requested,
158 struct common_audit_data *auditdata,
159 int flags);
160
161int avc_has_extended_perms(struct selinux_state *state,
162 u32 ssid, u32 tsid, u16 tclass, u32 requested,
163 u8 driver, u8 perm, struct common_audit_data *ad);
164
165
166u32 avc_policy_seqno(struct selinux_state *state);
167
168#define AVC_CALLBACK_GRANT 1
169#define AVC_CALLBACK_TRY_REVOKE 2
170#define AVC_CALLBACK_REVOKE 4
171#define AVC_CALLBACK_RESET 8
172#define AVC_CALLBACK_AUDITALLOW_ENABLE 16
173#define AVC_CALLBACK_AUDITALLOW_DISABLE 32
174#define AVC_CALLBACK_AUDITDENY_ENABLE 64
175#define AVC_CALLBACK_AUDITDENY_DISABLE 128
176#define AVC_CALLBACK_ADD_XPERMS 256
177
178int avc_add_callback(int (*callback)(u32 event), u32 events);
179
180
181struct selinux_avc;
182int avc_get_hash_stats(struct selinux_avc *avc, char *page);
183unsigned int avc_get_cache_threshold(struct selinux_avc *avc);
184void avc_set_cache_threshold(struct selinux_avc *avc,
185 unsigned int cache_threshold);
186
187
188void avc_disable(void);
189
190#ifdef CONFIG_SECURITY_SELINUX_AVC_STATS
191DECLARE_PER_CPU(struct avc_cache_stats, avc_cache_stats);
192#endif
193
194#endif
195
196