blob: 3768822159192b919f33e8174003369ca235cde1 [file] [log] [blame]
Thomas Gleixner1ccea772019-05-19 15:51:43 +02001// SPDX-License-Identifier: GPL-2.0-or-later
Paul Moore446fda42006-08-03 16:48:06 -07002/*
3 * CIPSO - Commercial IP Security Option
4 *
5 * This is an implementation of the CIPSO 2.2 protocol as specified in
6 * draft-ietf-cipso-ipsecurity-01.txt with additional tag types as found in
Paul Moore586c2502009-02-20 16:32:55 -05007 * FIPS-188. While CIPSO never became a full IETF RFC standard many vendors
Paul Moore446fda42006-08-03 16:48:06 -07008 * have chosen to adopt the protocol and over the years it has become a
9 * de-facto standard for labeled networking.
10 *
Paul Moore586c2502009-02-20 16:32:55 -050011 * The CIPSO draft specification can be found in the kernel's Documentation
12 * directory as well as the following URL:
Justin P. Mattock631dd1a2010-10-18 11:03:14 +020013 * http://tools.ietf.org/id/draft-ietf-cipso-ipsecurity-01.txt
Paul Moore586c2502009-02-20 16:32:55 -050014 * The FIPS-188 specification can be found at the following URL:
15 * http://www.itl.nist.gov/fipspubs/fip188.htm
16 *
Paul Moore446fda42006-08-03 16:48:06 -070017 * Author: Paul Moore <paul.moore@hp.com>
Paul Moore446fda42006-08-03 16:48:06 -070018 */
19
20/*
Paul Moore948bf852008-10-10 10:16:32 -040021 * (c) Copyright Hewlett-Packard Development Company, L.P., 2006, 2008
Paul Moore446fda42006-08-03 16:48:06 -070022 */
23
24#include <linux/init.h>
25#include <linux/types.h>
26#include <linux/rcupdate.h>
27#include <linux/list.h>
28#include <linux/spinlock.h>
29#include <linux/string.h>
30#include <linux/jhash.h>
Paul Moore6c2e8ac2008-12-31 12:54:11 -050031#include <linux/audit.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090032#include <linux/slab.h>
Paul Moore446fda42006-08-03 16:48:06 -070033#include <net/ip.h>
34#include <net/icmp.h>
35#include <net/tcp.h>
36#include <net/netlabel.h>
37#include <net/cipso_ipv4.h>
Arun Sharma600634972011-07-26 16:09:06 -070038#include <linux/atomic.h>
Fabian Frederick4c787b12014-11-04 20:13:50 +010039#include <linux/bug.h>
Paul Moore50e5d352007-06-07 18:38:14 -070040#include <asm/unaligned.h>
Paul Moore446fda42006-08-03 16:48:06 -070041
Paul Moore446fda42006-08-03 16:48:06 -070042/* List of available DOI definitions */
Paul Moore446fda42006-08-03 16:48:06 -070043/* XXX - This currently assumes a minimal number of different DOIs in use,
44 * if in practice there are a lot of different DOIs this list should
45 * probably be turned into a hash table or something similar so we
46 * can do quick lookups. */
Adrian Bunk8ce11e62006-08-07 21:50:48 -070047static DEFINE_SPINLOCK(cipso_v4_doi_list_lock);
Denis Cheng1596c972007-12-07 00:49:47 -080048static LIST_HEAD(cipso_v4_doi_list);
Paul Moore446fda42006-08-03 16:48:06 -070049
50/* Label mapping cache */
51int cipso_v4_cache_enabled = 1;
52int cipso_v4_cache_bucketsize = 10;
53#define CIPSO_V4_CACHE_BUCKETBITS 7
54#define CIPSO_V4_CACHE_BUCKETS (1 << CIPSO_V4_CACHE_BUCKETBITS)
55#define CIPSO_V4_CACHE_REORDERLIMIT 10
56struct cipso_v4_map_cache_bkt {
57 spinlock_t lock;
58 u32 size;
59 struct list_head list;
60};
Fabian Frederick988b1342014-11-04 20:19:19 +010061
Paul Moore446fda42006-08-03 16:48:06 -070062struct cipso_v4_map_cache_entry {
63 u32 hash;
64 unsigned char *key;
65 size_t key_len;
66
paul.moore@hp.comffb733c2006-10-04 11:46:31 -040067 struct netlbl_lsm_cache *lsm_data;
Paul Moore446fda42006-08-03 16:48:06 -070068
69 u32 activity;
70 struct list_head list;
71};
Fabian Frederick988b1342014-11-04 20:19:19 +010072
73static struct cipso_v4_map_cache_bkt *cipso_v4_cache;
Paul Moore446fda42006-08-03 16:48:06 -070074
75/* Restricted bitmap (tag #1) flags */
76int cipso_v4_rbm_optfmt = 0;
77int cipso_v4_rbm_strictvalid = 1;
78
79/*
Paul Mooref998e8c2007-02-28 15:14:20 -050080 * Protocol Constants
81 */
82
83/* Maximum size of the CIPSO IP option, derived from the fact that the maximum
84 * IPv4 header size is 60 bytes and the base IPv4 header is 20 bytes long. */
85#define CIPSO_V4_OPT_LEN_MAX 40
86
87/* Length of the base CIPSO option, this includes the option type (1 byte), the
88 * option length (1 byte), and the DOI (4 bytes). */
89#define CIPSO_V4_HDR_LEN 6
90
91/* Base length of the restrictive category bitmap tag (tag #1). */
92#define CIPSO_V4_TAG_RBM_BLEN 4
93
94/* Base length of the enumerated category tag (tag #2). */
95#define CIPSO_V4_TAG_ENUM_BLEN 4
96
97/* Base length of the ranged categories bitmap tag (tag #5). */
98#define CIPSO_V4_TAG_RNG_BLEN 4
99/* The maximum number of category ranges permitted in the ranged category tag
100 * (tag #5). You may note that the IETF draft states that the maximum number
101 * of category ranges is 7, but if the low end of the last category range is
Lucas De Marchi25985ed2011-03-30 22:57:33 -0300102 * zero then it is possible to fit 8 category ranges because the zero should
Paul Mooref998e8c2007-02-28 15:14:20 -0500103 * be omitted. */
104#define CIPSO_V4_TAG_RNG_CAT_MAX 8
105
Paul Moore15c45f72008-10-10 10:16:34 -0400106/* Base length of the local tag (non-standard tag).
107 * Tag definition (may change between kernel versions)
108 *
109 * 0 8 16 24 32
110 * +----------+----------+----------+----------+
111 * | 10000000 | 00000110 | 32-bit secid value |
112 * +----------+----------+----------+----------+
113 * | in (host byte order)|
114 * +----------+----------+
115 *
116 */
117#define CIPSO_V4_TAG_LOC_BLEN 6
118
Paul Mooref998e8c2007-02-28 15:14:20 -0500119/*
Paul Moore446fda42006-08-03 16:48:06 -0700120 * Helper Functions
121 */
122
123/**
Paul Moore446fda42006-08-03 16:48:06 -0700124 * cipso_v4_cache_entry_free - Frees a cache entry
125 * @entry: the entry to free
126 *
127 * Description:
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400128 * This function frees the memory associated with a cache entry including the
129 * LSM cache data if there are no longer any users, i.e. reference count == 0.
Paul Moore446fda42006-08-03 16:48:06 -0700130 *
131 */
132static void cipso_v4_cache_entry_free(struct cipso_v4_map_cache_entry *entry)
133{
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400134 if (entry->lsm_data)
135 netlbl_secattr_cache_free(entry->lsm_data);
Paul Moore446fda42006-08-03 16:48:06 -0700136 kfree(entry->key);
137 kfree(entry);
138}
139
140/**
141 * cipso_v4_map_cache_hash - Hashing function for the CIPSO cache
142 * @key: the hash key
143 * @key_len: the length of the key in bytes
144 *
145 * Description:
146 * The CIPSO tag hashing function. Returns a 32-bit hash value.
147 *
148 */
149static u32 cipso_v4_map_cache_hash(const unsigned char *key, u32 key_len)
150{
151 return jhash(key, key_len, 0);
152}
153
154/*
155 * Label Mapping Cache Functions
156 */
157
158/**
159 * cipso_v4_cache_init - Initialize the CIPSO cache
160 *
161 * Description:
162 * Initializes the CIPSO label mapping cache, this function should be called
163 * before any of the other functions defined in this file. Returns zero on
164 * success, negative values on error.
165 *
166 */
Fabian Frederickcb576592014-10-01 19:30:03 +0200167static int __init cipso_v4_cache_init(void)
Paul Moore446fda42006-08-03 16:48:06 -0700168{
169 u32 iter;
170
171 cipso_v4_cache = kcalloc(CIPSO_V4_CACHE_BUCKETS,
172 sizeof(struct cipso_v4_map_cache_bkt),
173 GFP_KERNEL);
Ian Morris51456b22015-04-03 09:17:26 +0100174 if (!cipso_v4_cache)
Paul Moore446fda42006-08-03 16:48:06 -0700175 return -ENOMEM;
176
177 for (iter = 0; iter < CIPSO_V4_CACHE_BUCKETS; iter++) {
178 spin_lock_init(&cipso_v4_cache[iter].lock);
179 cipso_v4_cache[iter].size = 0;
180 INIT_LIST_HEAD(&cipso_v4_cache[iter].list);
181 }
182
183 return 0;
184}
185
186/**
187 * cipso_v4_cache_invalidate - Invalidates the current CIPSO cache
188 *
189 * Description:
190 * Invalidates and frees any entries in the CIPSO cache. Returns zero on
191 * success and negative values on failure.
192 *
193 */
194void cipso_v4_cache_invalidate(void)
195{
196 struct cipso_v4_map_cache_entry *entry, *tmp_entry;
197 u32 iter;
198
199 for (iter = 0; iter < CIPSO_V4_CACHE_BUCKETS; iter++) {
Paul Moore609c92f2006-09-25 15:52:37 -0700200 spin_lock_bh(&cipso_v4_cache[iter].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700201 list_for_each_entry_safe(entry,
202 tmp_entry,
203 &cipso_v4_cache[iter].list, list) {
204 list_del(&entry->list);
205 cipso_v4_cache_entry_free(entry);
206 }
207 cipso_v4_cache[iter].size = 0;
Paul Moore609c92f2006-09-25 15:52:37 -0700208 spin_unlock_bh(&cipso_v4_cache[iter].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700209 }
Paul Moore446fda42006-08-03 16:48:06 -0700210}
211
212/**
213 * cipso_v4_cache_check - Check the CIPSO cache for a label mapping
214 * @key: the buffer to check
215 * @key_len: buffer length in bytes
216 * @secattr: the security attribute struct to use
217 *
218 * Description:
219 * This function checks the cache to see if a label mapping already exists for
220 * the given key. If there is a match then the cache is adjusted and the
221 * @secattr struct is populated with the correct LSM security attributes. The
222 * cache is adjusted in the following manner if the entry is not already the
223 * first in the cache bucket:
224 *
225 * 1. The cache entry's activity counter is incremented
226 * 2. The previous (higher ranking) entry's activity counter is decremented
227 * 3. If the difference between the two activity counters is geater than
228 * CIPSO_V4_CACHE_REORDERLIMIT the two entries are swapped
229 *
230 * Returns zero on success, -ENOENT for a cache miss, and other negative values
231 * on error.
232 *
233 */
234static int cipso_v4_cache_check(const unsigned char *key,
235 u32 key_len,
236 struct netlbl_lsm_secattr *secattr)
237{
238 u32 bkt;
239 struct cipso_v4_map_cache_entry *entry;
240 struct cipso_v4_map_cache_entry *prev_entry = NULL;
241 u32 hash;
242
243 if (!cipso_v4_cache_enabled)
244 return -ENOENT;
245
246 hash = cipso_v4_map_cache_hash(key, key_len);
Pavel Emelyanov5e0f8922008-05-13 23:23:55 -0700247 bkt = hash & (CIPSO_V4_CACHE_BUCKETS - 1);
Paul Moore609c92f2006-09-25 15:52:37 -0700248 spin_lock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700249 list_for_each_entry(entry, &cipso_v4_cache[bkt].list, list) {
250 if (entry->hash == hash &&
251 entry->key_len == key_len &&
252 memcmp(entry->key, key, key_len) == 0) {
253 entry->activity += 1;
Reshetova, Elenab4217b82017-06-30 13:08:09 +0300254 refcount_inc(&entry->lsm_data->refcount);
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400255 secattr->cache = entry->lsm_data;
Paul Moore701a90b2006-11-17 17:38:46 -0500256 secattr->flags |= NETLBL_SECATTR_CACHE;
Paul Moore16efd452008-01-29 08:37:59 -0500257 secattr->type = NETLBL_NLTYPE_CIPSOV4;
Ian Morris51456b22015-04-03 09:17:26 +0100258 if (!prev_entry) {
Paul Moore609c92f2006-09-25 15:52:37 -0700259 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700260 return 0;
261 }
262
263 if (prev_entry->activity > 0)
264 prev_entry->activity -= 1;
265 if (entry->activity > prev_entry->activity &&
266 entry->activity - prev_entry->activity >
267 CIPSO_V4_CACHE_REORDERLIMIT) {
268 __list_del(entry->list.prev, entry->list.next);
269 __list_add(&entry->list,
270 prev_entry->list.prev,
271 &prev_entry->list);
272 }
273
Paul Moore609c92f2006-09-25 15:52:37 -0700274 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700275 return 0;
276 }
277 prev_entry = entry;
278 }
Paul Moore609c92f2006-09-25 15:52:37 -0700279 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700280
281 return -ENOENT;
282}
283
284/**
285 * cipso_v4_cache_add - Add an entry to the CIPSO cache
286 * @skb: the packet
287 * @secattr: the packet's security attributes
288 *
289 * Description:
290 * Add a new entry into the CIPSO label mapping cache. Add the new entry to
291 * head of the cache bucket's list, if the cache bucket is out of room remove
292 * the last entry in the list first. It is important to note that there is
293 * currently no checking for duplicate keys. Returns zero on success,
294 * negative values on failure.
295 *
296 */
Paul Moore04f81f02015-02-11 14:46:37 -0500297int cipso_v4_cache_add(const unsigned char *cipso_ptr,
Paul Moore446fda42006-08-03 16:48:06 -0700298 const struct netlbl_lsm_secattr *secattr)
299{
300 int ret_val = -EPERM;
301 u32 bkt;
302 struct cipso_v4_map_cache_entry *entry = NULL;
303 struct cipso_v4_map_cache_entry *old_entry = NULL;
Paul Moore446fda42006-08-03 16:48:06 -0700304 u32 cipso_ptr_len;
305
306 if (!cipso_v4_cache_enabled || cipso_v4_cache_bucketsize <= 0)
307 return 0;
308
Paul Moore446fda42006-08-03 16:48:06 -0700309 cipso_ptr_len = cipso_ptr[1];
310
311 entry = kzalloc(sizeof(*entry), GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +0100312 if (!entry)
Paul Moore446fda42006-08-03 16:48:06 -0700313 return -ENOMEM;
Arnaldo Carvalho de Melofac5d732006-11-17 11:14:16 -0200314 entry->key = kmemdup(cipso_ptr, cipso_ptr_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +0100315 if (!entry->key) {
Paul Moore446fda42006-08-03 16:48:06 -0700316 ret_val = -ENOMEM;
317 goto cache_add_failure;
318 }
Paul Moore446fda42006-08-03 16:48:06 -0700319 entry->key_len = cipso_ptr_len;
320 entry->hash = cipso_v4_map_cache_hash(cipso_ptr, cipso_ptr_len);
Reshetova, Elenab4217b82017-06-30 13:08:09 +0300321 refcount_inc(&secattr->cache->refcount);
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400322 entry->lsm_data = secattr->cache;
Paul Moore446fda42006-08-03 16:48:06 -0700323
Pavel Emelyanov5e0f8922008-05-13 23:23:55 -0700324 bkt = entry->hash & (CIPSO_V4_CACHE_BUCKETS - 1);
Paul Moore609c92f2006-09-25 15:52:37 -0700325 spin_lock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700326 if (cipso_v4_cache[bkt].size < cipso_v4_cache_bucketsize) {
327 list_add(&entry->list, &cipso_v4_cache[bkt].list);
328 cipso_v4_cache[bkt].size += 1;
329 } else {
330 old_entry = list_entry(cipso_v4_cache[bkt].list.prev,
331 struct cipso_v4_map_cache_entry, list);
332 list_del(&old_entry->list);
333 list_add(&entry->list, &cipso_v4_cache[bkt].list);
334 cipso_v4_cache_entry_free(old_entry);
335 }
Paul Moore609c92f2006-09-25 15:52:37 -0700336 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700337
338 return 0;
339
340cache_add_failure:
341 if (entry)
342 cipso_v4_cache_entry_free(entry);
343 return ret_val;
344}
345
346/*
347 * DOI List Functions
348 */
349
350/**
351 * cipso_v4_doi_search - Searches for a DOI definition
352 * @doi: the DOI to search for
353 *
354 * Description:
355 * Search the DOI definition list for a DOI definition with a DOI value that
Lucas De Marchi25985ed2011-03-30 22:57:33 -0300356 * matches @doi. The caller is responsible for calling rcu_read_[un]lock().
Paul Moore446fda42006-08-03 16:48:06 -0700357 * Returns a pointer to the DOI definition on success and NULL on failure.
358 */
359static struct cipso_v4_doi *cipso_v4_doi_search(u32 doi)
360{
361 struct cipso_v4_doi *iter;
362
363 list_for_each_entry_rcu(iter, &cipso_v4_doi_list, list)
Reshetova, Elenaf6a6fed2017-07-04 09:35:01 +0300364 if (iter->doi == doi && refcount_read(&iter->refcount))
Paul Moore446fda42006-08-03 16:48:06 -0700365 return iter;
366 return NULL;
367}
368
369/**
370 * cipso_v4_doi_add - Add a new DOI to the CIPSO protocol engine
371 * @doi_def: the DOI structure
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500372 * @audit_info: NetLabel audit information
Paul Moore446fda42006-08-03 16:48:06 -0700373 *
374 * Description:
375 * The caller defines a new DOI for use by the CIPSO engine and calls this
376 * function to add it to the list of acceptable domains. The caller must
377 * ensure that the mapping table specified in @doi_def->map meets all of the
378 * requirements of the mapping type (see cipso_ipv4.h for details). Returns
379 * zero on success and non-zero on failure.
380 *
381 */
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500382int cipso_v4_doi_add(struct cipso_v4_doi *doi_def,
383 struct netlbl_audit *audit_info)
Paul Moore446fda42006-08-03 16:48:06 -0700384{
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500385 int ret_val = -EINVAL;
Paul Moore6ce61a72006-11-17 17:38:48 -0500386 u32 iter;
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500387 u32 doi;
388 u32 doi_type;
389 struct audit_buffer *audit_buf;
390
391 doi = doi_def->doi;
392 doi_type = doi_def->type;
Paul Moore6ce61a72006-11-17 17:38:48 -0500393
Dan Carpenter56755922011-10-11 18:43:53 -0400394 if (doi_def->doi == CIPSO_V4_DOI_UNKNOWN)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500395 goto doi_add_return;
Paul Moore6ce61a72006-11-17 17:38:48 -0500396 for (iter = 0; iter < CIPSO_V4_TAG_MAXCNT; iter++) {
397 switch (doi_def->tags[iter]) {
398 case CIPSO_V4_TAG_RBITMAP:
399 break;
Paul Moore484b3662006-11-29 13:18:20 -0500400 case CIPSO_V4_TAG_RANGE:
Paul Moore654bbc22006-11-29 13:18:19 -0500401 case CIPSO_V4_TAG_ENUM:
402 if (doi_def->type != CIPSO_V4_MAP_PASS)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500403 goto doi_add_return;
Paul Moore654bbc22006-11-29 13:18:19 -0500404 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400405 case CIPSO_V4_TAG_LOCAL:
406 if (doi_def->type != CIPSO_V4_MAP_LOCAL)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500407 goto doi_add_return;
408 break;
409 case CIPSO_V4_TAG_INVALID:
410 if (iter == 0)
411 goto doi_add_return;
Paul Moore15c45f72008-10-10 10:16:34 -0400412 break;
Paul Moore6ce61a72006-11-17 17:38:48 -0500413 default:
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500414 goto doi_add_return;
Paul Moore6ce61a72006-11-17 17:38:48 -0500415 }
416 }
Paul Moore446fda42006-08-03 16:48:06 -0700417
Reshetova, Elenaf6a6fed2017-07-04 09:35:01 +0300418 refcount_set(&doi_def->refcount, 1);
Paul Moore446fda42006-08-03 16:48:06 -0700419
Paul Moore446fda42006-08-03 16:48:06 -0700420 spin_lock(&cipso_v4_doi_list_lock);
Ian Morris00db4122015-04-03 09:17:27 +0100421 if (cipso_v4_doi_search(doi_def->doi)) {
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500422 spin_unlock(&cipso_v4_doi_list_lock);
423 ret_val = -EEXIST;
424 goto doi_add_return;
425 }
Paul Moore446fda42006-08-03 16:48:06 -0700426 list_add_tail_rcu(&doi_def->list, &cipso_v4_doi_list);
427 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500428 ret_val = 0;
Paul Moore446fda42006-08-03 16:48:06 -0700429
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500430doi_add_return:
431 audit_buf = netlbl_audit_start(AUDIT_MAC_CIPSOV4_ADD, audit_info);
Ian Morris00db4122015-04-03 09:17:27 +0100432 if (audit_buf) {
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500433 const char *type_str;
434 switch (doi_type) {
435 case CIPSO_V4_MAP_TRANS:
436 type_str = "trans";
437 break;
438 case CIPSO_V4_MAP_PASS:
439 type_str = "pass";
440 break;
441 case CIPSO_V4_MAP_LOCAL:
442 type_str = "local";
443 break;
444 default:
445 type_str = "(unknown)";
446 }
447 audit_log_format(audit_buf,
448 " cipso_doi=%u cipso_type=%s res=%u",
449 doi, type_str, ret_val == 0 ? 1 : 0);
450 audit_log_end(audit_buf);
451 }
Paul Moore446fda42006-08-03 16:48:06 -0700452
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500453 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700454}
455
456/**
Paul Mooreb1edeb12008-10-10 10:16:31 -0400457 * cipso_v4_doi_free - Frees a DOI definition
Fabian Frederick49734042014-11-04 20:10:01 +0100458 * @doi_def: the DOI definition
Paul Moore446fda42006-08-03 16:48:06 -0700459 *
460 * Description:
Paul Mooreb1edeb12008-10-10 10:16:31 -0400461 * This function frees all of the memory associated with a DOI definition.
Paul Moore446fda42006-08-03 16:48:06 -0700462 *
463 */
Paul Mooreb1edeb12008-10-10 10:16:31 -0400464void cipso_v4_doi_free(struct cipso_v4_doi *doi_def)
Paul Moore446fda42006-08-03 16:48:06 -0700465{
Ian Morris51456b22015-04-03 09:17:26 +0100466 if (!doi_def)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400467 return;
Paul Moore446fda42006-08-03 16:48:06 -0700468
Paul Mooreb1edeb12008-10-10 10:16:31 -0400469 switch (doi_def->type) {
Paul Moore15c45f72008-10-10 10:16:34 -0400470 case CIPSO_V4_MAP_TRANS:
Paul Mooreb1edeb12008-10-10 10:16:31 -0400471 kfree(doi_def->map.std->lvl.cipso);
472 kfree(doi_def->map.std->lvl.local);
473 kfree(doi_def->map.std->cat.cipso);
474 kfree(doi_def->map.std->cat.local);
475 break;
Paul Moore446fda42006-08-03 16:48:06 -0700476 }
Paul Mooreb1edeb12008-10-10 10:16:31 -0400477 kfree(doi_def);
Paul Moore446fda42006-08-03 16:48:06 -0700478}
479
480/**
Paul Mooreb1edeb12008-10-10 10:16:31 -0400481 * cipso_v4_doi_free_rcu - Frees a DOI definition via the RCU pointer
482 * @entry: the entry's RCU field
483 *
484 * Description:
485 * This function is designed to be used as a callback to the call_rcu()
486 * function so that the memory allocated to the DOI definition can be released
487 * safely.
488 *
489 */
490static void cipso_v4_doi_free_rcu(struct rcu_head *entry)
491{
492 struct cipso_v4_doi *doi_def;
493
494 doi_def = container_of(entry, struct cipso_v4_doi, rcu);
495 cipso_v4_doi_free(doi_def);
496}
497
498/**
499 * cipso_v4_doi_remove - Remove an existing DOI from the CIPSO protocol engine
500 * @doi: the DOI value
501 * @audit_secid: the LSM secid to use in the audit message
502 *
503 * Description:
504 * Removes a DOI definition from the CIPSO engine. The NetLabel routines will
505 * be called to release their own LSM domain mappings as well as our own
506 * domain list. Returns zero on success and negative values on failure.
507 *
508 */
509int cipso_v4_doi_remove(u32 doi, struct netlbl_audit *audit_info)
510{
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500511 int ret_val;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400512 struct cipso_v4_doi *doi_def;
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500513 struct audit_buffer *audit_buf;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400514
515 spin_lock(&cipso_v4_doi_list_lock);
516 doi_def = cipso_v4_doi_search(doi);
Ian Morris51456b22015-04-03 09:17:26 +0100517 if (!doi_def) {
Paul Mooreb1edeb12008-10-10 10:16:31 -0400518 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500519 ret_val = -ENOENT;
520 goto doi_remove_return;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400521 }
Reshetova, Elenaf6a6fed2017-07-04 09:35:01 +0300522 if (!refcount_dec_and_test(&doi_def->refcount)) {
Paul Mooreb1edeb12008-10-10 10:16:31 -0400523 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500524 ret_val = -EBUSY;
525 goto doi_remove_return;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400526 }
527 list_del_rcu(&doi_def->list);
528 spin_unlock(&cipso_v4_doi_list_lock);
529
530 cipso_v4_cache_invalidate();
531 call_rcu(&doi_def->rcu, cipso_v4_doi_free_rcu);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500532 ret_val = 0;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400533
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500534doi_remove_return:
535 audit_buf = netlbl_audit_start(AUDIT_MAC_CIPSOV4_DEL, audit_info);
Ian Morris00db4122015-04-03 09:17:27 +0100536 if (audit_buf) {
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500537 audit_log_format(audit_buf,
538 " cipso_doi=%u res=%u",
539 doi, ret_val == 0 ? 1 : 0);
540 audit_log_end(audit_buf);
541 }
542
543 return ret_val;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400544}
545
546/**
547 * cipso_v4_doi_getdef - Returns a reference to a valid DOI definition
Paul Moore446fda42006-08-03 16:48:06 -0700548 * @doi: the DOI value
549 *
550 * Description:
551 * Searches for a valid DOI definition and if one is found it is returned to
552 * the caller. Otherwise NULL is returned. The caller must ensure that
Paul Mooreb1edeb12008-10-10 10:16:31 -0400553 * rcu_read_lock() is held while accessing the returned definition and the DOI
554 * definition reference count is decremented when the caller is done.
Paul Moore446fda42006-08-03 16:48:06 -0700555 *
556 */
557struct cipso_v4_doi *cipso_v4_doi_getdef(u32 doi)
558{
Paul Mooreb1edeb12008-10-10 10:16:31 -0400559 struct cipso_v4_doi *doi_def;
560
561 rcu_read_lock();
562 doi_def = cipso_v4_doi_search(doi);
Ian Morris51456b22015-04-03 09:17:26 +0100563 if (!doi_def)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400564 goto doi_getdef_return;
Reshetova, Elenaf6a6fed2017-07-04 09:35:01 +0300565 if (!refcount_inc_not_zero(&doi_def->refcount))
Paul Mooreb1edeb12008-10-10 10:16:31 -0400566 doi_def = NULL;
567
568doi_getdef_return:
569 rcu_read_unlock();
570 return doi_def;
571}
572
573/**
574 * cipso_v4_doi_putdef - Releases a reference for the given DOI definition
575 * @doi_def: the DOI definition
576 *
577 * Description:
578 * Releases a DOI definition reference obtained from cipso_v4_doi_getdef().
579 *
580 */
581void cipso_v4_doi_putdef(struct cipso_v4_doi *doi_def)
582{
Ian Morris51456b22015-04-03 09:17:26 +0100583 if (!doi_def)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400584 return;
585
Reshetova, Elenaf6a6fed2017-07-04 09:35:01 +0300586 if (!refcount_dec_and_test(&doi_def->refcount))
Paul Mooreb1edeb12008-10-10 10:16:31 -0400587 return;
588 spin_lock(&cipso_v4_doi_list_lock);
589 list_del_rcu(&doi_def->list);
590 spin_unlock(&cipso_v4_doi_list_lock);
591
592 cipso_v4_cache_invalidate();
593 call_rcu(&doi_def->rcu, cipso_v4_doi_free_rcu);
Paul Moore446fda42006-08-03 16:48:06 -0700594}
595
596/**
Paul Moorefcd48282006-09-25 15:56:09 -0700597 * cipso_v4_doi_walk - Iterate through the DOI definitions
598 * @skip_cnt: skip past this number of DOI definitions, updated
599 * @callback: callback for each DOI definition
600 * @cb_arg: argument for the callback function
Paul Moore446fda42006-08-03 16:48:06 -0700601 *
602 * Description:
Paul Moorefcd48282006-09-25 15:56:09 -0700603 * Iterate over the DOI definition list, skipping the first @skip_cnt entries.
604 * For each entry call @callback, if @callback returns a negative value stop
605 * 'walking' through the list and return. Updates the value in @skip_cnt upon
606 * return. Returns zero on success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -0700607 *
608 */
Paul Moorefcd48282006-09-25 15:56:09 -0700609int cipso_v4_doi_walk(u32 *skip_cnt,
610 int (*callback) (struct cipso_v4_doi *doi_def, void *arg),
611 void *cb_arg)
Paul Moore446fda42006-08-03 16:48:06 -0700612{
Paul Moorefcd48282006-09-25 15:56:09 -0700613 int ret_val = -ENOENT;
Paul Moore446fda42006-08-03 16:48:06 -0700614 u32 doi_cnt = 0;
Paul Moorefcd48282006-09-25 15:56:09 -0700615 struct cipso_v4_doi *iter_doi;
Paul Moore446fda42006-08-03 16:48:06 -0700616
617 rcu_read_lock();
Paul Moorefcd48282006-09-25 15:56:09 -0700618 list_for_each_entry_rcu(iter_doi, &cipso_v4_doi_list, list)
Reshetova, Elenaf6a6fed2017-07-04 09:35:01 +0300619 if (refcount_read(&iter_doi->refcount) > 0) {
Paul Moorefcd48282006-09-25 15:56:09 -0700620 if (doi_cnt++ < *skip_cnt)
621 continue;
622 ret_val = callback(iter_doi, cb_arg);
623 if (ret_val < 0) {
624 doi_cnt--;
625 goto doi_walk_return;
Paul Moore446fda42006-08-03 16:48:06 -0700626 }
Paul Moorefcd48282006-09-25 15:56:09 -0700627 }
Paul Moore446fda42006-08-03 16:48:06 -0700628
Paul Moorefcd48282006-09-25 15:56:09 -0700629doi_walk_return:
Paul Moore446fda42006-08-03 16:48:06 -0700630 rcu_read_unlock();
Paul Moorefcd48282006-09-25 15:56:09 -0700631 *skip_cnt = doi_cnt;
632 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700633}
634
Paul Moore446fda42006-08-03 16:48:06 -0700635/*
636 * Label Mapping Functions
637 */
638
639/**
640 * cipso_v4_map_lvl_valid - Checks to see if the given level is understood
641 * @doi_def: the DOI definition
642 * @level: the level to check
643 *
644 * Description:
645 * Checks the given level against the given DOI definition and returns a
646 * negative value if the level does not have a valid mapping and a zero value
647 * if the level is defined by the DOI.
648 *
649 */
650static int cipso_v4_map_lvl_valid(const struct cipso_v4_doi *doi_def, u8 level)
651{
652 switch (doi_def->type) {
653 case CIPSO_V4_MAP_PASS:
654 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400655 case CIPSO_V4_MAP_TRANS:
Paul Moore5578de42019-02-25 19:06:06 -0500656 if ((level < doi_def->map.std->lvl.cipso_size) &&
657 (doi_def->map.std->lvl.cipso[level] < CIPSO_V4_INV_LVL))
Paul Moore446fda42006-08-03 16:48:06 -0700658 return 0;
659 break;
660 }
661
662 return -EFAULT;
663}
664
665/**
666 * cipso_v4_map_lvl_hton - Perform a level mapping from the host to the network
667 * @doi_def: the DOI definition
668 * @host_lvl: the host MLS level
669 * @net_lvl: the network/CIPSO MLS level
670 *
671 * Description:
672 * Perform a label mapping to translate a local MLS level to the correct
673 * CIPSO level using the given DOI definition. Returns zero on success,
674 * negative values otherwise.
675 *
676 */
677static int cipso_v4_map_lvl_hton(const struct cipso_v4_doi *doi_def,
678 u32 host_lvl,
679 u32 *net_lvl)
680{
681 switch (doi_def->type) {
682 case CIPSO_V4_MAP_PASS:
683 *net_lvl = host_lvl;
684 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400685 case CIPSO_V4_MAP_TRANS:
Paul Moorec6387a82007-03-02 13:19:02 -0800686 if (host_lvl < doi_def->map.std->lvl.local_size &&
687 doi_def->map.std->lvl.local[host_lvl] < CIPSO_V4_INV_LVL) {
Paul Moore446fda42006-08-03 16:48:06 -0700688 *net_lvl = doi_def->map.std->lvl.local[host_lvl];
689 return 0;
690 }
Paul Moorec6387a82007-03-02 13:19:02 -0800691 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700692 }
693
694 return -EINVAL;
695}
696
697/**
698 * cipso_v4_map_lvl_ntoh - Perform a level mapping from the network to the host
699 * @doi_def: the DOI definition
700 * @net_lvl: the network/CIPSO MLS level
701 * @host_lvl: the host MLS level
702 *
703 * Description:
704 * Perform a label mapping to translate a CIPSO level to the correct local MLS
705 * level using the given DOI definition. Returns zero on success, negative
706 * values otherwise.
707 *
708 */
709static int cipso_v4_map_lvl_ntoh(const struct cipso_v4_doi *doi_def,
710 u32 net_lvl,
711 u32 *host_lvl)
712{
713 struct cipso_v4_std_map_tbl *map_tbl;
714
715 switch (doi_def->type) {
716 case CIPSO_V4_MAP_PASS:
717 *host_lvl = net_lvl;
718 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400719 case CIPSO_V4_MAP_TRANS:
Paul Moore446fda42006-08-03 16:48:06 -0700720 map_tbl = doi_def->map.std;
721 if (net_lvl < map_tbl->lvl.cipso_size &&
722 map_tbl->lvl.cipso[net_lvl] < CIPSO_V4_INV_LVL) {
723 *host_lvl = doi_def->map.std->lvl.cipso[net_lvl];
724 return 0;
725 }
Paul Moorec6387a82007-03-02 13:19:02 -0800726 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700727 }
728
729 return -EINVAL;
730}
731
732/**
733 * cipso_v4_map_cat_rbm_valid - Checks to see if the category bitmap is valid
734 * @doi_def: the DOI definition
735 * @bitmap: category bitmap
736 * @bitmap_len: bitmap length in bytes
737 *
738 * Description:
739 * Checks the given category bitmap against the given DOI definition and
740 * returns a negative value if any of the categories in the bitmap do not have
741 * a valid mapping and a zero value if all of the categories are valid.
742 *
743 */
744static int cipso_v4_map_cat_rbm_valid(const struct cipso_v4_doi *doi_def,
745 const unsigned char *bitmap,
746 u32 bitmap_len)
747{
748 int cat = -1;
749 u32 bitmap_len_bits = bitmap_len * 8;
Paul Moore044a68e2006-10-11 19:10:47 -0400750 u32 cipso_cat_size;
751 u32 *cipso_array;
Paul Moore446fda42006-08-03 16:48:06 -0700752
753 switch (doi_def->type) {
754 case CIPSO_V4_MAP_PASS:
755 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400756 case CIPSO_V4_MAP_TRANS:
Paul Moore044a68e2006-10-11 19:10:47 -0400757 cipso_cat_size = doi_def->map.std->cat.cipso_size;
758 cipso_array = doi_def->map.std->cat.cipso;
Paul Moore446fda42006-08-03 16:48:06 -0700759 for (;;) {
Huw Davies3faa8f92016-06-27 15:02:51 -0400760 cat = netlbl_bitmap_walk(bitmap,
761 bitmap_len_bits,
762 cat + 1,
763 1);
Paul Moore446fda42006-08-03 16:48:06 -0700764 if (cat < 0)
765 break;
766 if (cat >= cipso_cat_size ||
767 cipso_array[cat] >= CIPSO_V4_INV_CAT)
768 return -EFAULT;
769 }
770
771 if (cat == -1)
772 return 0;
773 break;
774 }
775
776 return -EFAULT;
777}
778
779/**
780 * cipso_v4_map_cat_rbm_hton - Perform a category mapping from host to network
781 * @doi_def: the DOI definition
Paul Moore02752762006-11-29 13:18:18 -0500782 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -0700783 * @net_cat: the zero'd out category bitmap in network/CIPSO format
784 * @net_cat_len: the length of the CIPSO bitmap in bytes
785 *
786 * Description:
787 * Perform a label mapping to translate a local MLS category bitmap to the
788 * correct CIPSO bitmap using the given DOI definition. Returns the minimum
789 * size in bytes of the network bitmap on success, negative values otherwise.
790 *
791 */
792static int cipso_v4_map_cat_rbm_hton(const struct cipso_v4_doi *doi_def,
Paul Moore02752762006-11-29 13:18:18 -0500793 const struct netlbl_lsm_secattr *secattr,
Paul Moore446fda42006-08-03 16:48:06 -0700794 unsigned char *net_cat,
795 u32 net_cat_len)
796{
797 int host_spot = -1;
Paul Moore02752762006-11-29 13:18:18 -0500798 u32 net_spot = CIPSO_V4_INV_CAT;
Paul Moore446fda42006-08-03 16:48:06 -0700799 u32 net_spot_max = 0;
Paul Moore446fda42006-08-03 16:48:06 -0700800 u32 net_clen_bits = net_cat_len * 8;
Paul Moore02752762006-11-29 13:18:18 -0500801 u32 host_cat_size = 0;
802 u32 *host_cat_array = NULL;
Paul Moore446fda42006-08-03 16:48:06 -0700803
Paul Moore15c45f72008-10-10 10:16:34 -0400804 if (doi_def->type == CIPSO_V4_MAP_TRANS) {
Paul Moore044a68e2006-10-11 19:10:47 -0400805 host_cat_size = doi_def->map.std->cat.local_size;
806 host_cat_array = doi_def->map.std->cat.local;
Paul Moore02752762006-11-29 13:18:18 -0500807 }
808
809 for (;;) {
Paul Moore4fbe63d2014-08-01 11:17:37 -0400810 host_spot = netlbl_catmap_walk(secattr->attr.mls.cat,
811 host_spot + 1);
Paul Moore02752762006-11-29 13:18:18 -0500812 if (host_spot < 0)
813 break;
814
815 switch (doi_def->type) {
816 case CIPSO_V4_MAP_PASS:
817 net_spot = host_spot;
818 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400819 case CIPSO_V4_MAP_TRANS:
Paul Moore446fda42006-08-03 16:48:06 -0700820 if (host_spot >= host_cat_size)
821 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700822 net_spot = host_cat_array[host_spot];
Paul Moore9fade4b2006-11-17 17:38:50 -0500823 if (net_spot >= CIPSO_V4_INV_CAT)
824 return -EPERM;
Paul Moore02752762006-11-29 13:18:18 -0500825 break;
Paul Moore446fda42006-08-03 16:48:06 -0700826 }
Paul Moore02752762006-11-29 13:18:18 -0500827 if (net_spot >= net_clen_bits)
828 return -ENOSPC;
Huw Davies3faa8f92016-06-27 15:02:51 -0400829 netlbl_bitmap_setbit(net_cat, net_spot, 1);
Paul Moore446fda42006-08-03 16:48:06 -0700830
Paul Moore02752762006-11-29 13:18:18 -0500831 if (net_spot > net_spot_max)
832 net_spot_max = net_spot;
Paul Moore446fda42006-08-03 16:48:06 -0700833 }
834
Paul Moore02752762006-11-29 13:18:18 -0500835 if (++net_spot_max % 8)
836 return net_spot_max / 8 + 1;
837 return net_spot_max / 8;
Paul Moore446fda42006-08-03 16:48:06 -0700838}
839
840/**
841 * cipso_v4_map_cat_rbm_ntoh - Perform a category mapping from network to host
842 * @doi_def: the DOI definition
843 * @net_cat: the category bitmap in network/CIPSO format
844 * @net_cat_len: the length of the CIPSO bitmap in bytes
Paul Moore02752762006-11-29 13:18:18 -0500845 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -0700846 *
847 * Description:
848 * Perform a label mapping to translate a CIPSO bitmap to the correct local
Paul Moore02752762006-11-29 13:18:18 -0500849 * MLS category bitmap using the given DOI definition. Returns zero on
850 * success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -0700851 *
852 */
853static int cipso_v4_map_cat_rbm_ntoh(const struct cipso_v4_doi *doi_def,
854 const unsigned char *net_cat,
855 u32 net_cat_len,
Paul Moore02752762006-11-29 13:18:18 -0500856 struct netlbl_lsm_secattr *secattr)
Paul Moore446fda42006-08-03 16:48:06 -0700857{
Paul Moore02752762006-11-29 13:18:18 -0500858 int ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700859 int net_spot = -1;
Paul Moore02752762006-11-29 13:18:18 -0500860 u32 host_spot = CIPSO_V4_INV_CAT;
Paul Moore446fda42006-08-03 16:48:06 -0700861 u32 net_clen_bits = net_cat_len * 8;
Paul Moore02752762006-11-29 13:18:18 -0500862 u32 net_cat_size = 0;
863 u32 *net_cat_array = NULL;
Paul Moore446fda42006-08-03 16:48:06 -0700864
Paul Moore15c45f72008-10-10 10:16:34 -0400865 if (doi_def->type == CIPSO_V4_MAP_TRANS) {
Paul Moore044a68e2006-10-11 19:10:47 -0400866 net_cat_size = doi_def->map.std->cat.cipso_size;
867 net_cat_array = doi_def->map.std->cat.cipso;
Paul Moore02752762006-11-29 13:18:18 -0500868 }
Paul Moore446fda42006-08-03 16:48:06 -0700869
Paul Moore02752762006-11-29 13:18:18 -0500870 for (;;) {
Huw Davies3faa8f92016-06-27 15:02:51 -0400871 net_spot = netlbl_bitmap_walk(net_cat,
872 net_clen_bits,
873 net_spot + 1,
874 1);
Paul Moore02752762006-11-29 13:18:18 -0500875 if (net_spot < 0) {
876 if (net_spot == -2)
877 return -EFAULT;
878 return 0;
879 }
880
881 switch (doi_def->type) {
882 case CIPSO_V4_MAP_PASS:
883 host_spot = net_spot;
884 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400885 case CIPSO_V4_MAP_TRANS:
Paul Moore02752762006-11-29 13:18:18 -0500886 if (net_spot >= net_cat_size)
887 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700888 host_spot = net_cat_array[net_spot];
Paul Moore9fade4b2006-11-17 17:38:50 -0500889 if (host_spot >= CIPSO_V4_INV_CAT)
890 return -EPERM;
Paul Moore02752762006-11-29 13:18:18 -0500891 break;
Paul Moore446fda42006-08-03 16:48:06 -0700892 }
Paul Moore4fbe63d2014-08-01 11:17:37 -0400893 ret_val = netlbl_catmap_setbit(&secattr->attr.mls.cat,
Paul Moore02752762006-11-29 13:18:18 -0500894 host_spot,
895 GFP_ATOMIC);
896 if (ret_val != 0)
897 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700898 }
899
900 return -EINVAL;
901}
902
Paul Moore654bbc22006-11-29 13:18:19 -0500903/**
904 * cipso_v4_map_cat_enum_valid - Checks to see if the categories are valid
905 * @doi_def: the DOI definition
906 * @enumcat: category list
907 * @enumcat_len: length of the category list in bytes
908 *
909 * Description:
910 * Checks the given categories against the given DOI definition and returns a
911 * negative value if any of the categories do not have a valid mapping and a
912 * zero value if all of the categories are valid.
913 *
914 */
915static int cipso_v4_map_cat_enum_valid(const struct cipso_v4_doi *doi_def,
916 const unsigned char *enumcat,
917 u32 enumcat_len)
918{
919 u16 cat;
920 int cat_prev = -1;
921 u32 iter;
922
923 if (doi_def->type != CIPSO_V4_MAP_PASS || enumcat_len & 0x01)
924 return -EFAULT;
925
926 for (iter = 0; iter < enumcat_len; iter += 2) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -0700927 cat = get_unaligned_be16(&enumcat[iter]);
Paul Moore654bbc22006-11-29 13:18:19 -0500928 if (cat <= cat_prev)
929 return -EFAULT;
930 cat_prev = cat;
931 }
932
933 return 0;
934}
935
936/**
937 * cipso_v4_map_cat_enum_hton - Perform a category mapping from host to network
938 * @doi_def: the DOI definition
939 * @secattr: the security attributes
940 * @net_cat: the zero'd out category list in network/CIPSO format
941 * @net_cat_len: the length of the CIPSO category list in bytes
942 *
943 * Description:
944 * Perform a label mapping to translate a local MLS category bitmap to the
945 * correct CIPSO category list using the given DOI definition. Returns the
946 * size in bytes of the network category bitmap on success, negative values
947 * otherwise.
948 *
949 */
950static int cipso_v4_map_cat_enum_hton(const struct cipso_v4_doi *doi_def,
951 const struct netlbl_lsm_secattr *secattr,
952 unsigned char *net_cat,
953 u32 net_cat_len)
954{
955 int cat = -1;
956 u32 cat_iter = 0;
957
958 for (;;) {
Paul Moore4fbe63d2014-08-01 11:17:37 -0400959 cat = netlbl_catmap_walk(secattr->attr.mls.cat, cat + 1);
Paul Moore654bbc22006-11-29 13:18:19 -0500960 if (cat < 0)
961 break;
962 if ((cat_iter + 2) > net_cat_len)
963 return -ENOSPC;
964
965 *((__be16 *)&net_cat[cat_iter]) = htons(cat);
966 cat_iter += 2;
967 }
968
969 return cat_iter;
970}
971
972/**
973 * cipso_v4_map_cat_enum_ntoh - Perform a category mapping from network to host
974 * @doi_def: the DOI definition
975 * @net_cat: the category list in network/CIPSO format
976 * @net_cat_len: the length of the CIPSO bitmap in bytes
977 * @secattr: the security attributes
978 *
979 * Description:
980 * Perform a label mapping to translate a CIPSO category list to the correct
981 * local MLS category bitmap using the given DOI definition. Returns zero on
982 * success, negative values on failure.
983 *
984 */
985static int cipso_v4_map_cat_enum_ntoh(const struct cipso_v4_doi *doi_def,
986 const unsigned char *net_cat,
987 u32 net_cat_len,
988 struct netlbl_lsm_secattr *secattr)
989{
990 int ret_val;
991 u32 iter;
992
993 for (iter = 0; iter < net_cat_len; iter += 2) {
Paul Moore4fbe63d2014-08-01 11:17:37 -0400994 ret_val = netlbl_catmap_setbit(&secattr->attr.mls.cat,
995 get_unaligned_be16(&net_cat[iter]),
996 GFP_ATOMIC);
Paul Moore654bbc22006-11-29 13:18:19 -0500997 if (ret_val != 0)
998 return ret_val;
999 }
1000
1001 return 0;
1002}
1003
Paul Moore484b3662006-11-29 13:18:20 -05001004/**
1005 * cipso_v4_map_cat_rng_valid - Checks to see if the categories are valid
1006 * @doi_def: the DOI definition
1007 * @rngcat: category list
1008 * @rngcat_len: length of the category list in bytes
1009 *
1010 * Description:
1011 * Checks the given categories against the given DOI definition and returns a
1012 * negative value if any of the categories do not have a valid mapping and a
1013 * zero value if all of the categories are valid.
1014 *
1015 */
1016static int cipso_v4_map_cat_rng_valid(const struct cipso_v4_doi *doi_def,
1017 const unsigned char *rngcat,
1018 u32 rngcat_len)
1019{
1020 u16 cat_high;
1021 u16 cat_low;
1022 u32 cat_prev = CIPSO_V4_MAX_REM_CATS + 1;
1023 u32 iter;
1024
1025 if (doi_def->type != CIPSO_V4_MAP_PASS || rngcat_len & 0x01)
1026 return -EFAULT;
1027
1028 for (iter = 0; iter < rngcat_len; iter += 4) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001029 cat_high = get_unaligned_be16(&rngcat[iter]);
Paul Moore484b3662006-11-29 13:18:20 -05001030 if ((iter + 4) <= rngcat_len)
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001031 cat_low = get_unaligned_be16(&rngcat[iter + 2]);
Paul Moore484b3662006-11-29 13:18:20 -05001032 else
1033 cat_low = 0;
1034
1035 if (cat_high > cat_prev)
1036 return -EFAULT;
1037
1038 cat_prev = cat_low;
1039 }
1040
1041 return 0;
1042}
1043
1044/**
1045 * cipso_v4_map_cat_rng_hton - Perform a category mapping from host to network
1046 * @doi_def: the DOI definition
1047 * @secattr: the security attributes
1048 * @net_cat: the zero'd out category list in network/CIPSO format
1049 * @net_cat_len: the length of the CIPSO category list in bytes
1050 *
1051 * Description:
1052 * Perform a label mapping to translate a local MLS category bitmap to the
1053 * correct CIPSO category list using the given DOI definition. Returns the
1054 * size in bytes of the network category bitmap on success, negative values
1055 * otherwise.
1056 *
1057 */
1058static int cipso_v4_map_cat_rng_hton(const struct cipso_v4_doi *doi_def,
1059 const struct netlbl_lsm_secattr *secattr,
1060 unsigned char *net_cat,
1061 u32 net_cat_len)
1062{
Paul Moore484b3662006-11-29 13:18:20 -05001063 int iter = -1;
Paul Mooref998e8c2007-02-28 15:14:20 -05001064 u16 array[CIPSO_V4_TAG_RNG_CAT_MAX * 2];
Paul Moore484b3662006-11-29 13:18:20 -05001065 u32 array_cnt = 0;
1066 u32 cat_size = 0;
1067
Paul Mooref998e8c2007-02-28 15:14:20 -05001068 /* make sure we don't overflow the 'array[]' variable */
Paul Moore128c6b62007-02-28 15:14:21 -05001069 if (net_cat_len >
1070 (CIPSO_V4_OPT_LEN_MAX - CIPSO_V4_HDR_LEN - CIPSO_V4_TAG_RNG_BLEN))
1071 return -ENOSPC;
Paul Moore484b3662006-11-29 13:18:20 -05001072
1073 for (;;) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001074 iter = netlbl_catmap_walk(secattr->attr.mls.cat, iter + 1);
Paul Moore484b3662006-11-29 13:18:20 -05001075 if (iter < 0)
1076 break;
1077 cat_size += (iter == 0 ? 0 : sizeof(u16));
1078 if (cat_size > net_cat_len)
1079 return -ENOSPC;
1080 array[array_cnt++] = iter;
1081
Paul Moore4fbe63d2014-08-01 11:17:37 -04001082 iter = netlbl_catmap_walkrng(secattr->attr.mls.cat, iter);
Paul Moore484b3662006-11-29 13:18:20 -05001083 if (iter < 0)
1084 return -EFAULT;
1085 cat_size += sizeof(u16);
1086 if (cat_size > net_cat_len)
1087 return -ENOSPC;
1088 array[array_cnt++] = iter;
1089 }
1090
1091 for (iter = 0; array_cnt > 0;) {
1092 *((__be16 *)&net_cat[iter]) = htons(array[--array_cnt]);
1093 iter += 2;
1094 array_cnt--;
1095 if (array[array_cnt] != 0) {
1096 *((__be16 *)&net_cat[iter]) = htons(array[array_cnt]);
1097 iter += 2;
1098 }
1099 }
1100
1101 return cat_size;
1102}
1103
1104/**
1105 * cipso_v4_map_cat_rng_ntoh - Perform a category mapping from network to host
1106 * @doi_def: the DOI definition
1107 * @net_cat: the category list in network/CIPSO format
1108 * @net_cat_len: the length of the CIPSO bitmap in bytes
1109 * @secattr: the security attributes
1110 *
1111 * Description:
1112 * Perform a label mapping to translate a CIPSO category list to the correct
1113 * local MLS category bitmap using the given DOI definition. Returns zero on
1114 * success, negative values on failure.
1115 *
1116 */
1117static int cipso_v4_map_cat_rng_ntoh(const struct cipso_v4_doi *doi_def,
1118 const unsigned char *net_cat,
1119 u32 net_cat_len,
1120 struct netlbl_lsm_secattr *secattr)
1121{
1122 int ret_val;
1123 u32 net_iter;
1124 u16 cat_low;
1125 u16 cat_high;
1126
Stephen Hemminger132adf52007-03-08 20:44:43 -08001127 for (net_iter = 0; net_iter < net_cat_len; net_iter += 4) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001128 cat_high = get_unaligned_be16(&net_cat[net_iter]);
Paul Moore484b3662006-11-29 13:18:20 -05001129 if ((net_iter + 4) <= net_cat_len)
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001130 cat_low = get_unaligned_be16(&net_cat[net_iter + 2]);
Paul Moore484b3662006-11-29 13:18:20 -05001131 else
1132 cat_low = 0;
1133
Paul Moore4fbe63d2014-08-01 11:17:37 -04001134 ret_val = netlbl_catmap_setrng(&secattr->attr.mls.cat,
1135 cat_low,
1136 cat_high,
1137 GFP_ATOMIC);
Paul Moore484b3662006-11-29 13:18:20 -05001138 if (ret_val != 0)
1139 return ret_val;
1140 }
1141
1142 return 0;
1143}
1144
Paul Moore446fda42006-08-03 16:48:06 -07001145/*
1146 * Protocol Handling Functions
1147 */
1148
Paul Moore446fda42006-08-03 16:48:06 -07001149/**
1150 * cipso_v4_gentag_hdr - Generate a CIPSO option header
1151 * @doi_def: the DOI definition
Paul Moore91b1ed02006-11-17 17:38:49 -05001152 * @len: the total tag length in bytes, not including this header
Paul Moore446fda42006-08-03 16:48:06 -07001153 * @buf: the CIPSO option buffer
1154 *
1155 * Description:
Paul Moore91b1ed02006-11-17 17:38:49 -05001156 * Write a CIPSO header into the beginning of @buffer.
Paul Moore446fda42006-08-03 16:48:06 -07001157 *
1158 */
Paul Moore91b1ed02006-11-17 17:38:49 -05001159static void cipso_v4_gentag_hdr(const struct cipso_v4_doi *doi_def,
1160 unsigned char *buf,
1161 u32 len)
Paul Moore446fda42006-08-03 16:48:06 -07001162{
Paul Moore446fda42006-08-03 16:48:06 -07001163 buf[0] = IPOPT_CIPSO;
1164 buf[1] = CIPSO_V4_HDR_LEN + len;
Al Viro714e85b2006-11-14 20:51:49 -08001165 *(__be32 *)&buf[2] = htonl(doi_def->doi);
Paul Moore446fda42006-08-03 16:48:06 -07001166}
1167
Paul Moore446fda42006-08-03 16:48:06 -07001168/**
1169 * cipso_v4_gentag_rbm - Generate a CIPSO restricted bitmap tag (type #1)
1170 * @doi_def: the DOI definition
1171 * @secattr: the security attributes
1172 * @buffer: the option buffer
1173 * @buffer_len: length of buffer in bytes
1174 *
1175 * Description:
1176 * Generate a CIPSO option using the restricted bitmap tag, tag type #1. The
1177 * actual buffer length may be larger than the indicated size due to
Paul Moore91b1ed02006-11-17 17:38:49 -05001178 * translation between host and network category bitmaps. Returns the size of
1179 * the tag on success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -07001180 *
1181 */
1182static int cipso_v4_gentag_rbm(const struct cipso_v4_doi *doi_def,
1183 const struct netlbl_lsm_secattr *secattr,
Paul Moore91b1ed02006-11-17 17:38:49 -05001184 unsigned char *buffer,
1185 u32 buffer_len)
Paul Moore446fda42006-08-03 16:48:06 -07001186{
Paul Moore701a90b2006-11-17 17:38:46 -05001187 int ret_val;
Paul Moore91b1ed02006-11-17 17:38:49 -05001188 u32 tag_len;
Paul Moore446fda42006-08-03 16:48:06 -07001189 u32 level;
1190
Paul Moore701a90b2006-11-17 17:38:46 -05001191 if ((secattr->flags & NETLBL_SECATTR_MLS_LVL) == 0)
1192 return -EPERM;
1193
Paul Moore16efd452008-01-29 08:37:59 -05001194 ret_val = cipso_v4_map_lvl_hton(doi_def,
1195 secattr->attr.mls.lvl,
1196 &level);
Paul Moore91b1ed02006-11-17 17:38:49 -05001197 if (ret_val != 0)
1198 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001199
Paul Moore91b1ed02006-11-17 17:38:49 -05001200 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
Paul Moore446fda42006-08-03 16:48:06 -07001201 ret_val = cipso_v4_map_cat_rbm_hton(doi_def,
Paul Moore02752762006-11-29 13:18:18 -05001202 secattr,
Paul Moore91b1ed02006-11-17 17:38:49 -05001203 &buffer[4],
1204 buffer_len - 4);
Paul Moore446fda42006-08-03 16:48:06 -07001205 if (ret_val < 0)
Paul Moore91b1ed02006-11-17 17:38:49 -05001206 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001207
1208 /* This will send packets using the "optimized" format when
Lucas De Marchi25985ed2011-03-30 22:57:33 -03001209 * possible as specified in section 3.4.2.6 of the
Paul Moore446fda42006-08-03 16:48:06 -07001210 * CIPSO draft. */
Paul Moore701a90b2006-11-17 17:38:46 -05001211 if (cipso_v4_rbm_optfmt && ret_val > 0 && ret_val <= 10)
Paul Moore91b1ed02006-11-17 17:38:49 -05001212 tag_len = 14;
Paul Moore701a90b2006-11-17 17:38:46 -05001213 else
Paul Moore91b1ed02006-11-17 17:38:49 -05001214 tag_len = 4 + ret_val;
1215 } else
1216 tag_len = 4;
Paul Moore446fda42006-08-03 16:48:06 -07001217
Paul Moore15c45f72008-10-10 10:16:34 -04001218 buffer[0] = CIPSO_V4_TAG_RBITMAP;
Paul Moore91b1ed02006-11-17 17:38:49 -05001219 buffer[1] = tag_len;
1220 buffer[3] = level;
Paul Moore446fda42006-08-03 16:48:06 -07001221
Paul Moore91b1ed02006-11-17 17:38:49 -05001222 return tag_len;
Paul Moore446fda42006-08-03 16:48:06 -07001223}
1224
1225/**
1226 * cipso_v4_parsetag_rbm - Parse a CIPSO restricted bitmap tag
1227 * @doi_def: the DOI definition
1228 * @tag: the CIPSO tag
1229 * @secattr: the security attributes
1230 *
1231 * Description:
1232 * Parse a CIPSO restricted bitmap tag (tag type #1) and return the security
1233 * attributes in @secattr. Return zero on success, negatives values on
1234 * failure.
1235 *
1236 */
1237static int cipso_v4_parsetag_rbm(const struct cipso_v4_doi *doi_def,
1238 const unsigned char *tag,
1239 struct netlbl_lsm_secattr *secattr)
1240{
1241 int ret_val;
1242 u8 tag_len = tag[1];
1243 u32 level;
1244
1245 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1246 if (ret_val != 0)
1247 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001248 secattr->attr.mls.lvl = level;
Paul Moore701a90b2006-11-17 17:38:46 -05001249 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
Paul Moore446fda42006-08-03 16:48:06 -07001250
1251 if (tag_len > 4) {
Paul Moore446fda42006-08-03 16:48:06 -07001252 ret_val = cipso_v4_map_cat_rbm_ntoh(doi_def,
1253 &tag[4],
1254 tag_len - 4,
Paul Moore02752762006-11-29 13:18:18 -05001255 secattr);
1256 if (ret_val != 0) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001257 netlbl_catmap_free(secattr->attr.mls.cat);
Paul Moore446fda42006-08-03 16:48:06 -07001258 return ret_val;
1259 }
Paul Moore02752762006-11-29 13:18:18 -05001260
1261 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
Paul Moore446fda42006-08-03 16:48:06 -07001262 }
1263
1264 return 0;
1265}
1266
1267/**
Paul Moore654bbc22006-11-29 13:18:19 -05001268 * cipso_v4_gentag_enum - Generate a CIPSO enumerated tag (type #2)
1269 * @doi_def: the DOI definition
1270 * @secattr: the security attributes
1271 * @buffer: the option buffer
1272 * @buffer_len: length of buffer in bytes
1273 *
1274 * Description:
1275 * Generate a CIPSO option using the enumerated tag, tag type #2. Returns the
1276 * size of the tag on success, negative values on failure.
1277 *
1278 */
1279static int cipso_v4_gentag_enum(const struct cipso_v4_doi *doi_def,
1280 const struct netlbl_lsm_secattr *secattr,
1281 unsigned char *buffer,
1282 u32 buffer_len)
1283{
1284 int ret_val;
1285 u32 tag_len;
1286 u32 level;
1287
1288 if (!(secattr->flags & NETLBL_SECATTR_MLS_LVL))
1289 return -EPERM;
1290
Paul Moore16efd452008-01-29 08:37:59 -05001291 ret_val = cipso_v4_map_lvl_hton(doi_def,
1292 secattr->attr.mls.lvl,
1293 &level);
Paul Moore654bbc22006-11-29 13:18:19 -05001294 if (ret_val != 0)
1295 return ret_val;
1296
1297 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
1298 ret_val = cipso_v4_map_cat_enum_hton(doi_def,
1299 secattr,
1300 &buffer[4],
1301 buffer_len - 4);
1302 if (ret_val < 0)
1303 return ret_val;
1304
1305 tag_len = 4 + ret_val;
1306 } else
1307 tag_len = 4;
1308
Paul Moore15c45f72008-10-10 10:16:34 -04001309 buffer[0] = CIPSO_V4_TAG_ENUM;
Paul Moore654bbc22006-11-29 13:18:19 -05001310 buffer[1] = tag_len;
1311 buffer[3] = level;
1312
1313 return tag_len;
1314}
1315
1316/**
1317 * cipso_v4_parsetag_enum - Parse a CIPSO enumerated tag
1318 * @doi_def: the DOI definition
1319 * @tag: the CIPSO tag
1320 * @secattr: the security attributes
1321 *
1322 * Description:
1323 * Parse a CIPSO enumerated tag (tag type #2) and return the security
1324 * attributes in @secattr. Return zero on success, negatives values on
1325 * failure.
1326 *
1327 */
1328static int cipso_v4_parsetag_enum(const struct cipso_v4_doi *doi_def,
1329 const unsigned char *tag,
1330 struct netlbl_lsm_secattr *secattr)
1331{
1332 int ret_val;
1333 u8 tag_len = tag[1];
1334 u32 level;
1335
1336 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1337 if (ret_val != 0)
1338 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001339 secattr->attr.mls.lvl = level;
Paul Moore654bbc22006-11-29 13:18:19 -05001340 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
1341
1342 if (tag_len > 4) {
Paul Moore654bbc22006-11-29 13:18:19 -05001343 ret_val = cipso_v4_map_cat_enum_ntoh(doi_def,
1344 &tag[4],
1345 tag_len - 4,
1346 secattr);
1347 if (ret_val != 0) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001348 netlbl_catmap_free(secattr->attr.mls.cat);
Paul Moore654bbc22006-11-29 13:18:19 -05001349 return ret_val;
1350 }
1351
1352 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
1353 }
1354
1355 return 0;
1356}
1357
1358/**
Paul Moore484b3662006-11-29 13:18:20 -05001359 * cipso_v4_gentag_rng - Generate a CIPSO ranged tag (type #5)
1360 * @doi_def: the DOI definition
1361 * @secattr: the security attributes
1362 * @buffer: the option buffer
1363 * @buffer_len: length of buffer in bytes
1364 *
1365 * Description:
1366 * Generate a CIPSO option using the ranged tag, tag type #5. Returns the
1367 * size of the tag on success, negative values on failure.
1368 *
1369 */
1370static int cipso_v4_gentag_rng(const struct cipso_v4_doi *doi_def,
1371 const struct netlbl_lsm_secattr *secattr,
1372 unsigned char *buffer,
1373 u32 buffer_len)
1374{
1375 int ret_val;
1376 u32 tag_len;
1377 u32 level;
1378
1379 if (!(secattr->flags & NETLBL_SECATTR_MLS_LVL))
1380 return -EPERM;
1381
Paul Moore16efd452008-01-29 08:37:59 -05001382 ret_val = cipso_v4_map_lvl_hton(doi_def,
1383 secattr->attr.mls.lvl,
1384 &level);
Paul Moore484b3662006-11-29 13:18:20 -05001385 if (ret_val != 0)
1386 return ret_val;
1387
1388 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
1389 ret_val = cipso_v4_map_cat_rng_hton(doi_def,
1390 secattr,
1391 &buffer[4],
1392 buffer_len - 4);
1393 if (ret_val < 0)
1394 return ret_val;
1395
1396 tag_len = 4 + ret_val;
1397 } else
1398 tag_len = 4;
1399
Paul Moore15c45f72008-10-10 10:16:34 -04001400 buffer[0] = CIPSO_V4_TAG_RANGE;
Paul Moore484b3662006-11-29 13:18:20 -05001401 buffer[1] = tag_len;
1402 buffer[3] = level;
1403
1404 return tag_len;
1405}
1406
1407/**
1408 * cipso_v4_parsetag_rng - Parse a CIPSO ranged tag
1409 * @doi_def: the DOI definition
1410 * @tag: the CIPSO tag
1411 * @secattr: the security attributes
1412 *
1413 * Description:
1414 * Parse a CIPSO ranged tag (tag type #5) and return the security attributes
1415 * in @secattr. Return zero on success, negatives values on failure.
1416 *
1417 */
1418static int cipso_v4_parsetag_rng(const struct cipso_v4_doi *doi_def,
1419 const unsigned char *tag,
1420 struct netlbl_lsm_secattr *secattr)
1421{
1422 int ret_val;
1423 u8 tag_len = tag[1];
1424 u32 level;
1425
1426 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1427 if (ret_val != 0)
1428 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001429 secattr->attr.mls.lvl = level;
Paul Moore484b3662006-11-29 13:18:20 -05001430 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
1431
1432 if (tag_len > 4) {
Paul Moore484b3662006-11-29 13:18:20 -05001433 ret_val = cipso_v4_map_cat_rng_ntoh(doi_def,
1434 &tag[4],
1435 tag_len - 4,
1436 secattr);
1437 if (ret_val != 0) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001438 netlbl_catmap_free(secattr->attr.mls.cat);
Paul Moore484b3662006-11-29 13:18:20 -05001439 return ret_val;
1440 }
1441
1442 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
1443 }
1444
1445 return 0;
1446}
1447
1448/**
Paul Moore15c45f72008-10-10 10:16:34 -04001449 * cipso_v4_gentag_loc - Generate a CIPSO local tag (non-standard)
1450 * @doi_def: the DOI definition
1451 * @secattr: the security attributes
1452 * @buffer: the option buffer
1453 * @buffer_len: length of buffer in bytes
1454 *
1455 * Description:
1456 * Generate a CIPSO option using the local tag. Returns the size of the tag
1457 * on success, negative values on failure.
1458 *
1459 */
1460static int cipso_v4_gentag_loc(const struct cipso_v4_doi *doi_def,
1461 const struct netlbl_lsm_secattr *secattr,
1462 unsigned char *buffer,
1463 u32 buffer_len)
1464{
1465 if (!(secattr->flags & NETLBL_SECATTR_SECID))
1466 return -EPERM;
1467
1468 buffer[0] = CIPSO_V4_TAG_LOCAL;
1469 buffer[1] = CIPSO_V4_TAG_LOC_BLEN;
1470 *(u32 *)&buffer[2] = secattr->attr.secid;
1471
1472 return CIPSO_V4_TAG_LOC_BLEN;
1473}
1474
1475/**
1476 * cipso_v4_parsetag_loc - Parse a CIPSO local tag
1477 * @doi_def: the DOI definition
1478 * @tag: the CIPSO tag
1479 * @secattr: the security attributes
1480 *
1481 * Description:
1482 * Parse a CIPSO local tag and return the security attributes in @secattr.
1483 * Return zero on success, negatives values on failure.
1484 *
1485 */
1486static int cipso_v4_parsetag_loc(const struct cipso_v4_doi *doi_def,
1487 const unsigned char *tag,
1488 struct netlbl_lsm_secattr *secattr)
1489{
1490 secattr->attr.secid = *(u32 *)&tag[2];
1491 secattr->flags |= NETLBL_SECATTR_SECID;
1492
1493 return 0;
1494}
1495
1496/**
Paul Moore04f81f02015-02-11 14:46:37 -05001497 * cipso_v4_optptr - Find the CIPSO option in the packet
1498 * @skb: the packet
1499 *
1500 * Description:
1501 * Parse the packet's IP header looking for a CIPSO option. Returns a pointer
Stefan Nuernberger076ed3d2018-09-17 19:46:53 +02001502 * to the start of the CIPSO option on success, NULL if one is not found.
Paul Moore04f81f02015-02-11 14:46:37 -05001503 *
1504 */
1505unsigned char *cipso_v4_optptr(const struct sk_buff *skb)
1506{
1507 const struct iphdr *iph = ip_hdr(skb);
1508 unsigned char *optptr = (unsigned char *)&(ip_hdr(skb)[1]);
1509 int optlen;
1510 int taglen;
1511
Stefan Nuernberger076ed3d2018-09-17 19:46:53 +02001512 for (optlen = iph->ihl*4 - sizeof(struct iphdr); optlen > 1; ) {
yujuan.qi40413952017-07-31 11:23:01 +08001513 switch (optptr[0]) {
yujuan.qi40413952017-07-31 11:23:01 +08001514 case IPOPT_END:
1515 return NULL;
1516 case IPOPT_NOOP:
1517 taglen = 1;
1518 break;
1519 default:
1520 taglen = optptr[1];
1521 }
Stefan Nuernberger076ed3d2018-09-17 19:46:53 +02001522 if (!taglen || taglen > optlen)
1523 return NULL;
1524 if (optptr[0] == IPOPT_CIPSO)
1525 return optptr;
1526
Paul Moore04f81f02015-02-11 14:46:37 -05001527 optlen -= taglen;
1528 optptr += taglen;
1529 }
1530
1531 return NULL;
1532}
1533
1534/**
Paul Moore446fda42006-08-03 16:48:06 -07001535 * cipso_v4_validate - Validate a CIPSO option
1536 * @option: the start of the option, on error it is set to point to the error
1537 *
1538 * Description:
1539 * This routine is called to validate a CIPSO option, it checks all of the
1540 * fields to ensure that they are at least valid, see the draft snippet below
1541 * for details. If the option is valid then a zero value is returned and
1542 * the value of @option is unchanged. If the option is invalid then a
1543 * non-zero value is returned and @option is adjusted to point to the
1544 * offending portion of the option. From the IETF draft ...
1545 *
1546 * "If any field within the CIPSO options, such as the DOI identifier, is not
1547 * recognized the IP datagram is discarded and an ICMP 'parameter problem'
1548 * (type 12) is generated and returned. The ICMP code field is set to 'bad
1549 * parameter' (code 0) and the pointer is set to the start of the CIPSO field
1550 * that is unrecognized."
1551 *
1552 */
Paul Moore15c45f72008-10-10 10:16:34 -04001553int cipso_v4_validate(const struct sk_buff *skb, unsigned char **option)
Paul Moore446fda42006-08-03 16:48:06 -07001554{
1555 unsigned char *opt = *option;
1556 unsigned char *tag;
1557 unsigned char opt_iter;
1558 unsigned char err_offset = 0;
1559 u8 opt_len;
1560 u8 tag_len;
1561 struct cipso_v4_doi *doi_def = NULL;
1562 u32 tag_iter;
1563
1564 /* caller already checks for length values that are too large */
1565 opt_len = opt[1];
1566 if (opt_len < 8) {
1567 err_offset = 1;
1568 goto validate_return;
1569 }
1570
1571 rcu_read_lock();
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001572 doi_def = cipso_v4_doi_search(get_unaligned_be32(&opt[2]));
Ian Morris51456b22015-04-03 09:17:26 +01001573 if (!doi_def) {
Paul Moore446fda42006-08-03 16:48:06 -07001574 err_offset = 2;
1575 goto validate_return_locked;
1576 }
1577
Paul Moore15c45f72008-10-10 10:16:34 -04001578 opt_iter = CIPSO_V4_HDR_LEN;
Paul Moore446fda42006-08-03 16:48:06 -07001579 tag = opt + opt_iter;
1580 while (opt_iter < opt_len) {
1581 for (tag_iter = 0; doi_def->tags[tag_iter] != tag[0];)
1582 if (doi_def->tags[tag_iter] == CIPSO_V4_TAG_INVALID ||
1583 ++tag_iter == CIPSO_V4_TAG_MAXCNT) {
1584 err_offset = opt_iter;
1585 goto validate_return_locked;
1586 }
1587
Eric Dumazetd71b7892017-02-03 00:03:26 -08001588 if (opt_iter + 1 == opt_len) {
1589 err_offset = opt_iter;
1590 goto validate_return_locked;
1591 }
Paul Moore446fda42006-08-03 16:48:06 -07001592 tag_len = tag[1];
1593 if (tag_len > (opt_len - opt_iter)) {
1594 err_offset = opt_iter + 1;
1595 goto validate_return_locked;
1596 }
1597
1598 switch (tag[0]) {
1599 case CIPSO_V4_TAG_RBITMAP:
Paul Moore15c45f72008-10-10 10:16:34 -04001600 if (tag_len < CIPSO_V4_TAG_RBM_BLEN) {
Paul Moore446fda42006-08-03 16:48:06 -07001601 err_offset = opt_iter + 1;
1602 goto validate_return_locked;
1603 }
1604
1605 /* We are already going to do all the verification
1606 * necessary at the socket layer so from our point of
1607 * view it is safe to turn these checks off (and less
1608 * work), however, the CIPSO draft says we should do
1609 * all the CIPSO validations here but it doesn't
1610 * really specify _exactly_ what we need to validate
1611 * ... so, just make it a sysctl tunable. */
1612 if (cipso_v4_rbm_strictvalid) {
1613 if (cipso_v4_map_lvl_valid(doi_def,
1614 tag[3]) < 0) {
1615 err_offset = opt_iter + 3;
1616 goto validate_return_locked;
1617 }
Paul Moore15c45f72008-10-10 10:16:34 -04001618 if (tag_len > CIPSO_V4_TAG_RBM_BLEN &&
Paul Moore446fda42006-08-03 16:48:06 -07001619 cipso_v4_map_cat_rbm_valid(doi_def,
1620 &tag[4],
1621 tag_len - 4) < 0) {
1622 err_offset = opt_iter + 4;
1623 goto validate_return_locked;
1624 }
1625 }
1626 break;
Paul Moore654bbc22006-11-29 13:18:19 -05001627 case CIPSO_V4_TAG_ENUM:
Paul Moore15c45f72008-10-10 10:16:34 -04001628 if (tag_len < CIPSO_V4_TAG_ENUM_BLEN) {
Paul Moore654bbc22006-11-29 13:18:19 -05001629 err_offset = opt_iter + 1;
1630 goto validate_return_locked;
1631 }
1632
1633 if (cipso_v4_map_lvl_valid(doi_def,
1634 tag[3]) < 0) {
1635 err_offset = opt_iter + 3;
1636 goto validate_return_locked;
1637 }
Paul Moore15c45f72008-10-10 10:16:34 -04001638 if (tag_len > CIPSO_V4_TAG_ENUM_BLEN &&
Paul Moore654bbc22006-11-29 13:18:19 -05001639 cipso_v4_map_cat_enum_valid(doi_def,
1640 &tag[4],
1641 tag_len - 4) < 0) {
1642 err_offset = opt_iter + 4;
1643 goto validate_return_locked;
1644 }
1645 break;
Paul Moore484b3662006-11-29 13:18:20 -05001646 case CIPSO_V4_TAG_RANGE:
Paul Moore15c45f72008-10-10 10:16:34 -04001647 if (tag_len < CIPSO_V4_TAG_RNG_BLEN) {
Paul Moore484b3662006-11-29 13:18:20 -05001648 err_offset = opt_iter + 1;
1649 goto validate_return_locked;
1650 }
1651
1652 if (cipso_v4_map_lvl_valid(doi_def,
1653 tag[3]) < 0) {
1654 err_offset = opt_iter + 3;
1655 goto validate_return_locked;
1656 }
Paul Moore15c45f72008-10-10 10:16:34 -04001657 if (tag_len > CIPSO_V4_TAG_RNG_BLEN &&
Paul Moore484b3662006-11-29 13:18:20 -05001658 cipso_v4_map_cat_rng_valid(doi_def,
1659 &tag[4],
1660 tag_len - 4) < 0) {
1661 err_offset = opt_iter + 4;
1662 goto validate_return_locked;
1663 }
1664 break;
Paul Moore15c45f72008-10-10 10:16:34 -04001665 case CIPSO_V4_TAG_LOCAL:
1666 /* This is a non-standard tag that we only allow for
1667 * local connections, so if the incoming interface is
Paul Moore89d7ae32012-07-17 11:07:47 +00001668 * not the loopback device drop the packet. Further,
1669 * there is no legitimate reason for setting this from
1670 * userspace so reject it if skb is NULL. */
Ian Morris51456b22015-04-03 09:17:26 +01001671 if (!skb || !(skb->dev->flags & IFF_LOOPBACK)) {
Paul Moore15c45f72008-10-10 10:16:34 -04001672 err_offset = opt_iter;
1673 goto validate_return_locked;
1674 }
1675 if (tag_len != CIPSO_V4_TAG_LOC_BLEN) {
1676 err_offset = opt_iter + 1;
1677 goto validate_return_locked;
1678 }
1679 break;
Paul Moore446fda42006-08-03 16:48:06 -07001680 default:
1681 err_offset = opt_iter;
1682 goto validate_return_locked;
1683 }
1684
1685 tag += tag_len;
1686 opt_iter += tag_len;
1687 }
1688
1689validate_return_locked:
1690 rcu_read_unlock();
1691validate_return:
1692 *option = opt + err_offset;
1693 return err_offset;
1694}
1695
1696/**
Lucas De Marchi25985ed2011-03-30 22:57:33 -03001697 * cipso_v4_error - Send the correct response for a bad packet
Paul Moore446fda42006-08-03 16:48:06 -07001698 * @skb: the packet
1699 * @error: the error code
1700 * @gateway: CIPSO gateway flag
1701 *
1702 * Description:
1703 * Based on the error code given in @error, send an ICMP error message back to
1704 * the originating host. From the IETF draft ...
1705 *
1706 * "If the contents of the CIPSO [option] are valid but the security label is
1707 * outside of the configured host or port label range, the datagram is
1708 * discarded and an ICMP 'destination unreachable' (type 3) is generated and
1709 * returned. The code field of the ICMP is set to 'communication with
1710 * destination network administratively prohibited' (code 9) or to
1711 * 'communication with destination host administratively prohibited'
1712 * (code 10). The value of the code is dependent on whether the originator
1713 * of the ICMP message is acting as a CIPSO host or a CIPSO gateway. The
1714 * recipient of the ICMP message MUST be able to handle either value. The
1715 * same procedure is performed if a CIPSO [option] can not be added to an
1716 * IP packet because it is too large to fit in the IP options area."
1717 *
1718 * "If the error is triggered by receipt of an ICMP message, the message is
1719 * discarded and no response is permitted (consistent with general ICMP
1720 * processing rules)."
1721 *
1722 */
1723void cipso_v4_error(struct sk_buff *skb, int error, u32 gateway)
1724{
Nazarov Sergey3da1ed72019-02-25 19:27:15 +03001725 unsigned char optbuf[sizeof(struct ip_options) + 40];
1726 struct ip_options *opt = (struct ip_options *)optbuf;
1727
Arnaldo Carvalho de Meloeddc9ec2007-04-20 22:47:35 -07001728 if (ip_hdr(skb)->protocol == IPPROTO_ICMP || error != -EACCES)
Paul Moore446fda42006-08-03 16:48:06 -07001729 return;
1730
Nazarov Sergey3da1ed72019-02-25 19:27:15 +03001731 /*
1732 * We might be called above the IP layer,
1733 * so we can not use icmp_send and IPCB here.
1734 */
1735
1736 memset(opt, 0, sizeof(struct ip_options));
1737 opt->optlen = ip_hdr(skb)->ihl*4 - sizeof(struct iphdr);
1738 if (__ip_options_compile(dev_net(skb->dev), opt, skb, NULL))
1739 return;
1740
Paul Moore446fda42006-08-03 16:48:06 -07001741 if (gateway)
Nazarov Sergey3da1ed72019-02-25 19:27:15 +03001742 __icmp_send(skb, ICMP_DEST_UNREACH, ICMP_NET_ANO, 0, opt);
Paul Moore446fda42006-08-03 16:48:06 -07001743 else
Nazarov Sergey3da1ed72019-02-25 19:27:15 +03001744 __icmp_send(skb, ICMP_DEST_UNREACH, ICMP_HOST_ANO, 0, opt);
Paul Moore446fda42006-08-03 16:48:06 -07001745}
1746
1747/**
Paul Moore948bf852008-10-10 10:16:32 -04001748 * cipso_v4_genopt - Generate a CIPSO option
1749 * @buf: the option buffer
1750 * @buf_len: the size of opt_buf
Paul Moore446fda42006-08-03 16:48:06 -07001751 * @doi_def: the CIPSO DOI to use
Paul Moore948bf852008-10-10 10:16:32 -04001752 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -07001753 *
1754 * Description:
Paul Moore948bf852008-10-10 10:16:32 -04001755 * Generate a CIPSO option using the DOI definition and security attributes
1756 * passed to the function. Returns the length of the option on success and
1757 * negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -07001758 *
1759 */
Paul Moore948bf852008-10-10 10:16:32 -04001760static int cipso_v4_genopt(unsigned char *buf, u32 buf_len,
1761 const struct cipso_v4_doi *doi_def,
1762 const struct netlbl_lsm_secattr *secattr)
Paul Moore446fda42006-08-03 16:48:06 -07001763{
Paul Moore948bf852008-10-10 10:16:32 -04001764 int ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001765 u32 iter;
Paul Moore446fda42006-08-03 16:48:06 -07001766
Paul Moore948bf852008-10-10 10:16:32 -04001767 if (buf_len <= CIPSO_V4_HDR_LEN)
1768 return -ENOSPC;
Paul Moore91b1ed02006-11-17 17:38:49 -05001769
Paul Moore446fda42006-08-03 16:48:06 -07001770 /* XXX - This code assumes only one tag per CIPSO option which isn't
1771 * really a good assumption to make but since we only support the MAC
1772 * tags right now it is a safe assumption. */
1773 iter = 0;
1774 do {
Paul Moore91b1ed02006-11-17 17:38:49 -05001775 memset(buf, 0, buf_len);
Paul Moore446fda42006-08-03 16:48:06 -07001776 switch (doi_def->tags[iter]) {
1777 case CIPSO_V4_TAG_RBITMAP:
1778 ret_val = cipso_v4_gentag_rbm(doi_def,
Paul Moore91b1ed02006-11-17 17:38:49 -05001779 secattr,
1780 &buf[CIPSO_V4_HDR_LEN],
1781 buf_len - CIPSO_V4_HDR_LEN);
Paul Moore446fda42006-08-03 16:48:06 -07001782 break;
Paul Moore654bbc22006-11-29 13:18:19 -05001783 case CIPSO_V4_TAG_ENUM:
1784 ret_val = cipso_v4_gentag_enum(doi_def,
1785 secattr,
1786 &buf[CIPSO_V4_HDR_LEN],
1787 buf_len - CIPSO_V4_HDR_LEN);
1788 break;
Paul Moore484b3662006-11-29 13:18:20 -05001789 case CIPSO_V4_TAG_RANGE:
1790 ret_val = cipso_v4_gentag_rng(doi_def,
1791 secattr,
1792 &buf[CIPSO_V4_HDR_LEN],
1793 buf_len - CIPSO_V4_HDR_LEN);
1794 break;
Paul Moore15c45f72008-10-10 10:16:34 -04001795 case CIPSO_V4_TAG_LOCAL:
1796 ret_val = cipso_v4_gentag_loc(doi_def,
1797 secattr,
1798 &buf[CIPSO_V4_HDR_LEN],
1799 buf_len - CIPSO_V4_HDR_LEN);
1800 break;
Paul Moore446fda42006-08-03 16:48:06 -07001801 default:
Paul Moore948bf852008-10-10 10:16:32 -04001802 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -07001803 }
1804
1805 iter++;
Paul Moore91b1ed02006-11-17 17:38:49 -05001806 } while (ret_val < 0 &&
Paul Moore446fda42006-08-03 16:48:06 -07001807 iter < CIPSO_V4_TAG_MAXCNT &&
1808 doi_def->tags[iter] != CIPSO_V4_TAG_INVALID);
Paul Moore91b1ed02006-11-17 17:38:49 -05001809 if (ret_val < 0)
Paul Moore948bf852008-10-10 10:16:32 -04001810 return ret_val;
Paul Moore91b1ed02006-11-17 17:38:49 -05001811 cipso_v4_gentag_hdr(doi_def, buf, ret_val);
Paul Moore948bf852008-10-10 10:16:32 -04001812 return CIPSO_V4_HDR_LEN + ret_val;
1813}
1814
1815/**
1816 * cipso_v4_sock_setattr - Add a CIPSO option to a socket
1817 * @sk: the socket
1818 * @doi_def: the CIPSO DOI to use
1819 * @secattr: the specific security attributes of the socket
1820 *
1821 * Description:
1822 * Set the CIPSO option on the given socket using the DOI definition and
1823 * security attributes passed to the function. This function requires
1824 * exclusive access to @sk, which means it either needs to be in the
1825 * process of being created or locked. Returns zero on success and negative
1826 * values on failure.
1827 *
1828 */
1829int cipso_v4_sock_setattr(struct sock *sk,
1830 const struct cipso_v4_doi *doi_def,
1831 const struct netlbl_lsm_secattr *secattr)
1832{
1833 int ret_val = -EPERM;
1834 unsigned char *buf = NULL;
1835 u32 buf_len;
1836 u32 opt_len;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001837 struct ip_options_rcu *old, *opt = NULL;
Paul Moore948bf852008-10-10 10:16:32 -04001838 struct inet_sock *sk_inet;
1839 struct inet_connection_sock *sk_conn;
1840
1841 /* In the case of sock_create_lite(), the sock->sk field is not
1842 * defined yet but it is not a problem as the only users of these
1843 * "lite" PF_INET sockets are functions which do an accept() call
1844 * afterwards so we will label the socket as part of the accept(). */
Ian Morris51456b22015-04-03 09:17:26 +01001845 if (!sk)
Paul Moore948bf852008-10-10 10:16:32 -04001846 return 0;
1847
1848 /* We allocate the maximum CIPSO option size here so we are probably
1849 * being a little wasteful, but it makes our life _much_ easier later
1850 * on and after all we are only talking about 40 bytes. */
1851 buf_len = CIPSO_V4_OPT_LEN_MAX;
1852 buf = kmalloc(buf_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01001853 if (!buf) {
Paul Moore948bf852008-10-10 10:16:32 -04001854 ret_val = -ENOMEM;
1855 goto socket_setattr_failure;
1856 }
1857
1858 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
1859 if (ret_val < 0)
1860 goto socket_setattr_failure;
1861 buf_len = ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001862
1863 /* We can't use ip_options_get() directly because it makes a call to
1864 * ip_options_get_alloc() which allocates memory with GFP_KERNEL and
Paul Mooref8687af2006-10-30 15:22:15 -08001865 * we won't always have CAP_NET_RAW even though we _always_ want to
1866 * set the IPOPT_CIPSO option. */
Paul Moore446fda42006-08-03 16:48:06 -07001867 opt_len = (buf_len + 3) & ~3;
1868 opt = kzalloc(sizeof(*opt) + opt_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01001869 if (!opt) {
Paul Moore446fda42006-08-03 16:48:06 -07001870 ret_val = -ENOMEM;
1871 goto socket_setattr_failure;
1872 }
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001873 memcpy(opt->opt.__data, buf, buf_len);
1874 opt->opt.optlen = opt_len;
1875 opt->opt.cipso = sizeof(struct iphdr);
Paul Moore446fda42006-08-03 16:48:06 -07001876 kfree(buf);
1877 buf = NULL;
Paul Moore446fda42006-08-03 16:48:06 -07001878
1879 sk_inet = inet_sk(sk);
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001880
Hannes Frederic Sowa1e1d04e2016-04-05 17:10:15 +02001881 old = rcu_dereference_protected(sk_inet->inet_opt,
1882 lockdep_sock_is_held(sk));
Paul Moore446fda42006-08-03 16:48:06 -07001883 if (sk_inet->is_icsk) {
1884 sk_conn = inet_csk(sk);
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001885 if (old)
1886 sk_conn->icsk_ext_hdr_len -= old->opt.optlen;
1887 sk_conn->icsk_ext_hdr_len += opt->opt.optlen;
Paul Moore446fda42006-08-03 16:48:06 -07001888 sk_conn->icsk_sync_mss(sk, sk_conn->icsk_pmtu_cookie);
1889 }
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001890 rcu_assign_pointer(sk_inet->inet_opt, opt);
1891 if (old)
Paul E. McKenney4f9c8c12012-01-06 17:06:11 -08001892 kfree_rcu(old, rcu);
Paul Moore446fda42006-08-03 16:48:06 -07001893
1894 return 0;
1895
1896socket_setattr_failure:
1897 kfree(buf);
1898 kfree(opt);
1899 return ret_val;
1900}
1901
1902/**
Paul Moore389fb8002009-03-27 17:10:34 -04001903 * cipso_v4_req_setattr - Add a CIPSO option to a connection request socket
1904 * @req: the connection request socket
1905 * @doi_def: the CIPSO DOI to use
1906 * @secattr: the specific security attributes of the socket
Paul Moore014ab192008-10-10 10:16:33 -04001907 *
1908 * Description:
Paul Moore389fb8002009-03-27 17:10:34 -04001909 * Set the CIPSO option on the given socket using the DOI definition and
1910 * security attributes passed to the function. Returns zero on success and
1911 * negative values on failure.
Paul Moore014ab192008-10-10 10:16:33 -04001912 *
1913 */
Paul Moore389fb8002009-03-27 17:10:34 -04001914int cipso_v4_req_setattr(struct request_sock *req,
1915 const struct cipso_v4_doi *doi_def,
1916 const struct netlbl_lsm_secattr *secattr)
Paul Moore014ab192008-10-10 10:16:33 -04001917{
Paul Moore389fb8002009-03-27 17:10:34 -04001918 int ret_val = -EPERM;
1919 unsigned char *buf = NULL;
1920 u32 buf_len;
1921 u32 opt_len;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001922 struct ip_options_rcu *opt = NULL;
Paul Moore389fb8002009-03-27 17:10:34 -04001923 struct inet_request_sock *req_inet;
Paul Moore014ab192008-10-10 10:16:33 -04001924
Paul Moore389fb8002009-03-27 17:10:34 -04001925 /* We allocate the maximum CIPSO option size here so we are probably
1926 * being a little wasteful, but it makes our life _much_ easier later
1927 * on and after all we are only talking about 40 bytes. */
1928 buf_len = CIPSO_V4_OPT_LEN_MAX;
1929 buf = kmalloc(buf_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01001930 if (!buf) {
Paul Moore389fb8002009-03-27 17:10:34 -04001931 ret_val = -ENOMEM;
1932 goto req_setattr_failure;
1933 }
1934
1935 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
1936 if (ret_val < 0)
1937 goto req_setattr_failure;
1938 buf_len = ret_val;
1939
1940 /* We can't use ip_options_get() directly because it makes a call to
1941 * ip_options_get_alloc() which allocates memory with GFP_KERNEL and
1942 * we won't always have CAP_NET_RAW even though we _always_ want to
1943 * set the IPOPT_CIPSO option. */
1944 opt_len = (buf_len + 3) & ~3;
1945 opt = kzalloc(sizeof(*opt) + opt_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01001946 if (!opt) {
Paul Moore389fb8002009-03-27 17:10:34 -04001947 ret_val = -ENOMEM;
1948 goto req_setattr_failure;
1949 }
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001950 memcpy(opt->opt.__data, buf, buf_len);
1951 opt->opt.optlen = opt_len;
1952 opt->opt.cipso = sizeof(struct iphdr);
Paul Moore389fb8002009-03-27 17:10:34 -04001953 kfree(buf);
1954 buf = NULL;
1955
1956 req_inet = inet_rsk(req);
Eric Dumazetc92e8c02017-10-20 09:04:13 -07001957 opt = xchg((__force struct ip_options_rcu **)&req_inet->ireq_opt, opt);
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001958 if (opt)
Paul E. McKenney4f9c8c12012-01-06 17:06:11 -08001959 kfree_rcu(opt, rcu);
Paul Moore389fb8002009-03-27 17:10:34 -04001960
1961 return 0;
1962
1963req_setattr_failure:
1964 kfree(buf);
1965 kfree(opt);
1966 return ret_val;
1967}
1968
1969/**
1970 * cipso_v4_delopt - Delete the CIPSO option from a set of IP options
1971 * @opt_ptr: IP option pointer
1972 *
1973 * Description:
1974 * Deletes the CIPSO IP option from a set of IP options and makes the necessary
1975 * adjustments to the IP option structure. Returns zero on success, negative
1976 * values on failure.
1977 *
1978 */
Eric Dumazetc92e8c02017-10-20 09:04:13 -07001979static int cipso_v4_delopt(struct ip_options_rcu __rcu **opt_ptr)
Paul Moore389fb8002009-03-27 17:10:34 -04001980{
Eric Dumazetc92e8c02017-10-20 09:04:13 -07001981 struct ip_options_rcu *opt = rcu_dereference_protected(*opt_ptr, 1);
Paul Moore389fb8002009-03-27 17:10:34 -04001982 int hdr_delta = 0;
Paul Moore014ab192008-10-10 10:16:33 -04001983
Eric Dumazetc92e8c02017-10-20 09:04:13 -07001984 if (!opt || opt->opt.cipso == 0)
1985 return 0;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001986 if (opt->opt.srr || opt->opt.rr || opt->opt.ts || opt->opt.router_alert) {
Paul Moore014ab192008-10-10 10:16:33 -04001987 u8 cipso_len;
1988 u8 cipso_off;
1989 unsigned char *cipso_ptr;
1990 int iter;
1991 int optlen_new;
1992
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001993 cipso_off = opt->opt.cipso - sizeof(struct iphdr);
1994 cipso_ptr = &opt->opt.__data[cipso_off];
Paul Moore014ab192008-10-10 10:16:33 -04001995 cipso_len = cipso_ptr[1];
1996
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001997 if (opt->opt.srr > opt->opt.cipso)
1998 opt->opt.srr -= cipso_len;
1999 if (opt->opt.rr > opt->opt.cipso)
2000 opt->opt.rr -= cipso_len;
2001 if (opt->opt.ts > opt->opt.cipso)
2002 opt->opt.ts -= cipso_len;
2003 if (opt->opt.router_alert > opt->opt.cipso)
2004 opt->opt.router_alert -= cipso_len;
2005 opt->opt.cipso = 0;
Paul Moore014ab192008-10-10 10:16:33 -04002006
2007 memmove(cipso_ptr, cipso_ptr + cipso_len,
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002008 opt->opt.optlen - cipso_off - cipso_len);
Paul Moore014ab192008-10-10 10:16:33 -04002009
2010 /* determining the new total option length is tricky because of
2011 * the padding necessary, the only thing i can think to do at
2012 * this point is walk the options one-by-one, skipping the
2013 * padding at the end to determine the actual option size and
2014 * from there we can determine the new total option length */
2015 iter = 0;
2016 optlen_new = 0;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002017 while (iter < opt->opt.optlen)
2018 if (opt->opt.__data[iter] != IPOPT_NOP) {
2019 iter += opt->opt.__data[iter + 1];
Paul Moore014ab192008-10-10 10:16:33 -04002020 optlen_new = iter;
2021 } else
2022 iter++;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002023 hdr_delta = opt->opt.optlen;
2024 opt->opt.optlen = (optlen_new + 3) & ~3;
2025 hdr_delta -= opt->opt.optlen;
Paul Moore014ab192008-10-10 10:16:33 -04002026 } else {
2027 /* only the cipso option was present on the socket so we can
2028 * remove the entire option struct */
Paul Moore389fb8002009-03-27 17:10:34 -04002029 *opt_ptr = NULL;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002030 hdr_delta = opt->opt.optlen;
Paul E. McKenney4f9c8c12012-01-06 17:06:11 -08002031 kfree_rcu(opt, rcu);
Paul Moore014ab192008-10-10 10:16:33 -04002032 }
2033
Paul Moore389fb8002009-03-27 17:10:34 -04002034 return hdr_delta;
2035}
2036
2037/**
2038 * cipso_v4_sock_delattr - Delete the CIPSO option from a socket
2039 * @sk: the socket
2040 *
2041 * Description:
2042 * Removes the CIPSO option from a socket, if present.
2043 *
2044 */
2045void cipso_v4_sock_delattr(struct sock *sk)
2046{
Paul Moore389fb8002009-03-27 17:10:34 -04002047 struct inet_sock *sk_inet;
Eric Dumazetc92e8c02017-10-20 09:04:13 -07002048 int hdr_delta;
Paul Moore389fb8002009-03-27 17:10:34 -04002049
2050 sk_inet = inet_sk(sk);
Paul Moore389fb8002009-03-27 17:10:34 -04002051
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002052 hdr_delta = cipso_v4_delopt(&sk_inet->inet_opt);
Paul Moore014ab192008-10-10 10:16:33 -04002053 if (sk_inet->is_icsk && hdr_delta > 0) {
2054 struct inet_connection_sock *sk_conn = inet_csk(sk);
2055 sk_conn->icsk_ext_hdr_len -= hdr_delta;
2056 sk_conn->icsk_sync_mss(sk, sk_conn->icsk_pmtu_cookie);
2057 }
2058}
2059
2060/**
Paul Moore389fb8002009-03-27 17:10:34 -04002061 * cipso_v4_req_delattr - Delete the CIPSO option from a request socket
2062 * @reg: the request socket
2063 *
2064 * Description:
2065 * Removes the CIPSO option from a request socket, if present.
2066 *
2067 */
2068void cipso_v4_req_delattr(struct request_sock *req)
2069{
Eric Dumazetc92e8c02017-10-20 09:04:13 -07002070 cipso_v4_delopt(&inet_rsk(req)->ireq_opt);
Paul Moore389fb8002009-03-27 17:10:34 -04002071}
2072
2073/**
Paul Moore63d804ea2007-09-15 21:45:13 -07002074 * cipso_v4_getattr - Helper function for the cipso_v4_*_getattr functions
2075 * @cipso: the CIPSO v4 option
2076 * @secattr: the security attributes
2077 *
2078 * Description:
2079 * Inspect @cipso and return the security attributes in @secattr. Returns zero
2080 * on success and negative values on failure.
2081 *
2082 */
Paul Moore04f81f02015-02-11 14:46:37 -05002083int cipso_v4_getattr(const unsigned char *cipso,
2084 struct netlbl_lsm_secattr *secattr)
Paul Moore63d804ea2007-09-15 21:45:13 -07002085{
2086 int ret_val = -ENOMSG;
2087 u32 doi;
2088 struct cipso_v4_doi *doi_def;
2089
2090 if (cipso_v4_cache_check(cipso, cipso[1], secattr) == 0)
2091 return 0;
2092
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07002093 doi = get_unaligned_be32(&cipso[2]);
Paul Moore63d804ea2007-09-15 21:45:13 -07002094 rcu_read_lock();
2095 doi_def = cipso_v4_doi_search(doi);
Ian Morris51456b22015-04-03 09:17:26 +01002096 if (!doi_def)
Paul Moore63d804ea2007-09-15 21:45:13 -07002097 goto getattr_return;
2098 /* XXX - This code assumes only one tag per CIPSO option which isn't
2099 * really a good assumption to make but since we only support the MAC
2100 * tags right now it is a safe assumption. */
2101 switch (cipso[6]) {
2102 case CIPSO_V4_TAG_RBITMAP:
2103 ret_val = cipso_v4_parsetag_rbm(doi_def, &cipso[6], secattr);
2104 break;
2105 case CIPSO_V4_TAG_ENUM:
2106 ret_val = cipso_v4_parsetag_enum(doi_def, &cipso[6], secattr);
2107 break;
2108 case CIPSO_V4_TAG_RANGE:
2109 ret_val = cipso_v4_parsetag_rng(doi_def, &cipso[6], secattr);
2110 break;
Paul Moore15c45f72008-10-10 10:16:34 -04002111 case CIPSO_V4_TAG_LOCAL:
2112 ret_val = cipso_v4_parsetag_loc(doi_def, &cipso[6], secattr);
2113 break;
Paul Moore63d804ea2007-09-15 21:45:13 -07002114 }
Paul Moore16efd452008-01-29 08:37:59 -05002115 if (ret_val == 0)
2116 secattr->type = NETLBL_NLTYPE_CIPSOV4;
Paul Moore63d804ea2007-09-15 21:45:13 -07002117
2118getattr_return:
2119 rcu_read_unlock();
2120 return ret_val;
2121}
2122
2123/**
Paul Moore14a72f52006-09-25 15:52:01 -07002124 * cipso_v4_sock_getattr - Get the security attributes from a sock
2125 * @sk: the sock
2126 * @secattr: the security attributes
2127 *
2128 * Description:
2129 * Query @sk to see if there is a CIPSO option attached to the sock and if
2130 * there is return the CIPSO security attributes in @secattr. This function
2131 * requires that @sk be locked, or privately held, but it does not do any
2132 * locking itself. Returns zero on success and negative values on failure.
2133 *
2134 */
2135int cipso_v4_sock_getattr(struct sock *sk, struct netlbl_lsm_secattr *secattr)
2136{
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002137 struct ip_options_rcu *opt;
2138 int res = -ENOMSG;
Paul Moore14a72f52006-09-25 15:52:01 -07002139
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002140 rcu_read_lock();
2141 opt = rcu_dereference(inet_sk(sk)->inet_opt);
2142 if (opt && opt->opt.cipso)
2143 res = cipso_v4_getattr(opt->opt.__data +
2144 opt->opt.cipso -
2145 sizeof(struct iphdr),
2146 secattr);
2147 rcu_read_unlock();
2148 return res;
Paul Moore14a72f52006-09-25 15:52:01 -07002149}
2150
2151/**
Paul Moore948bf852008-10-10 10:16:32 -04002152 * cipso_v4_skbuff_setattr - Set the CIPSO option on a packet
2153 * @skb: the packet
2154 * @secattr: the security attributes
2155 *
2156 * Description:
2157 * Set the CIPSO option on the given packet based on the security attributes.
2158 * Returns a pointer to the IP header on success and NULL on failure.
2159 *
2160 */
2161int cipso_v4_skbuff_setattr(struct sk_buff *skb,
2162 const struct cipso_v4_doi *doi_def,
2163 const struct netlbl_lsm_secattr *secattr)
2164{
2165 int ret_val;
2166 struct iphdr *iph;
2167 struct ip_options *opt = &IPCB(skb)->opt;
2168 unsigned char buf[CIPSO_V4_OPT_LEN_MAX];
2169 u32 buf_len = CIPSO_V4_OPT_LEN_MAX;
2170 u32 opt_len;
2171 int len_delta;
2172
roel kluin00af5c62008-10-29 15:55:53 -04002173 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
2174 if (ret_val < 0)
2175 return ret_val;
2176 buf_len = ret_val;
Paul Moore948bf852008-10-10 10:16:32 -04002177 opt_len = (buf_len + 3) & ~3;
2178
2179 /* we overwrite any existing options to ensure that we have enough
2180 * room for the CIPSO option, the reason is that we _need_ to guarantee
2181 * that the security label is applied to the packet - we do the same
2182 * thing when using the socket options and it hasn't caused a problem,
2183 * if we need to we can always revisit this choice later */
2184
2185 len_delta = opt_len - opt->optlen;
2186 /* if we don't ensure enough headroom we could panic on the skb_push()
2187 * call below so make sure we have enough, we are also "mangling" the
2188 * packet so we should probably do a copy-on-write call anyway */
2189 ret_val = skb_cow(skb, skb_headroom(skb) + len_delta);
2190 if (ret_val < 0)
2191 return ret_val;
2192
2193 if (len_delta > 0) {
2194 /* we assume that the header + opt->optlen have already been
2195 * "pushed" in ip_options_build() or similar */
2196 iph = ip_hdr(skb);
2197 skb_push(skb, len_delta);
2198 memmove((char *)iph - len_delta, iph, iph->ihl << 2);
2199 skb_reset_network_header(skb);
2200 iph = ip_hdr(skb);
2201 } else if (len_delta < 0) {
2202 iph = ip_hdr(skb);
2203 memset(iph + 1, IPOPT_NOP, opt->optlen);
2204 } else
2205 iph = ip_hdr(skb);
2206
2207 if (opt->optlen > 0)
2208 memset(opt, 0, sizeof(*opt));
2209 opt->optlen = opt_len;
2210 opt->cipso = sizeof(struct iphdr);
2211 opt->is_changed = 1;
2212
2213 /* we have to do the following because we are being called from a
2214 * netfilter hook which means the packet already has had the header
2215 * fields populated and the checksum calculated - yes this means we
2216 * are doing more work than needed but we do it to keep the core
2217 * stack clean and tidy */
2218 memcpy(iph + 1, buf, buf_len);
2219 if (opt_len > buf_len)
2220 memset((char *)(iph + 1) + buf_len, 0, opt_len - buf_len);
2221 if (len_delta != 0) {
2222 iph->ihl = 5 + (opt_len >> 2);
2223 iph->tot_len = htons(skb->len);
2224 }
2225 ip_send_check(iph);
2226
2227 return 0;
2228}
2229
2230/**
2231 * cipso_v4_skbuff_delattr - Delete any CIPSO options from a packet
2232 * @skb: the packet
2233 *
2234 * Description:
2235 * Removes any and all CIPSO options from the given packet. Returns zero on
2236 * success, negative values on failure.
2237 *
2238 */
2239int cipso_v4_skbuff_delattr(struct sk_buff *skb)
2240{
2241 int ret_val;
2242 struct iphdr *iph;
2243 struct ip_options *opt = &IPCB(skb)->opt;
2244 unsigned char *cipso_ptr;
2245
2246 if (opt->cipso == 0)
2247 return 0;
2248
2249 /* since we are changing the packet we should make a copy */
2250 ret_val = skb_cow(skb, skb_headroom(skb));
2251 if (ret_val < 0)
2252 return ret_val;
2253
2254 /* the easiest thing to do is just replace the cipso option with noop
2255 * options since we don't change the size of the packet, although we
2256 * still need to recalculate the checksum */
2257
2258 iph = ip_hdr(skb);
2259 cipso_ptr = (unsigned char *)iph + opt->cipso;
2260 memset(cipso_ptr, IPOPT_NOOP, cipso_ptr[1]);
2261 opt->cipso = 0;
2262 opt->is_changed = 1;
2263
2264 ip_send_check(iph);
2265
2266 return 0;
2267}
2268
Paul Moore446fda42006-08-03 16:48:06 -07002269/*
2270 * Setup Functions
2271 */
2272
2273/**
2274 * cipso_v4_init - Initialize the CIPSO module
2275 *
2276 * Description:
2277 * Initialize the CIPSO module and prepare it for use. Returns zero on success
2278 * and negative values on failure.
2279 *
2280 */
2281static int __init cipso_v4_init(void)
2282{
2283 int ret_val;
2284
2285 ret_val = cipso_v4_cache_init();
2286 if (ret_val != 0)
2287 panic("Failed to initialize the CIPSO/IPv4 cache (%d)\n",
2288 ret_val);
2289
2290 return 0;
2291}
2292
2293subsys_initcall(cipso_v4_init);