blob: 40d6b87713a132666298cc8e8d875da6a6a1a387 [file] [log] [blame]
Paul Moore446fda42006-08-03 16:48:06 -07001/*
2 * CIPSO - Commercial IP Security Option
3 *
4 * This is an implementation of the CIPSO 2.2 protocol as specified in
5 * draft-ietf-cipso-ipsecurity-01.txt with additional tag types as found in
Paul Moore586c2502009-02-20 16:32:55 -05006 * FIPS-188. While CIPSO never became a full IETF RFC standard many vendors
Paul Moore446fda42006-08-03 16:48:06 -07007 * have chosen to adopt the protocol and over the years it has become a
8 * de-facto standard for labeled networking.
9 *
Paul Moore586c2502009-02-20 16:32:55 -050010 * The CIPSO draft specification can be found in the kernel's Documentation
11 * directory as well as the following URL:
Justin P. Mattock631dd1a2010-10-18 11:03:14 +020012 * http://tools.ietf.org/id/draft-ietf-cipso-ipsecurity-01.txt
Paul Moore586c2502009-02-20 16:32:55 -050013 * The FIPS-188 specification can be found at the following URL:
14 * http://www.itl.nist.gov/fipspubs/fip188.htm
15 *
Paul Moore446fda42006-08-03 16:48:06 -070016 * Author: Paul Moore <paul.moore@hp.com>
17 *
18 */
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 * This program is free software; you can redistribute it and/or modify
24 * it under the terms of the GNU General Public License as published by
25 * the Free Software Foundation; either version 2 of the License, or
26 * (at your option) any later version.
27 *
28 * This program is distributed in the hope that it will be useful,
29 * but WITHOUT ANY WARRANTY; without even the implied warranty of
30 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See
31 * the GNU General Public License for more details.
32 *
33 * You should have received a copy of the GNU General Public License
Jeff Kirshera99421d2013-12-06 09:13:39 -080034 * along with this program; if not, see <http://www.gnu.org/licenses/>.
Paul Moore446fda42006-08-03 16:48:06 -070035 *
36 */
37
38#include <linux/init.h>
39#include <linux/types.h>
40#include <linux/rcupdate.h>
41#include <linux/list.h>
42#include <linux/spinlock.h>
43#include <linux/string.h>
44#include <linux/jhash.h>
Paul Moore6c2e8ac2008-12-31 12:54:11 -050045#include <linux/audit.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090046#include <linux/slab.h>
Paul Moore446fda42006-08-03 16:48:06 -070047#include <net/ip.h>
48#include <net/icmp.h>
49#include <net/tcp.h>
50#include <net/netlabel.h>
51#include <net/cipso_ipv4.h>
Arun Sharma600634972011-07-26 16:09:06 -070052#include <linux/atomic.h>
Fabian Frederick4c787b12014-11-04 20:13:50 +010053#include <linux/bug.h>
Paul Moore50e5d352007-06-07 18:38:14 -070054#include <asm/unaligned.h>
Paul Moore446fda42006-08-03 16:48:06 -070055
Paul Moore446fda42006-08-03 16:48:06 -070056/* List of available DOI definitions */
Paul Moore446fda42006-08-03 16:48:06 -070057/* XXX - This currently assumes a minimal number of different DOIs in use,
58 * if in practice there are a lot of different DOIs this list should
59 * probably be turned into a hash table or something similar so we
60 * can do quick lookups. */
Adrian Bunk8ce11e62006-08-07 21:50:48 -070061static DEFINE_SPINLOCK(cipso_v4_doi_list_lock);
Denis Cheng1596c972007-12-07 00:49:47 -080062static LIST_HEAD(cipso_v4_doi_list);
Paul Moore446fda42006-08-03 16:48:06 -070063
64/* Label mapping cache */
65int cipso_v4_cache_enabled = 1;
66int cipso_v4_cache_bucketsize = 10;
67#define CIPSO_V4_CACHE_BUCKETBITS 7
68#define CIPSO_V4_CACHE_BUCKETS (1 << CIPSO_V4_CACHE_BUCKETBITS)
69#define CIPSO_V4_CACHE_REORDERLIMIT 10
70struct cipso_v4_map_cache_bkt {
71 spinlock_t lock;
72 u32 size;
73 struct list_head list;
74};
Fabian Frederick988b1342014-11-04 20:19:19 +010075
Paul Moore446fda42006-08-03 16:48:06 -070076struct cipso_v4_map_cache_entry {
77 u32 hash;
78 unsigned char *key;
79 size_t key_len;
80
paul.moore@hp.comffb733c2006-10-04 11:46:31 -040081 struct netlbl_lsm_cache *lsm_data;
Paul Moore446fda42006-08-03 16:48:06 -070082
83 u32 activity;
84 struct list_head list;
85};
Fabian Frederick988b1342014-11-04 20:19:19 +010086
87static struct cipso_v4_map_cache_bkt *cipso_v4_cache;
Paul Moore446fda42006-08-03 16:48:06 -070088
89/* Restricted bitmap (tag #1) flags */
90int cipso_v4_rbm_optfmt = 0;
91int cipso_v4_rbm_strictvalid = 1;
92
93/*
Paul Mooref998e8c2007-02-28 15:14:20 -050094 * Protocol Constants
95 */
96
97/* Maximum size of the CIPSO IP option, derived from the fact that the maximum
98 * IPv4 header size is 60 bytes and the base IPv4 header is 20 bytes long. */
99#define CIPSO_V4_OPT_LEN_MAX 40
100
101/* Length of the base CIPSO option, this includes the option type (1 byte), the
102 * option length (1 byte), and the DOI (4 bytes). */
103#define CIPSO_V4_HDR_LEN 6
104
105/* Base length of the restrictive category bitmap tag (tag #1). */
106#define CIPSO_V4_TAG_RBM_BLEN 4
107
108/* Base length of the enumerated category tag (tag #2). */
109#define CIPSO_V4_TAG_ENUM_BLEN 4
110
111/* Base length of the ranged categories bitmap tag (tag #5). */
112#define CIPSO_V4_TAG_RNG_BLEN 4
113/* The maximum number of category ranges permitted in the ranged category tag
114 * (tag #5). You may note that the IETF draft states that the maximum number
115 * of category ranges is 7, but if the low end of the last category range is
Lucas De Marchi25985ed2011-03-30 22:57:33 -0300116 * zero then it is possible to fit 8 category ranges because the zero should
Paul Mooref998e8c2007-02-28 15:14:20 -0500117 * be omitted. */
118#define CIPSO_V4_TAG_RNG_CAT_MAX 8
119
Paul Moore15c45f72008-10-10 10:16:34 -0400120/* Base length of the local tag (non-standard tag).
121 * Tag definition (may change between kernel versions)
122 *
123 * 0 8 16 24 32
124 * +----------+----------+----------+----------+
125 * | 10000000 | 00000110 | 32-bit secid value |
126 * +----------+----------+----------+----------+
127 * | in (host byte order)|
128 * +----------+----------+
129 *
130 */
131#define CIPSO_V4_TAG_LOC_BLEN 6
132
Paul Mooref998e8c2007-02-28 15:14:20 -0500133/*
Paul Moore446fda42006-08-03 16:48:06 -0700134 * Helper Functions
135 */
136
137/**
138 * cipso_v4_bitmap_walk - Walk a bitmap looking for a bit
139 * @bitmap: the bitmap
140 * @bitmap_len: length in bits
141 * @offset: starting offset
142 * @state: if non-zero, look for a set (1) bit else look for a cleared (0) bit
143 *
144 * Description:
145 * Starting at @offset, walk the bitmap from left to right until either the
146 * desired bit is found or we reach the end. Return the bit offset, -1 if
147 * not found, or -2 if error.
148 */
149static int cipso_v4_bitmap_walk(const unsigned char *bitmap,
150 u32 bitmap_len,
151 u32 offset,
152 u8 state)
153{
154 u32 bit_spot;
155 u32 byte_offset;
156 unsigned char bitmask;
157 unsigned char byte;
158
159 /* gcc always rounds to zero when doing integer division */
160 byte_offset = offset / 8;
161 byte = bitmap[byte_offset];
162 bit_spot = offset;
163 bitmask = 0x80 >> (offset % 8);
164
165 while (bit_spot < bitmap_len) {
166 if ((state && (byte & bitmask) == bitmask) ||
167 (state == 0 && (byte & bitmask) == 0))
168 return bit_spot;
169
170 bit_spot++;
171 bitmask >>= 1;
172 if (bitmask == 0) {
173 byte = bitmap[++byte_offset];
174 bitmask = 0x80;
175 }
176 }
177
178 return -1;
179}
180
181/**
182 * cipso_v4_bitmap_setbit - Sets a single bit in a bitmap
183 * @bitmap: the bitmap
184 * @bit: the bit
185 * @state: if non-zero, set the bit (1) else clear the bit (0)
186 *
187 * Description:
188 * Set a single bit in the bitmask. Returns zero on success, negative values
189 * on error.
190 */
191static void cipso_v4_bitmap_setbit(unsigned char *bitmap,
192 u32 bit,
193 u8 state)
194{
195 u32 byte_spot;
196 u8 bitmask;
197
198 /* gcc always rounds to zero when doing integer division */
199 byte_spot = bit / 8;
200 bitmask = 0x80 >> (bit % 8);
201 if (state)
202 bitmap[byte_spot] |= bitmask;
203 else
204 bitmap[byte_spot] &= ~bitmask;
205}
206
207/**
Paul Moore446fda42006-08-03 16:48:06 -0700208 * cipso_v4_cache_entry_free - Frees a cache entry
209 * @entry: the entry to free
210 *
211 * Description:
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400212 * This function frees the memory associated with a cache entry including the
213 * LSM cache data if there are no longer any users, i.e. reference count == 0.
Paul Moore446fda42006-08-03 16:48:06 -0700214 *
215 */
216static void cipso_v4_cache_entry_free(struct cipso_v4_map_cache_entry *entry)
217{
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400218 if (entry->lsm_data)
219 netlbl_secattr_cache_free(entry->lsm_data);
Paul Moore446fda42006-08-03 16:48:06 -0700220 kfree(entry->key);
221 kfree(entry);
222}
223
224/**
225 * cipso_v4_map_cache_hash - Hashing function for the CIPSO cache
226 * @key: the hash key
227 * @key_len: the length of the key in bytes
228 *
229 * Description:
230 * The CIPSO tag hashing function. Returns a 32-bit hash value.
231 *
232 */
233static u32 cipso_v4_map_cache_hash(const unsigned char *key, u32 key_len)
234{
235 return jhash(key, key_len, 0);
236}
237
238/*
239 * Label Mapping Cache Functions
240 */
241
242/**
243 * cipso_v4_cache_init - Initialize the CIPSO cache
244 *
245 * Description:
246 * Initializes the CIPSO label mapping cache, this function should be called
247 * before any of the other functions defined in this file. Returns zero on
248 * success, negative values on error.
249 *
250 */
Fabian Frederickcb576592014-10-01 19:30:03 +0200251static int __init cipso_v4_cache_init(void)
Paul Moore446fda42006-08-03 16:48:06 -0700252{
253 u32 iter;
254
255 cipso_v4_cache = kcalloc(CIPSO_V4_CACHE_BUCKETS,
256 sizeof(struct cipso_v4_map_cache_bkt),
257 GFP_KERNEL);
Ian Morris51456b22015-04-03 09:17:26 +0100258 if (!cipso_v4_cache)
Paul Moore446fda42006-08-03 16:48:06 -0700259 return -ENOMEM;
260
261 for (iter = 0; iter < CIPSO_V4_CACHE_BUCKETS; iter++) {
262 spin_lock_init(&cipso_v4_cache[iter].lock);
263 cipso_v4_cache[iter].size = 0;
264 INIT_LIST_HEAD(&cipso_v4_cache[iter].list);
265 }
266
267 return 0;
268}
269
270/**
271 * cipso_v4_cache_invalidate - Invalidates the current CIPSO cache
272 *
273 * Description:
274 * Invalidates and frees any entries in the CIPSO cache. Returns zero on
275 * success and negative values on failure.
276 *
277 */
278void cipso_v4_cache_invalidate(void)
279{
280 struct cipso_v4_map_cache_entry *entry, *tmp_entry;
281 u32 iter;
282
283 for (iter = 0; iter < CIPSO_V4_CACHE_BUCKETS; iter++) {
Paul Moore609c92f2006-09-25 15:52:37 -0700284 spin_lock_bh(&cipso_v4_cache[iter].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700285 list_for_each_entry_safe(entry,
286 tmp_entry,
287 &cipso_v4_cache[iter].list, list) {
288 list_del(&entry->list);
289 cipso_v4_cache_entry_free(entry);
290 }
291 cipso_v4_cache[iter].size = 0;
Paul Moore609c92f2006-09-25 15:52:37 -0700292 spin_unlock_bh(&cipso_v4_cache[iter].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700293 }
Paul Moore446fda42006-08-03 16:48:06 -0700294}
295
296/**
297 * cipso_v4_cache_check - Check the CIPSO cache for a label mapping
298 * @key: the buffer to check
299 * @key_len: buffer length in bytes
300 * @secattr: the security attribute struct to use
301 *
302 * Description:
303 * This function checks the cache to see if a label mapping already exists for
304 * the given key. If there is a match then the cache is adjusted and the
305 * @secattr struct is populated with the correct LSM security attributes. The
306 * cache is adjusted in the following manner if the entry is not already the
307 * first in the cache bucket:
308 *
309 * 1. The cache entry's activity counter is incremented
310 * 2. The previous (higher ranking) entry's activity counter is decremented
311 * 3. If the difference between the two activity counters is geater than
312 * CIPSO_V4_CACHE_REORDERLIMIT the two entries are swapped
313 *
314 * Returns zero on success, -ENOENT for a cache miss, and other negative values
315 * on error.
316 *
317 */
318static int cipso_v4_cache_check(const unsigned char *key,
319 u32 key_len,
320 struct netlbl_lsm_secattr *secattr)
321{
322 u32 bkt;
323 struct cipso_v4_map_cache_entry *entry;
324 struct cipso_v4_map_cache_entry *prev_entry = NULL;
325 u32 hash;
326
327 if (!cipso_v4_cache_enabled)
328 return -ENOENT;
329
330 hash = cipso_v4_map_cache_hash(key, key_len);
Pavel Emelyanov5e0f8922008-05-13 23:23:55 -0700331 bkt = hash & (CIPSO_V4_CACHE_BUCKETS - 1);
Paul Moore609c92f2006-09-25 15:52:37 -0700332 spin_lock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700333 list_for_each_entry(entry, &cipso_v4_cache[bkt].list, list) {
334 if (entry->hash == hash &&
335 entry->key_len == key_len &&
336 memcmp(entry->key, key, key_len) == 0) {
337 entry->activity += 1;
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400338 atomic_inc(&entry->lsm_data->refcount);
339 secattr->cache = entry->lsm_data;
Paul Moore701a90b2006-11-17 17:38:46 -0500340 secattr->flags |= NETLBL_SECATTR_CACHE;
Paul Moore16efd452008-01-29 08:37:59 -0500341 secattr->type = NETLBL_NLTYPE_CIPSOV4;
Ian Morris51456b22015-04-03 09:17:26 +0100342 if (!prev_entry) {
Paul Moore609c92f2006-09-25 15:52:37 -0700343 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700344 return 0;
345 }
346
347 if (prev_entry->activity > 0)
348 prev_entry->activity -= 1;
349 if (entry->activity > prev_entry->activity &&
350 entry->activity - prev_entry->activity >
351 CIPSO_V4_CACHE_REORDERLIMIT) {
352 __list_del(entry->list.prev, entry->list.next);
353 __list_add(&entry->list,
354 prev_entry->list.prev,
355 &prev_entry->list);
356 }
357
Paul Moore609c92f2006-09-25 15:52:37 -0700358 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700359 return 0;
360 }
361 prev_entry = entry;
362 }
Paul Moore609c92f2006-09-25 15:52:37 -0700363 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700364
365 return -ENOENT;
366}
367
368/**
369 * cipso_v4_cache_add - Add an entry to the CIPSO cache
370 * @skb: the packet
371 * @secattr: the packet's security attributes
372 *
373 * Description:
374 * Add a new entry into the CIPSO label mapping cache. Add the new entry to
375 * head of the cache bucket's list, if the cache bucket is out of room remove
376 * the last entry in the list first. It is important to note that there is
377 * currently no checking for duplicate keys. Returns zero on success,
378 * negative values on failure.
379 *
380 */
Paul Moore04f81f02015-02-11 14:46:37 -0500381int cipso_v4_cache_add(const unsigned char *cipso_ptr,
Paul Moore446fda42006-08-03 16:48:06 -0700382 const struct netlbl_lsm_secattr *secattr)
383{
384 int ret_val = -EPERM;
385 u32 bkt;
386 struct cipso_v4_map_cache_entry *entry = NULL;
387 struct cipso_v4_map_cache_entry *old_entry = NULL;
Paul Moore446fda42006-08-03 16:48:06 -0700388 u32 cipso_ptr_len;
389
390 if (!cipso_v4_cache_enabled || cipso_v4_cache_bucketsize <= 0)
391 return 0;
392
Paul Moore446fda42006-08-03 16:48:06 -0700393 cipso_ptr_len = cipso_ptr[1];
394
395 entry = kzalloc(sizeof(*entry), GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +0100396 if (!entry)
Paul Moore446fda42006-08-03 16:48:06 -0700397 return -ENOMEM;
Arnaldo Carvalho de Melofac5d732006-11-17 11:14:16 -0200398 entry->key = kmemdup(cipso_ptr, cipso_ptr_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +0100399 if (!entry->key) {
Paul Moore446fda42006-08-03 16:48:06 -0700400 ret_val = -ENOMEM;
401 goto cache_add_failure;
402 }
Paul Moore446fda42006-08-03 16:48:06 -0700403 entry->key_len = cipso_ptr_len;
404 entry->hash = cipso_v4_map_cache_hash(cipso_ptr, cipso_ptr_len);
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400405 atomic_inc(&secattr->cache->refcount);
406 entry->lsm_data = secattr->cache;
Paul Moore446fda42006-08-03 16:48:06 -0700407
Pavel Emelyanov5e0f8922008-05-13 23:23:55 -0700408 bkt = entry->hash & (CIPSO_V4_CACHE_BUCKETS - 1);
Paul Moore609c92f2006-09-25 15:52:37 -0700409 spin_lock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700410 if (cipso_v4_cache[bkt].size < cipso_v4_cache_bucketsize) {
411 list_add(&entry->list, &cipso_v4_cache[bkt].list);
412 cipso_v4_cache[bkt].size += 1;
413 } else {
414 old_entry = list_entry(cipso_v4_cache[bkt].list.prev,
415 struct cipso_v4_map_cache_entry, list);
416 list_del(&old_entry->list);
417 list_add(&entry->list, &cipso_v4_cache[bkt].list);
418 cipso_v4_cache_entry_free(old_entry);
419 }
Paul Moore609c92f2006-09-25 15:52:37 -0700420 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700421
422 return 0;
423
424cache_add_failure:
425 if (entry)
426 cipso_v4_cache_entry_free(entry);
427 return ret_val;
428}
429
430/*
431 * DOI List Functions
432 */
433
434/**
435 * cipso_v4_doi_search - Searches for a DOI definition
436 * @doi: the DOI to search for
437 *
438 * Description:
439 * Search the DOI definition list for a DOI definition with a DOI value that
Lucas De Marchi25985ed2011-03-30 22:57:33 -0300440 * matches @doi. The caller is responsible for calling rcu_read_[un]lock().
Paul Moore446fda42006-08-03 16:48:06 -0700441 * Returns a pointer to the DOI definition on success and NULL on failure.
442 */
443static struct cipso_v4_doi *cipso_v4_doi_search(u32 doi)
444{
445 struct cipso_v4_doi *iter;
446
447 list_for_each_entry_rcu(iter, &cipso_v4_doi_list, list)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400448 if (iter->doi == doi && atomic_read(&iter->refcount))
Paul Moore446fda42006-08-03 16:48:06 -0700449 return iter;
450 return NULL;
451}
452
453/**
454 * cipso_v4_doi_add - Add a new DOI to the CIPSO protocol engine
455 * @doi_def: the DOI structure
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500456 * @audit_info: NetLabel audit information
Paul Moore446fda42006-08-03 16:48:06 -0700457 *
458 * Description:
459 * The caller defines a new DOI for use by the CIPSO engine and calls this
460 * function to add it to the list of acceptable domains. The caller must
461 * ensure that the mapping table specified in @doi_def->map meets all of the
462 * requirements of the mapping type (see cipso_ipv4.h for details). Returns
463 * zero on success and non-zero on failure.
464 *
465 */
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500466int cipso_v4_doi_add(struct cipso_v4_doi *doi_def,
467 struct netlbl_audit *audit_info)
Paul Moore446fda42006-08-03 16:48:06 -0700468{
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500469 int ret_val = -EINVAL;
Paul Moore6ce61a72006-11-17 17:38:48 -0500470 u32 iter;
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500471 u32 doi;
472 u32 doi_type;
473 struct audit_buffer *audit_buf;
474
475 doi = doi_def->doi;
476 doi_type = doi_def->type;
Paul Moore6ce61a72006-11-17 17:38:48 -0500477
Dan Carpenter56755922011-10-11 18:43:53 -0400478 if (doi_def->doi == CIPSO_V4_DOI_UNKNOWN)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500479 goto doi_add_return;
Paul Moore6ce61a72006-11-17 17:38:48 -0500480 for (iter = 0; iter < CIPSO_V4_TAG_MAXCNT; iter++) {
481 switch (doi_def->tags[iter]) {
482 case CIPSO_V4_TAG_RBITMAP:
483 break;
Paul Moore484b3662006-11-29 13:18:20 -0500484 case CIPSO_V4_TAG_RANGE:
Paul Moore654bbc22006-11-29 13:18:19 -0500485 case CIPSO_V4_TAG_ENUM:
486 if (doi_def->type != CIPSO_V4_MAP_PASS)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500487 goto doi_add_return;
Paul Moore654bbc22006-11-29 13:18:19 -0500488 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400489 case CIPSO_V4_TAG_LOCAL:
490 if (doi_def->type != CIPSO_V4_MAP_LOCAL)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500491 goto doi_add_return;
492 break;
493 case CIPSO_V4_TAG_INVALID:
494 if (iter == 0)
495 goto doi_add_return;
Paul Moore15c45f72008-10-10 10:16:34 -0400496 break;
Paul Moore6ce61a72006-11-17 17:38:48 -0500497 default:
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500498 goto doi_add_return;
Paul Moore6ce61a72006-11-17 17:38:48 -0500499 }
500 }
Paul Moore446fda42006-08-03 16:48:06 -0700501
Paul Mooreb1edeb12008-10-10 10:16:31 -0400502 atomic_set(&doi_def->refcount, 1);
Paul Moore446fda42006-08-03 16:48:06 -0700503
Paul Moore446fda42006-08-03 16:48:06 -0700504 spin_lock(&cipso_v4_doi_list_lock);
Ian Morris00db4122015-04-03 09:17:27 +0100505 if (cipso_v4_doi_search(doi_def->doi)) {
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500506 spin_unlock(&cipso_v4_doi_list_lock);
507 ret_val = -EEXIST;
508 goto doi_add_return;
509 }
Paul Moore446fda42006-08-03 16:48:06 -0700510 list_add_tail_rcu(&doi_def->list, &cipso_v4_doi_list);
511 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500512 ret_val = 0;
Paul Moore446fda42006-08-03 16:48:06 -0700513
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500514doi_add_return:
515 audit_buf = netlbl_audit_start(AUDIT_MAC_CIPSOV4_ADD, audit_info);
Ian Morris00db4122015-04-03 09:17:27 +0100516 if (audit_buf) {
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500517 const char *type_str;
518 switch (doi_type) {
519 case CIPSO_V4_MAP_TRANS:
520 type_str = "trans";
521 break;
522 case CIPSO_V4_MAP_PASS:
523 type_str = "pass";
524 break;
525 case CIPSO_V4_MAP_LOCAL:
526 type_str = "local";
527 break;
528 default:
529 type_str = "(unknown)";
530 }
531 audit_log_format(audit_buf,
532 " cipso_doi=%u cipso_type=%s res=%u",
533 doi, type_str, ret_val == 0 ? 1 : 0);
534 audit_log_end(audit_buf);
535 }
Paul Moore446fda42006-08-03 16:48:06 -0700536
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500537 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700538}
539
540/**
Paul Mooreb1edeb12008-10-10 10:16:31 -0400541 * cipso_v4_doi_free - Frees a DOI definition
Fabian Frederick49734042014-11-04 20:10:01 +0100542 * @doi_def: the DOI definition
Paul Moore446fda42006-08-03 16:48:06 -0700543 *
544 * Description:
Paul Mooreb1edeb12008-10-10 10:16:31 -0400545 * This function frees all of the memory associated with a DOI definition.
Paul Moore446fda42006-08-03 16:48:06 -0700546 *
547 */
Paul Mooreb1edeb12008-10-10 10:16:31 -0400548void cipso_v4_doi_free(struct cipso_v4_doi *doi_def)
Paul Moore446fda42006-08-03 16:48:06 -0700549{
Ian Morris51456b22015-04-03 09:17:26 +0100550 if (!doi_def)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400551 return;
Paul Moore446fda42006-08-03 16:48:06 -0700552
Paul Mooreb1edeb12008-10-10 10:16:31 -0400553 switch (doi_def->type) {
Paul Moore15c45f72008-10-10 10:16:34 -0400554 case CIPSO_V4_MAP_TRANS:
Paul Mooreb1edeb12008-10-10 10:16:31 -0400555 kfree(doi_def->map.std->lvl.cipso);
556 kfree(doi_def->map.std->lvl.local);
557 kfree(doi_def->map.std->cat.cipso);
558 kfree(doi_def->map.std->cat.local);
559 break;
Paul Moore446fda42006-08-03 16:48:06 -0700560 }
Paul Mooreb1edeb12008-10-10 10:16:31 -0400561 kfree(doi_def);
Paul Moore446fda42006-08-03 16:48:06 -0700562}
563
564/**
Paul Mooreb1edeb12008-10-10 10:16:31 -0400565 * cipso_v4_doi_free_rcu - Frees a DOI definition via the RCU pointer
566 * @entry: the entry's RCU field
567 *
568 * Description:
569 * This function is designed to be used as a callback to the call_rcu()
570 * function so that the memory allocated to the DOI definition can be released
571 * safely.
572 *
573 */
574static void cipso_v4_doi_free_rcu(struct rcu_head *entry)
575{
576 struct cipso_v4_doi *doi_def;
577
578 doi_def = container_of(entry, struct cipso_v4_doi, rcu);
579 cipso_v4_doi_free(doi_def);
580}
581
582/**
583 * cipso_v4_doi_remove - Remove an existing DOI from the CIPSO protocol engine
584 * @doi: the DOI value
585 * @audit_secid: the LSM secid to use in the audit message
586 *
587 * Description:
588 * Removes a DOI definition from the CIPSO engine. The NetLabel routines will
589 * be called to release their own LSM domain mappings as well as our own
590 * domain list. Returns zero on success and negative values on failure.
591 *
592 */
593int cipso_v4_doi_remove(u32 doi, struct netlbl_audit *audit_info)
594{
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500595 int ret_val;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400596 struct cipso_v4_doi *doi_def;
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500597 struct audit_buffer *audit_buf;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400598
599 spin_lock(&cipso_v4_doi_list_lock);
600 doi_def = cipso_v4_doi_search(doi);
Ian Morris51456b22015-04-03 09:17:26 +0100601 if (!doi_def) {
Paul Mooreb1edeb12008-10-10 10:16:31 -0400602 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500603 ret_val = -ENOENT;
604 goto doi_remove_return;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400605 }
606 if (!atomic_dec_and_test(&doi_def->refcount)) {
607 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500608 ret_val = -EBUSY;
609 goto doi_remove_return;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400610 }
611 list_del_rcu(&doi_def->list);
612 spin_unlock(&cipso_v4_doi_list_lock);
613
614 cipso_v4_cache_invalidate();
615 call_rcu(&doi_def->rcu, cipso_v4_doi_free_rcu);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500616 ret_val = 0;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400617
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500618doi_remove_return:
619 audit_buf = netlbl_audit_start(AUDIT_MAC_CIPSOV4_DEL, audit_info);
Ian Morris00db4122015-04-03 09:17:27 +0100620 if (audit_buf) {
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500621 audit_log_format(audit_buf,
622 " cipso_doi=%u res=%u",
623 doi, ret_val == 0 ? 1 : 0);
624 audit_log_end(audit_buf);
625 }
626
627 return ret_val;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400628}
629
630/**
631 * cipso_v4_doi_getdef - Returns a reference to a valid DOI definition
Paul Moore446fda42006-08-03 16:48:06 -0700632 * @doi: the DOI value
633 *
634 * Description:
635 * Searches for a valid DOI definition and if one is found it is returned to
636 * the caller. Otherwise NULL is returned. The caller must ensure that
Paul Mooreb1edeb12008-10-10 10:16:31 -0400637 * rcu_read_lock() is held while accessing the returned definition and the DOI
638 * definition reference count is decremented when the caller is done.
Paul Moore446fda42006-08-03 16:48:06 -0700639 *
640 */
641struct cipso_v4_doi *cipso_v4_doi_getdef(u32 doi)
642{
Paul Mooreb1edeb12008-10-10 10:16:31 -0400643 struct cipso_v4_doi *doi_def;
644
645 rcu_read_lock();
646 doi_def = cipso_v4_doi_search(doi);
Ian Morris51456b22015-04-03 09:17:26 +0100647 if (!doi_def)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400648 goto doi_getdef_return;
649 if (!atomic_inc_not_zero(&doi_def->refcount))
650 doi_def = NULL;
651
652doi_getdef_return:
653 rcu_read_unlock();
654 return doi_def;
655}
656
657/**
658 * cipso_v4_doi_putdef - Releases a reference for the given DOI definition
659 * @doi_def: the DOI definition
660 *
661 * Description:
662 * Releases a DOI definition reference obtained from cipso_v4_doi_getdef().
663 *
664 */
665void cipso_v4_doi_putdef(struct cipso_v4_doi *doi_def)
666{
Ian Morris51456b22015-04-03 09:17:26 +0100667 if (!doi_def)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400668 return;
669
670 if (!atomic_dec_and_test(&doi_def->refcount))
671 return;
672 spin_lock(&cipso_v4_doi_list_lock);
673 list_del_rcu(&doi_def->list);
674 spin_unlock(&cipso_v4_doi_list_lock);
675
676 cipso_v4_cache_invalidate();
677 call_rcu(&doi_def->rcu, cipso_v4_doi_free_rcu);
Paul Moore446fda42006-08-03 16:48:06 -0700678}
679
680/**
Paul Moorefcd48282006-09-25 15:56:09 -0700681 * cipso_v4_doi_walk - Iterate through the DOI definitions
682 * @skip_cnt: skip past this number of DOI definitions, updated
683 * @callback: callback for each DOI definition
684 * @cb_arg: argument for the callback function
Paul Moore446fda42006-08-03 16:48:06 -0700685 *
686 * Description:
Paul Moorefcd48282006-09-25 15:56:09 -0700687 * Iterate over the DOI definition list, skipping the first @skip_cnt entries.
688 * For each entry call @callback, if @callback returns a negative value stop
689 * 'walking' through the list and return. Updates the value in @skip_cnt upon
690 * return. Returns zero on success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -0700691 *
692 */
Paul Moorefcd48282006-09-25 15:56:09 -0700693int cipso_v4_doi_walk(u32 *skip_cnt,
694 int (*callback) (struct cipso_v4_doi *doi_def, void *arg),
695 void *cb_arg)
Paul Moore446fda42006-08-03 16:48:06 -0700696{
Paul Moorefcd48282006-09-25 15:56:09 -0700697 int ret_val = -ENOENT;
Paul Moore446fda42006-08-03 16:48:06 -0700698 u32 doi_cnt = 0;
Paul Moorefcd48282006-09-25 15:56:09 -0700699 struct cipso_v4_doi *iter_doi;
Paul Moore446fda42006-08-03 16:48:06 -0700700
701 rcu_read_lock();
Paul Moorefcd48282006-09-25 15:56:09 -0700702 list_for_each_entry_rcu(iter_doi, &cipso_v4_doi_list, list)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400703 if (atomic_read(&iter_doi->refcount) > 0) {
Paul Moorefcd48282006-09-25 15:56:09 -0700704 if (doi_cnt++ < *skip_cnt)
705 continue;
706 ret_val = callback(iter_doi, cb_arg);
707 if (ret_val < 0) {
708 doi_cnt--;
709 goto doi_walk_return;
Paul Moore446fda42006-08-03 16:48:06 -0700710 }
Paul Moorefcd48282006-09-25 15:56:09 -0700711 }
Paul Moore446fda42006-08-03 16:48:06 -0700712
Paul Moorefcd48282006-09-25 15:56:09 -0700713doi_walk_return:
Paul Moore446fda42006-08-03 16:48:06 -0700714 rcu_read_unlock();
Paul Moorefcd48282006-09-25 15:56:09 -0700715 *skip_cnt = doi_cnt;
716 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700717}
718
Paul Moore446fda42006-08-03 16:48:06 -0700719/*
720 * Label Mapping Functions
721 */
722
723/**
724 * cipso_v4_map_lvl_valid - Checks to see if the given level is understood
725 * @doi_def: the DOI definition
726 * @level: the level to check
727 *
728 * Description:
729 * Checks the given level against the given DOI definition and returns a
730 * negative value if the level does not have a valid mapping and a zero value
731 * if the level is defined by the DOI.
732 *
733 */
734static int cipso_v4_map_lvl_valid(const struct cipso_v4_doi *doi_def, u8 level)
735{
736 switch (doi_def->type) {
737 case CIPSO_V4_MAP_PASS:
738 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400739 case CIPSO_V4_MAP_TRANS:
Paul Moore446fda42006-08-03 16:48:06 -0700740 if (doi_def->map.std->lvl.cipso[level] < CIPSO_V4_INV_LVL)
741 return 0;
742 break;
743 }
744
745 return -EFAULT;
746}
747
748/**
749 * cipso_v4_map_lvl_hton - Perform a level mapping from the host to the network
750 * @doi_def: the DOI definition
751 * @host_lvl: the host MLS level
752 * @net_lvl: the network/CIPSO MLS level
753 *
754 * Description:
755 * Perform a label mapping to translate a local MLS level to the correct
756 * CIPSO level using the given DOI definition. Returns zero on success,
757 * negative values otherwise.
758 *
759 */
760static int cipso_v4_map_lvl_hton(const struct cipso_v4_doi *doi_def,
761 u32 host_lvl,
762 u32 *net_lvl)
763{
764 switch (doi_def->type) {
765 case CIPSO_V4_MAP_PASS:
766 *net_lvl = host_lvl;
767 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400768 case CIPSO_V4_MAP_TRANS:
Paul Moorec6387a82007-03-02 13:19:02 -0800769 if (host_lvl < doi_def->map.std->lvl.local_size &&
770 doi_def->map.std->lvl.local[host_lvl] < CIPSO_V4_INV_LVL) {
Paul Moore446fda42006-08-03 16:48:06 -0700771 *net_lvl = doi_def->map.std->lvl.local[host_lvl];
772 return 0;
773 }
Paul Moorec6387a82007-03-02 13:19:02 -0800774 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700775 }
776
777 return -EINVAL;
778}
779
780/**
781 * cipso_v4_map_lvl_ntoh - Perform a level mapping from the network to the host
782 * @doi_def: the DOI definition
783 * @net_lvl: the network/CIPSO MLS level
784 * @host_lvl: the host MLS level
785 *
786 * Description:
787 * Perform a label mapping to translate a CIPSO level to the correct local MLS
788 * level using the given DOI definition. Returns zero on success, negative
789 * values otherwise.
790 *
791 */
792static int cipso_v4_map_lvl_ntoh(const struct cipso_v4_doi *doi_def,
793 u32 net_lvl,
794 u32 *host_lvl)
795{
796 struct cipso_v4_std_map_tbl *map_tbl;
797
798 switch (doi_def->type) {
799 case CIPSO_V4_MAP_PASS:
800 *host_lvl = net_lvl;
801 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400802 case CIPSO_V4_MAP_TRANS:
Paul Moore446fda42006-08-03 16:48:06 -0700803 map_tbl = doi_def->map.std;
804 if (net_lvl < map_tbl->lvl.cipso_size &&
805 map_tbl->lvl.cipso[net_lvl] < CIPSO_V4_INV_LVL) {
806 *host_lvl = doi_def->map.std->lvl.cipso[net_lvl];
807 return 0;
808 }
Paul Moorec6387a82007-03-02 13:19:02 -0800809 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700810 }
811
812 return -EINVAL;
813}
814
815/**
816 * cipso_v4_map_cat_rbm_valid - Checks to see if the category bitmap is valid
817 * @doi_def: the DOI definition
818 * @bitmap: category bitmap
819 * @bitmap_len: bitmap length in bytes
820 *
821 * Description:
822 * Checks the given category bitmap against the given DOI definition and
823 * returns a negative value if any of the categories in the bitmap do not have
824 * a valid mapping and a zero value if all of the categories are valid.
825 *
826 */
827static int cipso_v4_map_cat_rbm_valid(const struct cipso_v4_doi *doi_def,
828 const unsigned char *bitmap,
829 u32 bitmap_len)
830{
831 int cat = -1;
832 u32 bitmap_len_bits = bitmap_len * 8;
Paul Moore044a68e2006-10-11 19:10:47 -0400833 u32 cipso_cat_size;
834 u32 *cipso_array;
Paul Moore446fda42006-08-03 16:48:06 -0700835
836 switch (doi_def->type) {
837 case CIPSO_V4_MAP_PASS:
838 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400839 case CIPSO_V4_MAP_TRANS:
Paul Moore044a68e2006-10-11 19:10:47 -0400840 cipso_cat_size = doi_def->map.std->cat.cipso_size;
841 cipso_array = doi_def->map.std->cat.cipso;
Paul Moore446fda42006-08-03 16:48:06 -0700842 for (;;) {
843 cat = cipso_v4_bitmap_walk(bitmap,
844 bitmap_len_bits,
845 cat + 1,
846 1);
847 if (cat < 0)
848 break;
849 if (cat >= cipso_cat_size ||
850 cipso_array[cat] >= CIPSO_V4_INV_CAT)
851 return -EFAULT;
852 }
853
854 if (cat == -1)
855 return 0;
856 break;
857 }
858
859 return -EFAULT;
860}
861
862/**
863 * cipso_v4_map_cat_rbm_hton - Perform a category mapping from host to network
864 * @doi_def: the DOI definition
Paul Moore02752762006-11-29 13:18:18 -0500865 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -0700866 * @net_cat: the zero'd out category bitmap in network/CIPSO format
867 * @net_cat_len: the length of the CIPSO bitmap in bytes
868 *
869 * Description:
870 * Perform a label mapping to translate a local MLS category bitmap to the
871 * correct CIPSO bitmap using the given DOI definition. Returns the minimum
872 * size in bytes of the network bitmap on success, negative values otherwise.
873 *
874 */
875static int cipso_v4_map_cat_rbm_hton(const struct cipso_v4_doi *doi_def,
Paul Moore02752762006-11-29 13:18:18 -0500876 const struct netlbl_lsm_secattr *secattr,
Paul Moore446fda42006-08-03 16:48:06 -0700877 unsigned char *net_cat,
878 u32 net_cat_len)
879{
880 int host_spot = -1;
Paul Moore02752762006-11-29 13:18:18 -0500881 u32 net_spot = CIPSO_V4_INV_CAT;
Paul Moore446fda42006-08-03 16:48:06 -0700882 u32 net_spot_max = 0;
Paul Moore446fda42006-08-03 16:48:06 -0700883 u32 net_clen_bits = net_cat_len * 8;
Paul Moore02752762006-11-29 13:18:18 -0500884 u32 host_cat_size = 0;
885 u32 *host_cat_array = NULL;
Paul Moore446fda42006-08-03 16:48:06 -0700886
Paul Moore15c45f72008-10-10 10:16:34 -0400887 if (doi_def->type == CIPSO_V4_MAP_TRANS) {
Paul Moore044a68e2006-10-11 19:10:47 -0400888 host_cat_size = doi_def->map.std->cat.local_size;
889 host_cat_array = doi_def->map.std->cat.local;
Paul Moore02752762006-11-29 13:18:18 -0500890 }
891
892 for (;;) {
Paul Moore4fbe63d2014-08-01 11:17:37 -0400893 host_spot = netlbl_catmap_walk(secattr->attr.mls.cat,
894 host_spot + 1);
Paul Moore02752762006-11-29 13:18:18 -0500895 if (host_spot < 0)
896 break;
897
898 switch (doi_def->type) {
899 case CIPSO_V4_MAP_PASS:
900 net_spot = host_spot;
901 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400902 case CIPSO_V4_MAP_TRANS:
Paul Moore446fda42006-08-03 16:48:06 -0700903 if (host_spot >= host_cat_size)
904 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700905 net_spot = host_cat_array[host_spot];
Paul Moore9fade4b2006-11-17 17:38:50 -0500906 if (net_spot >= CIPSO_V4_INV_CAT)
907 return -EPERM;
Paul Moore02752762006-11-29 13:18:18 -0500908 break;
Paul Moore446fda42006-08-03 16:48:06 -0700909 }
Paul Moore02752762006-11-29 13:18:18 -0500910 if (net_spot >= net_clen_bits)
911 return -ENOSPC;
912 cipso_v4_bitmap_setbit(net_cat, net_spot, 1);
Paul Moore446fda42006-08-03 16:48:06 -0700913
Paul Moore02752762006-11-29 13:18:18 -0500914 if (net_spot > net_spot_max)
915 net_spot_max = net_spot;
Paul Moore446fda42006-08-03 16:48:06 -0700916 }
917
Paul Moore02752762006-11-29 13:18:18 -0500918 if (++net_spot_max % 8)
919 return net_spot_max / 8 + 1;
920 return net_spot_max / 8;
Paul Moore446fda42006-08-03 16:48:06 -0700921}
922
923/**
924 * cipso_v4_map_cat_rbm_ntoh - Perform a category mapping from network to host
925 * @doi_def: the DOI definition
926 * @net_cat: the category bitmap in network/CIPSO format
927 * @net_cat_len: the length of the CIPSO bitmap in bytes
Paul Moore02752762006-11-29 13:18:18 -0500928 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -0700929 *
930 * Description:
931 * Perform a label mapping to translate a CIPSO bitmap to the correct local
Paul Moore02752762006-11-29 13:18:18 -0500932 * MLS category bitmap using the given DOI definition. Returns zero on
933 * success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -0700934 *
935 */
936static int cipso_v4_map_cat_rbm_ntoh(const struct cipso_v4_doi *doi_def,
937 const unsigned char *net_cat,
938 u32 net_cat_len,
Paul Moore02752762006-11-29 13:18:18 -0500939 struct netlbl_lsm_secattr *secattr)
Paul Moore446fda42006-08-03 16:48:06 -0700940{
Paul Moore02752762006-11-29 13:18:18 -0500941 int ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700942 int net_spot = -1;
Paul Moore02752762006-11-29 13:18:18 -0500943 u32 host_spot = CIPSO_V4_INV_CAT;
Paul Moore446fda42006-08-03 16:48:06 -0700944 u32 net_clen_bits = net_cat_len * 8;
Paul Moore02752762006-11-29 13:18:18 -0500945 u32 net_cat_size = 0;
946 u32 *net_cat_array = NULL;
Paul Moore446fda42006-08-03 16:48:06 -0700947
Paul Moore15c45f72008-10-10 10:16:34 -0400948 if (doi_def->type == CIPSO_V4_MAP_TRANS) {
Paul Moore044a68e2006-10-11 19:10:47 -0400949 net_cat_size = doi_def->map.std->cat.cipso_size;
950 net_cat_array = doi_def->map.std->cat.cipso;
Paul Moore02752762006-11-29 13:18:18 -0500951 }
Paul Moore446fda42006-08-03 16:48:06 -0700952
Paul Moore02752762006-11-29 13:18:18 -0500953 for (;;) {
954 net_spot = cipso_v4_bitmap_walk(net_cat,
955 net_clen_bits,
956 net_spot + 1,
957 1);
958 if (net_spot < 0) {
959 if (net_spot == -2)
960 return -EFAULT;
961 return 0;
962 }
963
964 switch (doi_def->type) {
965 case CIPSO_V4_MAP_PASS:
966 host_spot = net_spot;
967 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400968 case CIPSO_V4_MAP_TRANS:
Paul Moore02752762006-11-29 13:18:18 -0500969 if (net_spot >= net_cat_size)
970 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700971 host_spot = net_cat_array[net_spot];
Paul Moore9fade4b2006-11-17 17:38:50 -0500972 if (host_spot >= CIPSO_V4_INV_CAT)
973 return -EPERM;
Paul Moore02752762006-11-29 13:18:18 -0500974 break;
Paul Moore446fda42006-08-03 16:48:06 -0700975 }
Paul Moore4fbe63d2014-08-01 11:17:37 -0400976 ret_val = netlbl_catmap_setbit(&secattr->attr.mls.cat,
Paul Moore02752762006-11-29 13:18:18 -0500977 host_spot,
978 GFP_ATOMIC);
979 if (ret_val != 0)
980 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700981 }
982
983 return -EINVAL;
984}
985
Paul Moore654bbc22006-11-29 13:18:19 -0500986/**
987 * cipso_v4_map_cat_enum_valid - Checks to see if the categories are valid
988 * @doi_def: the DOI definition
989 * @enumcat: category list
990 * @enumcat_len: length of the category list in bytes
991 *
992 * Description:
993 * Checks the given categories against the given DOI definition and returns a
994 * negative value if any of the categories do not have a valid mapping and a
995 * zero value if all of the categories are valid.
996 *
997 */
998static int cipso_v4_map_cat_enum_valid(const struct cipso_v4_doi *doi_def,
999 const unsigned char *enumcat,
1000 u32 enumcat_len)
1001{
1002 u16 cat;
1003 int cat_prev = -1;
1004 u32 iter;
1005
1006 if (doi_def->type != CIPSO_V4_MAP_PASS || enumcat_len & 0x01)
1007 return -EFAULT;
1008
1009 for (iter = 0; iter < enumcat_len; iter += 2) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001010 cat = get_unaligned_be16(&enumcat[iter]);
Paul Moore654bbc22006-11-29 13:18:19 -05001011 if (cat <= cat_prev)
1012 return -EFAULT;
1013 cat_prev = cat;
1014 }
1015
1016 return 0;
1017}
1018
1019/**
1020 * cipso_v4_map_cat_enum_hton - Perform a category mapping from host to network
1021 * @doi_def: the DOI definition
1022 * @secattr: the security attributes
1023 * @net_cat: the zero'd out category list in network/CIPSO format
1024 * @net_cat_len: the length of the CIPSO category list in bytes
1025 *
1026 * Description:
1027 * Perform a label mapping to translate a local MLS category bitmap to the
1028 * correct CIPSO category list using the given DOI definition. Returns the
1029 * size in bytes of the network category bitmap on success, negative values
1030 * otherwise.
1031 *
1032 */
1033static int cipso_v4_map_cat_enum_hton(const struct cipso_v4_doi *doi_def,
1034 const struct netlbl_lsm_secattr *secattr,
1035 unsigned char *net_cat,
1036 u32 net_cat_len)
1037{
1038 int cat = -1;
1039 u32 cat_iter = 0;
1040
1041 for (;;) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001042 cat = netlbl_catmap_walk(secattr->attr.mls.cat, cat + 1);
Paul Moore654bbc22006-11-29 13:18:19 -05001043 if (cat < 0)
1044 break;
1045 if ((cat_iter + 2) > net_cat_len)
1046 return -ENOSPC;
1047
1048 *((__be16 *)&net_cat[cat_iter]) = htons(cat);
1049 cat_iter += 2;
1050 }
1051
1052 return cat_iter;
1053}
1054
1055/**
1056 * cipso_v4_map_cat_enum_ntoh - Perform a category mapping from network to host
1057 * @doi_def: the DOI definition
1058 * @net_cat: the category list in network/CIPSO format
1059 * @net_cat_len: the length of the CIPSO bitmap in bytes
1060 * @secattr: the security attributes
1061 *
1062 * Description:
1063 * Perform a label mapping to translate a CIPSO category list to the correct
1064 * local MLS category bitmap using the given DOI definition. Returns zero on
1065 * success, negative values on failure.
1066 *
1067 */
1068static int cipso_v4_map_cat_enum_ntoh(const struct cipso_v4_doi *doi_def,
1069 const unsigned char *net_cat,
1070 u32 net_cat_len,
1071 struct netlbl_lsm_secattr *secattr)
1072{
1073 int ret_val;
1074 u32 iter;
1075
1076 for (iter = 0; iter < net_cat_len; iter += 2) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001077 ret_val = netlbl_catmap_setbit(&secattr->attr.mls.cat,
1078 get_unaligned_be16(&net_cat[iter]),
1079 GFP_ATOMIC);
Paul Moore654bbc22006-11-29 13:18:19 -05001080 if (ret_val != 0)
1081 return ret_val;
1082 }
1083
1084 return 0;
1085}
1086
Paul Moore484b3662006-11-29 13:18:20 -05001087/**
1088 * cipso_v4_map_cat_rng_valid - Checks to see if the categories are valid
1089 * @doi_def: the DOI definition
1090 * @rngcat: category list
1091 * @rngcat_len: length of the category list in bytes
1092 *
1093 * Description:
1094 * Checks the given categories against the given DOI definition and returns a
1095 * negative value if any of the categories do not have a valid mapping and a
1096 * zero value if all of the categories are valid.
1097 *
1098 */
1099static int cipso_v4_map_cat_rng_valid(const struct cipso_v4_doi *doi_def,
1100 const unsigned char *rngcat,
1101 u32 rngcat_len)
1102{
1103 u16 cat_high;
1104 u16 cat_low;
1105 u32 cat_prev = CIPSO_V4_MAX_REM_CATS + 1;
1106 u32 iter;
1107
1108 if (doi_def->type != CIPSO_V4_MAP_PASS || rngcat_len & 0x01)
1109 return -EFAULT;
1110
1111 for (iter = 0; iter < rngcat_len; iter += 4) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001112 cat_high = get_unaligned_be16(&rngcat[iter]);
Paul Moore484b3662006-11-29 13:18:20 -05001113 if ((iter + 4) <= rngcat_len)
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001114 cat_low = get_unaligned_be16(&rngcat[iter + 2]);
Paul Moore484b3662006-11-29 13:18:20 -05001115 else
1116 cat_low = 0;
1117
1118 if (cat_high > cat_prev)
1119 return -EFAULT;
1120
1121 cat_prev = cat_low;
1122 }
1123
1124 return 0;
1125}
1126
1127/**
1128 * cipso_v4_map_cat_rng_hton - Perform a category mapping from host to network
1129 * @doi_def: the DOI definition
1130 * @secattr: the security attributes
1131 * @net_cat: the zero'd out category list in network/CIPSO format
1132 * @net_cat_len: the length of the CIPSO category list in bytes
1133 *
1134 * Description:
1135 * Perform a label mapping to translate a local MLS category bitmap to the
1136 * correct CIPSO category list using the given DOI definition. Returns the
1137 * size in bytes of the network category bitmap on success, negative values
1138 * otherwise.
1139 *
1140 */
1141static int cipso_v4_map_cat_rng_hton(const struct cipso_v4_doi *doi_def,
1142 const struct netlbl_lsm_secattr *secattr,
1143 unsigned char *net_cat,
1144 u32 net_cat_len)
1145{
Paul Moore484b3662006-11-29 13:18:20 -05001146 int iter = -1;
Paul Mooref998e8c2007-02-28 15:14:20 -05001147 u16 array[CIPSO_V4_TAG_RNG_CAT_MAX * 2];
Paul Moore484b3662006-11-29 13:18:20 -05001148 u32 array_cnt = 0;
1149 u32 cat_size = 0;
1150
Paul Mooref998e8c2007-02-28 15:14:20 -05001151 /* make sure we don't overflow the 'array[]' variable */
Paul Moore128c6b62007-02-28 15:14:21 -05001152 if (net_cat_len >
1153 (CIPSO_V4_OPT_LEN_MAX - CIPSO_V4_HDR_LEN - CIPSO_V4_TAG_RNG_BLEN))
1154 return -ENOSPC;
Paul Moore484b3662006-11-29 13:18:20 -05001155
1156 for (;;) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001157 iter = netlbl_catmap_walk(secattr->attr.mls.cat, iter + 1);
Paul Moore484b3662006-11-29 13:18:20 -05001158 if (iter < 0)
1159 break;
1160 cat_size += (iter == 0 ? 0 : sizeof(u16));
1161 if (cat_size > net_cat_len)
1162 return -ENOSPC;
1163 array[array_cnt++] = iter;
1164
Paul Moore4fbe63d2014-08-01 11:17:37 -04001165 iter = netlbl_catmap_walkrng(secattr->attr.mls.cat, iter);
Paul Moore484b3662006-11-29 13:18:20 -05001166 if (iter < 0)
1167 return -EFAULT;
1168 cat_size += sizeof(u16);
1169 if (cat_size > net_cat_len)
1170 return -ENOSPC;
1171 array[array_cnt++] = iter;
1172 }
1173
1174 for (iter = 0; array_cnt > 0;) {
1175 *((__be16 *)&net_cat[iter]) = htons(array[--array_cnt]);
1176 iter += 2;
1177 array_cnt--;
1178 if (array[array_cnt] != 0) {
1179 *((__be16 *)&net_cat[iter]) = htons(array[array_cnt]);
1180 iter += 2;
1181 }
1182 }
1183
1184 return cat_size;
1185}
1186
1187/**
1188 * cipso_v4_map_cat_rng_ntoh - Perform a category mapping from network to host
1189 * @doi_def: the DOI definition
1190 * @net_cat: the category list in network/CIPSO format
1191 * @net_cat_len: the length of the CIPSO bitmap in bytes
1192 * @secattr: the security attributes
1193 *
1194 * Description:
1195 * Perform a label mapping to translate a CIPSO category list to the correct
1196 * local MLS category bitmap using the given DOI definition. Returns zero on
1197 * success, negative values on failure.
1198 *
1199 */
1200static int cipso_v4_map_cat_rng_ntoh(const struct cipso_v4_doi *doi_def,
1201 const unsigned char *net_cat,
1202 u32 net_cat_len,
1203 struct netlbl_lsm_secattr *secattr)
1204{
1205 int ret_val;
1206 u32 net_iter;
1207 u16 cat_low;
1208 u16 cat_high;
1209
Stephen Hemminger132adf52007-03-08 20:44:43 -08001210 for (net_iter = 0; net_iter < net_cat_len; net_iter += 4) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001211 cat_high = get_unaligned_be16(&net_cat[net_iter]);
Paul Moore484b3662006-11-29 13:18:20 -05001212 if ((net_iter + 4) <= net_cat_len)
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001213 cat_low = get_unaligned_be16(&net_cat[net_iter + 2]);
Paul Moore484b3662006-11-29 13:18:20 -05001214 else
1215 cat_low = 0;
1216
Paul Moore4fbe63d2014-08-01 11:17:37 -04001217 ret_val = netlbl_catmap_setrng(&secattr->attr.mls.cat,
1218 cat_low,
1219 cat_high,
1220 GFP_ATOMIC);
Paul Moore484b3662006-11-29 13:18:20 -05001221 if (ret_val != 0)
1222 return ret_val;
1223 }
1224
1225 return 0;
1226}
1227
Paul Moore446fda42006-08-03 16:48:06 -07001228/*
1229 * Protocol Handling Functions
1230 */
1231
Paul Moore446fda42006-08-03 16:48:06 -07001232/**
1233 * cipso_v4_gentag_hdr - Generate a CIPSO option header
1234 * @doi_def: the DOI definition
Paul Moore91b1ed02006-11-17 17:38:49 -05001235 * @len: the total tag length in bytes, not including this header
Paul Moore446fda42006-08-03 16:48:06 -07001236 * @buf: the CIPSO option buffer
1237 *
1238 * Description:
Paul Moore91b1ed02006-11-17 17:38:49 -05001239 * Write a CIPSO header into the beginning of @buffer.
Paul Moore446fda42006-08-03 16:48:06 -07001240 *
1241 */
Paul Moore91b1ed02006-11-17 17:38:49 -05001242static void cipso_v4_gentag_hdr(const struct cipso_v4_doi *doi_def,
1243 unsigned char *buf,
1244 u32 len)
Paul Moore446fda42006-08-03 16:48:06 -07001245{
Paul Moore446fda42006-08-03 16:48:06 -07001246 buf[0] = IPOPT_CIPSO;
1247 buf[1] = CIPSO_V4_HDR_LEN + len;
Al Viro714e85b2006-11-14 20:51:49 -08001248 *(__be32 *)&buf[2] = htonl(doi_def->doi);
Paul Moore446fda42006-08-03 16:48:06 -07001249}
1250
Paul Moore446fda42006-08-03 16:48:06 -07001251/**
1252 * cipso_v4_gentag_rbm - Generate a CIPSO restricted bitmap tag (type #1)
1253 * @doi_def: the DOI definition
1254 * @secattr: the security attributes
1255 * @buffer: the option buffer
1256 * @buffer_len: length of buffer in bytes
1257 *
1258 * Description:
1259 * Generate a CIPSO option using the restricted bitmap tag, tag type #1. The
1260 * actual buffer length may be larger than the indicated size due to
Paul Moore91b1ed02006-11-17 17:38:49 -05001261 * translation between host and network category bitmaps. Returns the size of
1262 * the tag on success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -07001263 *
1264 */
1265static int cipso_v4_gentag_rbm(const struct cipso_v4_doi *doi_def,
1266 const struct netlbl_lsm_secattr *secattr,
Paul Moore91b1ed02006-11-17 17:38:49 -05001267 unsigned char *buffer,
1268 u32 buffer_len)
Paul Moore446fda42006-08-03 16:48:06 -07001269{
Paul Moore701a90b2006-11-17 17:38:46 -05001270 int ret_val;
Paul Moore91b1ed02006-11-17 17:38:49 -05001271 u32 tag_len;
Paul Moore446fda42006-08-03 16:48:06 -07001272 u32 level;
1273
Paul Moore701a90b2006-11-17 17:38:46 -05001274 if ((secattr->flags & NETLBL_SECATTR_MLS_LVL) == 0)
1275 return -EPERM;
1276
Paul Moore16efd452008-01-29 08:37:59 -05001277 ret_val = cipso_v4_map_lvl_hton(doi_def,
1278 secattr->attr.mls.lvl,
1279 &level);
Paul Moore91b1ed02006-11-17 17:38:49 -05001280 if (ret_val != 0)
1281 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001282
Paul Moore91b1ed02006-11-17 17:38:49 -05001283 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
Paul Moore446fda42006-08-03 16:48:06 -07001284 ret_val = cipso_v4_map_cat_rbm_hton(doi_def,
Paul Moore02752762006-11-29 13:18:18 -05001285 secattr,
Paul Moore91b1ed02006-11-17 17:38:49 -05001286 &buffer[4],
1287 buffer_len - 4);
Paul Moore446fda42006-08-03 16:48:06 -07001288 if (ret_val < 0)
Paul Moore91b1ed02006-11-17 17:38:49 -05001289 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001290
1291 /* This will send packets using the "optimized" format when
Lucas De Marchi25985ed2011-03-30 22:57:33 -03001292 * possible as specified in section 3.4.2.6 of the
Paul Moore446fda42006-08-03 16:48:06 -07001293 * CIPSO draft. */
Paul Moore701a90b2006-11-17 17:38:46 -05001294 if (cipso_v4_rbm_optfmt && ret_val > 0 && ret_val <= 10)
Paul Moore91b1ed02006-11-17 17:38:49 -05001295 tag_len = 14;
Paul Moore701a90b2006-11-17 17:38:46 -05001296 else
Paul Moore91b1ed02006-11-17 17:38:49 -05001297 tag_len = 4 + ret_val;
1298 } else
1299 tag_len = 4;
Paul Moore446fda42006-08-03 16:48:06 -07001300
Paul Moore15c45f72008-10-10 10:16:34 -04001301 buffer[0] = CIPSO_V4_TAG_RBITMAP;
Paul Moore91b1ed02006-11-17 17:38:49 -05001302 buffer[1] = tag_len;
1303 buffer[3] = level;
Paul Moore446fda42006-08-03 16:48:06 -07001304
Paul Moore91b1ed02006-11-17 17:38:49 -05001305 return tag_len;
Paul Moore446fda42006-08-03 16:48:06 -07001306}
1307
1308/**
1309 * cipso_v4_parsetag_rbm - Parse a CIPSO restricted bitmap tag
1310 * @doi_def: the DOI definition
1311 * @tag: the CIPSO tag
1312 * @secattr: the security attributes
1313 *
1314 * Description:
1315 * Parse a CIPSO restricted bitmap tag (tag type #1) and return the security
1316 * attributes in @secattr. Return zero on success, negatives values on
1317 * failure.
1318 *
1319 */
1320static int cipso_v4_parsetag_rbm(const struct cipso_v4_doi *doi_def,
1321 const unsigned char *tag,
1322 struct netlbl_lsm_secattr *secattr)
1323{
1324 int ret_val;
1325 u8 tag_len = tag[1];
1326 u32 level;
1327
1328 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1329 if (ret_val != 0)
1330 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001331 secattr->attr.mls.lvl = level;
Paul Moore701a90b2006-11-17 17:38:46 -05001332 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
Paul Moore446fda42006-08-03 16:48:06 -07001333
1334 if (tag_len > 4) {
Paul Moore446fda42006-08-03 16:48:06 -07001335 ret_val = cipso_v4_map_cat_rbm_ntoh(doi_def,
1336 &tag[4],
1337 tag_len - 4,
Paul Moore02752762006-11-29 13:18:18 -05001338 secattr);
1339 if (ret_val != 0) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001340 netlbl_catmap_free(secattr->attr.mls.cat);
Paul Moore446fda42006-08-03 16:48:06 -07001341 return ret_val;
1342 }
Paul Moore02752762006-11-29 13:18:18 -05001343
1344 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
Paul Moore446fda42006-08-03 16:48:06 -07001345 }
1346
1347 return 0;
1348}
1349
1350/**
Paul Moore654bbc22006-11-29 13:18:19 -05001351 * cipso_v4_gentag_enum - Generate a CIPSO enumerated tag (type #2)
1352 * @doi_def: the DOI definition
1353 * @secattr: the security attributes
1354 * @buffer: the option buffer
1355 * @buffer_len: length of buffer in bytes
1356 *
1357 * Description:
1358 * Generate a CIPSO option using the enumerated tag, tag type #2. Returns the
1359 * size of the tag on success, negative values on failure.
1360 *
1361 */
1362static int cipso_v4_gentag_enum(const struct cipso_v4_doi *doi_def,
1363 const struct netlbl_lsm_secattr *secattr,
1364 unsigned char *buffer,
1365 u32 buffer_len)
1366{
1367 int ret_val;
1368 u32 tag_len;
1369 u32 level;
1370
1371 if (!(secattr->flags & NETLBL_SECATTR_MLS_LVL))
1372 return -EPERM;
1373
Paul Moore16efd452008-01-29 08:37:59 -05001374 ret_val = cipso_v4_map_lvl_hton(doi_def,
1375 secattr->attr.mls.lvl,
1376 &level);
Paul Moore654bbc22006-11-29 13:18:19 -05001377 if (ret_val != 0)
1378 return ret_val;
1379
1380 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
1381 ret_val = cipso_v4_map_cat_enum_hton(doi_def,
1382 secattr,
1383 &buffer[4],
1384 buffer_len - 4);
1385 if (ret_val < 0)
1386 return ret_val;
1387
1388 tag_len = 4 + ret_val;
1389 } else
1390 tag_len = 4;
1391
Paul Moore15c45f72008-10-10 10:16:34 -04001392 buffer[0] = CIPSO_V4_TAG_ENUM;
Paul Moore654bbc22006-11-29 13:18:19 -05001393 buffer[1] = tag_len;
1394 buffer[3] = level;
1395
1396 return tag_len;
1397}
1398
1399/**
1400 * cipso_v4_parsetag_enum - Parse a CIPSO enumerated tag
1401 * @doi_def: the DOI definition
1402 * @tag: the CIPSO tag
1403 * @secattr: the security attributes
1404 *
1405 * Description:
1406 * Parse a CIPSO enumerated tag (tag type #2) and return the security
1407 * attributes in @secattr. Return zero on success, negatives values on
1408 * failure.
1409 *
1410 */
1411static int cipso_v4_parsetag_enum(const struct cipso_v4_doi *doi_def,
1412 const unsigned char *tag,
1413 struct netlbl_lsm_secattr *secattr)
1414{
1415 int ret_val;
1416 u8 tag_len = tag[1];
1417 u32 level;
1418
1419 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1420 if (ret_val != 0)
1421 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001422 secattr->attr.mls.lvl = level;
Paul Moore654bbc22006-11-29 13:18:19 -05001423 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
1424
1425 if (tag_len > 4) {
Paul Moore654bbc22006-11-29 13:18:19 -05001426 ret_val = cipso_v4_map_cat_enum_ntoh(doi_def,
1427 &tag[4],
1428 tag_len - 4,
1429 secattr);
1430 if (ret_val != 0) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001431 netlbl_catmap_free(secattr->attr.mls.cat);
Paul Moore654bbc22006-11-29 13:18:19 -05001432 return ret_val;
1433 }
1434
1435 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
1436 }
1437
1438 return 0;
1439}
1440
1441/**
Paul Moore484b3662006-11-29 13:18:20 -05001442 * cipso_v4_gentag_rng - Generate a CIPSO ranged tag (type #5)
1443 * @doi_def: the DOI definition
1444 * @secattr: the security attributes
1445 * @buffer: the option buffer
1446 * @buffer_len: length of buffer in bytes
1447 *
1448 * Description:
1449 * Generate a CIPSO option using the ranged tag, tag type #5. Returns the
1450 * size of the tag on success, negative values on failure.
1451 *
1452 */
1453static int cipso_v4_gentag_rng(const struct cipso_v4_doi *doi_def,
1454 const struct netlbl_lsm_secattr *secattr,
1455 unsigned char *buffer,
1456 u32 buffer_len)
1457{
1458 int ret_val;
1459 u32 tag_len;
1460 u32 level;
1461
1462 if (!(secattr->flags & NETLBL_SECATTR_MLS_LVL))
1463 return -EPERM;
1464
Paul Moore16efd452008-01-29 08:37:59 -05001465 ret_val = cipso_v4_map_lvl_hton(doi_def,
1466 secattr->attr.mls.lvl,
1467 &level);
Paul Moore484b3662006-11-29 13:18:20 -05001468 if (ret_val != 0)
1469 return ret_val;
1470
1471 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
1472 ret_val = cipso_v4_map_cat_rng_hton(doi_def,
1473 secattr,
1474 &buffer[4],
1475 buffer_len - 4);
1476 if (ret_val < 0)
1477 return ret_val;
1478
1479 tag_len = 4 + ret_val;
1480 } else
1481 tag_len = 4;
1482
Paul Moore15c45f72008-10-10 10:16:34 -04001483 buffer[0] = CIPSO_V4_TAG_RANGE;
Paul Moore484b3662006-11-29 13:18:20 -05001484 buffer[1] = tag_len;
1485 buffer[3] = level;
1486
1487 return tag_len;
1488}
1489
1490/**
1491 * cipso_v4_parsetag_rng - Parse a CIPSO ranged tag
1492 * @doi_def: the DOI definition
1493 * @tag: the CIPSO tag
1494 * @secattr: the security attributes
1495 *
1496 * Description:
1497 * Parse a CIPSO ranged tag (tag type #5) and return the security attributes
1498 * in @secattr. Return zero on success, negatives values on failure.
1499 *
1500 */
1501static int cipso_v4_parsetag_rng(const struct cipso_v4_doi *doi_def,
1502 const unsigned char *tag,
1503 struct netlbl_lsm_secattr *secattr)
1504{
1505 int ret_val;
1506 u8 tag_len = tag[1];
1507 u32 level;
1508
1509 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1510 if (ret_val != 0)
1511 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001512 secattr->attr.mls.lvl = level;
Paul Moore484b3662006-11-29 13:18:20 -05001513 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
1514
1515 if (tag_len > 4) {
Paul Moore484b3662006-11-29 13:18:20 -05001516 ret_val = cipso_v4_map_cat_rng_ntoh(doi_def,
1517 &tag[4],
1518 tag_len - 4,
1519 secattr);
1520 if (ret_val != 0) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001521 netlbl_catmap_free(secattr->attr.mls.cat);
Paul Moore484b3662006-11-29 13:18:20 -05001522 return ret_val;
1523 }
1524
1525 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
1526 }
1527
1528 return 0;
1529}
1530
1531/**
Paul Moore15c45f72008-10-10 10:16:34 -04001532 * cipso_v4_gentag_loc - Generate a CIPSO local tag (non-standard)
1533 * @doi_def: the DOI definition
1534 * @secattr: the security attributes
1535 * @buffer: the option buffer
1536 * @buffer_len: length of buffer in bytes
1537 *
1538 * Description:
1539 * Generate a CIPSO option using the local tag. Returns the size of the tag
1540 * on success, negative values on failure.
1541 *
1542 */
1543static int cipso_v4_gentag_loc(const struct cipso_v4_doi *doi_def,
1544 const struct netlbl_lsm_secattr *secattr,
1545 unsigned char *buffer,
1546 u32 buffer_len)
1547{
1548 if (!(secattr->flags & NETLBL_SECATTR_SECID))
1549 return -EPERM;
1550
1551 buffer[0] = CIPSO_V4_TAG_LOCAL;
1552 buffer[1] = CIPSO_V4_TAG_LOC_BLEN;
1553 *(u32 *)&buffer[2] = secattr->attr.secid;
1554
1555 return CIPSO_V4_TAG_LOC_BLEN;
1556}
1557
1558/**
1559 * cipso_v4_parsetag_loc - Parse a CIPSO local tag
1560 * @doi_def: the DOI definition
1561 * @tag: the CIPSO tag
1562 * @secattr: the security attributes
1563 *
1564 * Description:
1565 * Parse a CIPSO local tag and return the security attributes in @secattr.
1566 * Return zero on success, negatives values on failure.
1567 *
1568 */
1569static int cipso_v4_parsetag_loc(const struct cipso_v4_doi *doi_def,
1570 const unsigned char *tag,
1571 struct netlbl_lsm_secattr *secattr)
1572{
1573 secattr->attr.secid = *(u32 *)&tag[2];
1574 secattr->flags |= NETLBL_SECATTR_SECID;
1575
1576 return 0;
1577}
1578
1579/**
Paul Moore04f81f02015-02-11 14:46:37 -05001580 * cipso_v4_optptr - Find the CIPSO option in the packet
1581 * @skb: the packet
1582 *
1583 * Description:
1584 * Parse the packet's IP header looking for a CIPSO option. Returns a pointer
1585 * to the start of the CIPSO option on success, NULL if one if not found.
1586 *
1587 */
1588unsigned char *cipso_v4_optptr(const struct sk_buff *skb)
1589{
1590 const struct iphdr *iph = ip_hdr(skb);
1591 unsigned char *optptr = (unsigned char *)&(ip_hdr(skb)[1]);
1592 int optlen;
1593 int taglen;
1594
1595 for (optlen = iph->ihl*4 - sizeof(struct iphdr); optlen > 0; ) {
1596 if (optptr[0] == IPOPT_CIPSO)
1597 return optptr;
1598 taglen = optptr[1];
1599 optlen -= taglen;
1600 optptr += taglen;
1601 }
1602
1603 return NULL;
1604}
1605
1606/**
Paul Moore446fda42006-08-03 16:48:06 -07001607 * cipso_v4_validate - Validate a CIPSO option
1608 * @option: the start of the option, on error it is set to point to the error
1609 *
1610 * Description:
1611 * This routine is called to validate a CIPSO option, it checks all of the
1612 * fields to ensure that they are at least valid, see the draft snippet below
1613 * for details. If the option is valid then a zero value is returned and
1614 * the value of @option is unchanged. If the option is invalid then a
1615 * non-zero value is returned and @option is adjusted to point to the
1616 * offending portion of the option. From the IETF draft ...
1617 *
1618 * "If any field within the CIPSO options, such as the DOI identifier, is not
1619 * recognized the IP datagram is discarded and an ICMP 'parameter problem'
1620 * (type 12) is generated and returned. The ICMP code field is set to 'bad
1621 * parameter' (code 0) and the pointer is set to the start of the CIPSO field
1622 * that is unrecognized."
1623 *
1624 */
Paul Moore15c45f72008-10-10 10:16:34 -04001625int cipso_v4_validate(const struct sk_buff *skb, unsigned char **option)
Paul Moore446fda42006-08-03 16:48:06 -07001626{
1627 unsigned char *opt = *option;
1628 unsigned char *tag;
1629 unsigned char opt_iter;
1630 unsigned char err_offset = 0;
1631 u8 opt_len;
1632 u8 tag_len;
1633 struct cipso_v4_doi *doi_def = NULL;
1634 u32 tag_iter;
1635
1636 /* caller already checks for length values that are too large */
1637 opt_len = opt[1];
1638 if (opt_len < 8) {
1639 err_offset = 1;
1640 goto validate_return;
1641 }
1642
1643 rcu_read_lock();
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001644 doi_def = cipso_v4_doi_search(get_unaligned_be32(&opt[2]));
Ian Morris51456b22015-04-03 09:17:26 +01001645 if (!doi_def) {
Paul Moore446fda42006-08-03 16:48:06 -07001646 err_offset = 2;
1647 goto validate_return_locked;
1648 }
1649
Paul Moore15c45f72008-10-10 10:16:34 -04001650 opt_iter = CIPSO_V4_HDR_LEN;
Paul Moore446fda42006-08-03 16:48:06 -07001651 tag = opt + opt_iter;
1652 while (opt_iter < opt_len) {
1653 for (tag_iter = 0; doi_def->tags[tag_iter] != tag[0];)
1654 if (doi_def->tags[tag_iter] == CIPSO_V4_TAG_INVALID ||
1655 ++tag_iter == CIPSO_V4_TAG_MAXCNT) {
1656 err_offset = opt_iter;
1657 goto validate_return_locked;
1658 }
1659
1660 tag_len = tag[1];
1661 if (tag_len > (opt_len - opt_iter)) {
1662 err_offset = opt_iter + 1;
1663 goto validate_return_locked;
1664 }
1665
1666 switch (tag[0]) {
1667 case CIPSO_V4_TAG_RBITMAP:
Paul Moore15c45f72008-10-10 10:16:34 -04001668 if (tag_len < CIPSO_V4_TAG_RBM_BLEN) {
Paul Moore446fda42006-08-03 16:48:06 -07001669 err_offset = opt_iter + 1;
1670 goto validate_return_locked;
1671 }
1672
1673 /* We are already going to do all the verification
1674 * necessary at the socket layer so from our point of
1675 * view it is safe to turn these checks off (and less
1676 * work), however, the CIPSO draft says we should do
1677 * all the CIPSO validations here but it doesn't
1678 * really specify _exactly_ what we need to validate
1679 * ... so, just make it a sysctl tunable. */
1680 if (cipso_v4_rbm_strictvalid) {
1681 if (cipso_v4_map_lvl_valid(doi_def,
1682 tag[3]) < 0) {
1683 err_offset = opt_iter + 3;
1684 goto validate_return_locked;
1685 }
Paul Moore15c45f72008-10-10 10:16:34 -04001686 if (tag_len > CIPSO_V4_TAG_RBM_BLEN &&
Paul Moore446fda42006-08-03 16:48:06 -07001687 cipso_v4_map_cat_rbm_valid(doi_def,
1688 &tag[4],
1689 tag_len - 4) < 0) {
1690 err_offset = opt_iter + 4;
1691 goto validate_return_locked;
1692 }
1693 }
1694 break;
Paul Moore654bbc22006-11-29 13:18:19 -05001695 case CIPSO_V4_TAG_ENUM:
Paul Moore15c45f72008-10-10 10:16:34 -04001696 if (tag_len < CIPSO_V4_TAG_ENUM_BLEN) {
Paul Moore654bbc22006-11-29 13:18:19 -05001697 err_offset = opt_iter + 1;
1698 goto validate_return_locked;
1699 }
1700
1701 if (cipso_v4_map_lvl_valid(doi_def,
1702 tag[3]) < 0) {
1703 err_offset = opt_iter + 3;
1704 goto validate_return_locked;
1705 }
Paul Moore15c45f72008-10-10 10:16:34 -04001706 if (tag_len > CIPSO_V4_TAG_ENUM_BLEN &&
Paul Moore654bbc22006-11-29 13:18:19 -05001707 cipso_v4_map_cat_enum_valid(doi_def,
1708 &tag[4],
1709 tag_len - 4) < 0) {
1710 err_offset = opt_iter + 4;
1711 goto validate_return_locked;
1712 }
1713 break;
Paul Moore484b3662006-11-29 13:18:20 -05001714 case CIPSO_V4_TAG_RANGE:
Paul Moore15c45f72008-10-10 10:16:34 -04001715 if (tag_len < CIPSO_V4_TAG_RNG_BLEN) {
Paul Moore484b3662006-11-29 13:18:20 -05001716 err_offset = opt_iter + 1;
1717 goto validate_return_locked;
1718 }
1719
1720 if (cipso_v4_map_lvl_valid(doi_def,
1721 tag[3]) < 0) {
1722 err_offset = opt_iter + 3;
1723 goto validate_return_locked;
1724 }
Paul Moore15c45f72008-10-10 10:16:34 -04001725 if (tag_len > CIPSO_V4_TAG_RNG_BLEN &&
Paul Moore484b3662006-11-29 13:18:20 -05001726 cipso_v4_map_cat_rng_valid(doi_def,
1727 &tag[4],
1728 tag_len - 4) < 0) {
1729 err_offset = opt_iter + 4;
1730 goto validate_return_locked;
1731 }
1732 break;
Paul Moore15c45f72008-10-10 10:16:34 -04001733 case CIPSO_V4_TAG_LOCAL:
1734 /* This is a non-standard tag that we only allow for
1735 * local connections, so if the incoming interface is
Paul Moore89d7ae32012-07-17 11:07:47 +00001736 * not the loopback device drop the packet. Further,
1737 * there is no legitimate reason for setting this from
1738 * userspace so reject it if skb is NULL. */
Ian Morris51456b22015-04-03 09:17:26 +01001739 if (!skb || !(skb->dev->flags & IFF_LOOPBACK)) {
Paul Moore15c45f72008-10-10 10:16:34 -04001740 err_offset = opt_iter;
1741 goto validate_return_locked;
1742 }
1743 if (tag_len != CIPSO_V4_TAG_LOC_BLEN) {
1744 err_offset = opt_iter + 1;
1745 goto validate_return_locked;
1746 }
1747 break;
Paul Moore446fda42006-08-03 16:48:06 -07001748 default:
1749 err_offset = opt_iter;
1750 goto validate_return_locked;
1751 }
1752
1753 tag += tag_len;
1754 opt_iter += tag_len;
1755 }
1756
1757validate_return_locked:
1758 rcu_read_unlock();
1759validate_return:
1760 *option = opt + err_offset;
1761 return err_offset;
1762}
1763
1764/**
Lucas De Marchi25985ed2011-03-30 22:57:33 -03001765 * cipso_v4_error - Send the correct response for a bad packet
Paul Moore446fda42006-08-03 16:48:06 -07001766 * @skb: the packet
1767 * @error: the error code
1768 * @gateway: CIPSO gateway flag
1769 *
1770 * Description:
1771 * Based on the error code given in @error, send an ICMP error message back to
1772 * the originating host. From the IETF draft ...
1773 *
1774 * "If the contents of the CIPSO [option] are valid but the security label is
1775 * outside of the configured host or port label range, the datagram is
1776 * discarded and an ICMP 'destination unreachable' (type 3) is generated and
1777 * returned. The code field of the ICMP is set to 'communication with
1778 * destination network administratively prohibited' (code 9) or to
1779 * 'communication with destination host administratively prohibited'
1780 * (code 10). The value of the code is dependent on whether the originator
1781 * of the ICMP message is acting as a CIPSO host or a CIPSO gateway. The
1782 * recipient of the ICMP message MUST be able to handle either value. The
1783 * same procedure is performed if a CIPSO [option] can not be added to an
1784 * IP packet because it is too large to fit in the IP options area."
1785 *
1786 * "If the error is triggered by receipt of an ICMP message, the message is
1787 * discarded and no response is permitted (consistent with general ICMP
1788 * processing rules)."
1789 *
1790 */
1791void cipso_v4_error(struct sk_buff *skb, int error, u32 gateway)
1792{
Arnaldo Carvalho de Meloeddc9ec2007-04-20 22:47:35 -07001793 if (ip_hdr(skb)->protocol == IPPROTO_ICMP || error != -EACCES)
Paul Moore446fda42006-08-03 16:48:06 -07001794 return;
1795
1796 if (gateway)
1797 icmp_send(skb, ICMP_DEST_UNREACH, ICMP_NET_ANO, 0);
1798 else
1799 icmp_send(skb, ICMP_DEST_UNREACH, ICMP_HOST_ANO, 0);
1800}
1801
1802/**
Paul Moore948bf852008-10-10 10:16:32 -04001803 * cipso_v4_genopt - Generate a CIPSO option
1804 * @buf: the option buffer
1805 * @buf_len: the size of opt_buf
Paul Moore446fda42006-08-03 16:48:06 -07001806 * @doi_def: the CIPSO DOI to use
Paul Moore948bf852008-10-10 10:16:32 -04001807 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -07001808 *
1809 * Description:
Paul Moore948bf852008-10-10 10:16:32 -04001810 * Generate a CIPSO option using the DOI definition and security attributes
1811 * passed to the function. Returns the length of the option on success and
1812 * negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -07001813 *
1814 */
Paul Moore948bf852008-10-10 10:16:32 -04001815static int cipso_v4_genopt(unsigned char *buf, u32 buf_len,
1816 const struct cipso_v4_doi *doi_def,
1817 const struct netlbl_lsm_secattr *secattr)
Paul Moore446fda42006-08-03 16:48:06 -07001818{
Paul Moore948bf852008-10-10 10:16:32 -04001819 int ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001820 u32 iter;
Paul Moore446fda42006-08-03 16:48:06 -07001821
Paul Moore948bf852008-10-10 10:16:32 -04001822 if (buf_len <= CIPSO_V4_HDR_LEN)
1823 return -ENOSPC;
Paul Moore91b1ed02006-11-17 17:38:49 -05001824
Paul Moore446fda42006-08-03 16:48:06 -07001825 /* XXX - This code assumes only one tag per CIPSO option which isn't
1826 * really a good assumption to make but since we only support the MAC
1827 * tags right now it is a safe assumption. */
1828 iter = 0;
1829 do {
Paul Moore91b1ed02006-11-17 17:38:49 -05001830 memset(buf, 0, buf_len);
Paul Moore446fda42006-08-03 16:48:06 -07001831 switch (doi_def->tags[iter]) {
1832 case CIPSO_V4_TAG_RBITMAP:
1833 ret_val = cipso_v4_gentag_rbm(doi_def,
Paul Moore91b1ed02006-11-17 17:38:49 -05001834 secattr,
1835 &buf[CIPSO_V4_HDR_LEN],
1836 buf_len - CIPSO_V4_HDR_LEN);
Paul Moore446fda42006-08-03 16:48:06 -07001837 break;
Paul Moore654bbc22006-11-29 13:18:19 -05001838 case CIPSO_V4_TAG_ENUM:
1839 ret_val = cipso_v4_gentag_enum(doi_def,
1840 secattr,
1841 &buf[CIPSO_V4_HDR_LEN],
1842 buf_len - CIPSO_V4_HDR_LEN);
1843 break;
Paul Moore484b3662006-11-29 13:18:20 -05001844 case CIPSO_V4_TAG_RANGE:
1845 ret_val = cipso_v4_gentag_rng(doi_def,
1846 secattr,
1847 &buf[CIPSO_V4_HDR_LEN],
1848 buf_len - CIPSO_V4_HDR_LEN);
1849 break;
Paul Moore15c45f72008-10-10 10:16:34 -04001850 case CIPSO_V4_TAG_LOCAL:
1851 ret_val = cipso_v4_gentag_loc(doi_def,
1852 secattr,
1853 &buf[CIPSO_V4_HDR_LEN],
1854 buf_len - CIPSO_V4_HDR_LEN);
1855 break;
Paul Moore446fda42006-08-03 16:48:06 -07001856 default:
Paul Moore948bf852008-10-10 10:16:32 -04001857 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -07001858 }
1859
1860 iter++;
Paul Moore91b1ed02006-11-17 17:38:49 -05001861 } while (ret_val < 0 &&
Paul Moore446fda42006-08-03 16:48:06 -07001862 iter < CIPSO_V4_TAG_MAXCNT &&
1863 doi_def->tags[iter] != CIPSO_V4_TAG_INVALID);
Paul Moore91b1ed02006-11-17 17:38:49 -05001864 if (ret_val < 0)
Paul Moore948bf852008-10-10 10:16:32 -04001865 return ret_val;
Paul Moore91b1ed02006-11-17 17:38:49 -05001866 cipso_v4_gentag_hdr(doi_def, buf, ret_val);
Paul Moore948bf852008-10-10 10:16:32 -04001867 return CIPSO_V4_HDR_LEN + ret_val;
1868}
1869
1870/**
1871 * cipso_v4_sock_setattr - Add a CIPSO option to a socket
1872 * @sk: the socket
1873 * @doi_def: the CIPSO DOI to use
1874 * @secattr: the specific security attributes of the socket
1875 *
1876 * Description:
1877 * Set the CIPSO option on the given socket using the DOI definition and
1878 * security attributes passed to the function. This function requires
1879 * exclusive access to @sk, which means it either needs to be in the
1880 * process of being created or locked. Returns zero on success and negative
1881 * values on failure.
1882 *
1883 */
1884int cipso_v4_sock_setattr(struct sock *sk,
1885 const struct cipso_v4_doi *doi_def,
1886 const struct netlbl_lsm_secattr *secattr)
1887{
1888 int ret_val = -EPERM;
1889 unsigned char *buf = NULL;
1890 u32 buf_len;
1891 u32 opt_len;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001892 struct ip_options_rcu *old, *opt = NULL;
Paul Moore948bf852008-10-10 10:16:32 -04001893 struct inet_sock *sk_inet;
1894 struct inet_connection_sock *sk_conn;
1895
1896 /* In the case of sock_create_lite(), the sock->sk field is not
1897 * defined yet but it is not a problem as the only users of these
1898 * "lite" PF_INET sockets are functions which do an accept() call
1899 * afterwards so we will label the socket as part of the accept(). */
Ian Morris51456b22015-04-03 09:17:26 +01001900 if (!sk)
Paul Moore948bf852008-10-10 10:16:32 -04001901 return 0;
1902
1903 /* We allocate the maximum CIPSO option size here so we are probably
1904 * being a little wasteful, but it makes our life _much_ easier later
1905 * on and after all we are only talking about 40 bytes. */
1906 buf_len = CIPSO_V4_OPT_LEN_MAX;
1907 buf = kmalloc(buf_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01001908 if (!buf) {
Paul Moore948bf852008-10-10 10:16:32 -04001909 ret_val = -ENOMEM;
1910 goto socket_setattr_failure;
1911 }
1912
1913 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
1914 if (ret_val < 0)
1915 goto socket_setattr_failure;
1916 buf_len = ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001917
1918 /* We can't use ip_options_get() directly because it makes a call to
1919 * ip_options_get_alloc() which allocates memory with GFP_KERNEL and
Paul Mooref8687af2006-10-30 15:22:15 -08001920 * we won't always have CAP_NET_RAW even though we _always_ want to
1921 * set the IPOPT_CIPSO option. */
Paul Moore446fda42006-08-03 16:48:06 -07001922 opt_len = (buf_len + 3) & ~3;
1923 opt = kzalloc(sizeof(*opt) + opt_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01001924 if (!opt) {
Paul Moore446fda42006-08-03 16:48:06 -07001925 ret_val = -ENOMEM;
1926 goto socket_setattr_failure;
1927 }
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001928 memcpy(opt->opt.__data, buf, buf_len);
1929 opt->opt.optlen = opt_len;
1930 opt->opt.cipso = sizeof(struct iphdr);
Paul Moore446fda42006-08-03 16:48:06 -07001931 kfree(buf);
1932 buf = NULL;
Paul Moore446fda42006-08-03 16:48:06 -07001933
1934 sk_inet = inet_sk(sk);
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001935
Hannes Frederic Sowa1e1d04e2016-04-05 17:10:15 +02001936 old = rcu_dereference_protected(sk_inet->inet_opt,
1937 lockdep_sock_is_held(sk));
Paul Moore446fda42006-08-03 16:48:06 -07001938 if (sk_inet->is_icsk) {
1939 sk_conn = inet_csk(sk);
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001940 if (old)
1941 sk_conn->icsk_ext_hdr_len -= old->opt.optlen;
1942 sk_conn->icsk_ext_hdr_len += opt->opt.optlen;
Paul Moore446fda42006-08-03 16:48:06 -07001943 sk_conn->icsk_sync_mss(sk, sk_conn->icsk_pmtu_cookie);
1944 }
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001945 rcu_assign_pointer(sk_inet->inet_opt, opt);
1946 if (old)
Paul E. McKenney4f9c8c12012-01-06 17:06:11 -08001947 kfree_rcu(old, rcu);
Paul Moore446fda42006-08-03 16:48:06 -07001948
1949 return 0;
1950
1951socket_setattr_failure:
1952 kfree(buf);
1953 kfree(opt);
1954 return ret_val;
1955}
1956
1957/**
Paul Moore389fb8002009-03-27 17:10:34 -04001958 * cipso_v4_req_setattr - Add a CIPSO option to a connection request socket
1959 * @req: the connection request socket
1960 * @doi_def: the CIPSO DOI to use
1961 * @secattr: the specific security attributes of the socket
Paul Moore014ab192008-10-10 10:16:33 -04001962 *
1963 * Description:
Paul Moore389fb8002009-03-27 17:10:34 -04001964 * Set the CIPSO option on the given socket using the DOI definition and
1965 * security attributes passed to the function. Returns zero on success and
1966 * negative values on failure.
Paul Moore014ab192008-10-10 10:16:33 -04001967 *
1968 */
Paul Moore389fb8002009-03-27 17:10:34 -04001969int cipso_v4_req_setattr(struct request_sock *req,
1970 const struct cipso_v4_doi *doi_def,
1971 const struct netlbl_lsm_secattr *secattr)
Paul Moore014ab192008-10-10 10:16:33 -04001972{
Paul Moore389fb8002009-03-27 17:10:34 -04001973 int ret_val = -EPERM;
1974 unsigned char *buf = NULL;
1975 u32 buf_len;
1976 u32 opt_len;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001977 struct ip_options_rcu *opt = NULL;
Paul Moore389fb8002009-03-27 17:10:34 -04001978 struct inet_request_sock *req_inet;
Paul Moore014ab192008-10-10 10:16:33 -04001979
Paul Moore389fb8002009-03-27 17:10:34 -04001980 /* We allocate the maximum CIPSO option size here so we are probably
1981 * being a little wasteful, but it makes our life _much_ easier later
1982 * on and after all we are only talking about 40 bytes. */
1983 buf_len = CIPSO_V4_OPT_LEN_MAX;
1984 buf = kmalloc(buf_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01001985 if (!buf) {
Paul Moore389fb8002009-03-27 17:10:34 -04001986 ret_val = -ENOMEM;
1987 goto req_setattr_failure;
1988 }
1989
1990 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
1991 if (ret_val < 0)
1992 goto req_setattr_failure;
1993 buf_len = ret_val;
1994
1995 /* We can't use ip_options_get() directly because it makes a call to
1996 * ip_options_get_alloc() which allocates memory with GFP_KERNEL and
1997 * we won't always have CAP_NET_RAW even though we _always_ want to
1998 * set the IPOPT_CIPSO option. */
1999 opt_len = (buf_len + 3) & ~3;
2000 opt = kzalloc(sizeof(*opt) + opt_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01002001 if (!opt) {
Paul Moore389fb8002009-03-27 17:10:34 -04002002 ret_val = -ENOMEM;
2003 goto req_setattr_failure;
2004 }
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002005 memcpy(opt->opt.__data, buf, buf_len);
2006 opt->opt.optlen = opt_len;
2007 opt->opt.cipso = sizeof(struct iphdr);
Paul Moore389fb8002009-03-27 17:10:34 -04002008 kfree(buf);
2009 buf = NULL;
2010
2011 req_inet = inet_rsk(req);
2012 opt = xchg(&req_inet->opt, opt);
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002013 if (opt)
Paul E. McKenney4f9c8c12012-01-06 17:06:11 -08002014 kfree_rcu(opt, rcu);
Paul Moore389fb8002009-03-27 17:10:34 -04002015
2016 return 0;
2017
2018req_setattr_failure:
2019 kfree(buf);
2020 kfree(opt);
2021 return ret_val;
2022}
2023
2024/**
2025 * cipso_v4_delopt - Delete the CIPSO option from a set of IP options
2026 * @opt_ptr: IP option pointer
2027 *
2028 * Description:
2029 * Deletes the CIPSO IP option from a set of IP options and makes the necessary
2030 * adjustments to the IP option structure. Returns zero on success, negative
2031 * values on failure.
2032 *
2033 */
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002034static int cipso_v4_delopt(struct ip_options_rcu **opt_ptr)
Paul Moore389fb8002009-03-27 17:10:34 -04002035{
2036 int hdr_delta = 0;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002037 struct ip_options_rcu *opt = *opt_ptr;
Paul Moore014ab192008-10-10 10:16:33 -04002038
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002039 if (opt->opt.srr || opt->opt.rr || opt->opt.ts || opt->opt.router_alert) {
Paul Moore014ab192008-10-10 10:16:33 -04002040 u8 cipso_len;
2041 u8 cipso_off;
2042 unsigned char *cipso_ptr;
2043 int iter;
2044 int optlen_new;
2045
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002046 cipso_off = opt->opt.cipso - sizeof(struct iphdr);
2047 cipso_ptr = &opt->opt.__data[cipso_off];
Paul Moore014ab192008-10-10 10:16:33 -04002048 cipso_len = cipso_ptr[1];
2049
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002050 if (opt->opt.srr > opt->opt.cipso)
2051 opt->opt.srr -= cipso_len;
2052 if (opt->opt.rr > opt->opt.cipso)
2053 opt->opt.rr -= cipso_len;
2054 if (opt->opt.ts > opt->opt.cipso)
2055 opt->opt.ts -= cipso_len;
2056 if (opt->opt.router_alert > opt->opt.cipso)
2057 opt->opt.router_alert -= cipso_len;
2058 opt->opt.cipso = 0;
Paul Moore014ab192008-10-10 10:16:33 -04002059
2060 memmove(cipso_ptr, cipso_ptr + cipso_len,
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002061 opt->opt.optlen - cipso_off - cipso_len);
Paul Moore014ab192008-10-10 10:16:33 -04002062
2063 /* determining the new total option length is tricky because of
2064 * the padding necessary, the only thing i can think to do at
2065 * this point is walk the options one-by-one, skipping the
2066 * padding at the end to determine the actual option size and
2067 * from there we can determine the new total option length */
2068 iter = 0;
2069 optlen_new = 0;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002070 while (iter < opt->opt.optlen)
2071 if (opt->opt.__data[iter] != IPOPT_NOP) {
2072 iter += opt->opt.__data[iter + 1];
Paul Moore014ab192008-10-10 10:16:33 -04002073 optlen_new = iter;
2074 } else
2075 iter++;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002076 hdr_delta = opt->opt.optlen;
2077 opt->opt.optlen = (optlen_new + 3) & ~3;
2078 hdr_delta -= opt->opt.optlen;
Paul Moore014ab192008-10-10 10:16:33 -04002079 } else {
2080 /* only the cipso option was present on the socket so we can
2081 * remove the entire option struct */
Paul Moore389fb8002009-03-27 17:10:34 -04002082 *opt_ptr = NULL;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002083 hdr_delta = opt->opt.optlen;
Paul E. McKenney4f9c8c12012-01-06 17:06:11 -08002084 kfree_rcu(opt, rcu);
Paul Moore014ab192008-10-10 10:16:33 -04002085 }
2086
Paul Moore389fb8002009-03-27 17:10:34 -04002087 return hdr_delta;
2088}
2089
2090/**
2091 * cipso_v4_sock_delattr - Delete the CIPSO option from a socket
2092 * @sk: the socket
2093 *
2094 * Description:
2095 * Removes the CIPSO option from a socket, if present.
2096 *
2097 */
2098void cipso_v4_sock_delattr(struct sock *sk)
2099{
2100 int hdr_delta;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002101 struct ip_options_rcu *opt;
Paul Moore389fb8002009-03-27 17:10:34 -04002102 struct inet_sock *sk_inet;
2103
2104 sk_inet = inet_sk(sk);
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002105 opt = rcu_dereference_protected(sk_inet->inet_opt, 1);
Ian Morris51456b22015-04-03 09:17:26 +01002106 if (!opt || opt->opt.cipso == 0)
Paul Moore389fb8002009-03-27 17:10:34 -04002107 return;
2108
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002109 hdr_delta = cipso_v4_delopt(&sk_inet->inet_opt);
Paul Moore014ab192008-10-10 10:16:33 -04002110 if (sk_inet->is_icsk && hdr_delta > 0) {
2111 struct inet_connection_sock *sk_conn = inet_csk(sk);
2112 sk_conn->icsk_ext_hdr_len -= hdr_delta;
2113 sk_conn->icsk_sync_mss(sk, sk_conn->icsk_pmtu_cookie);
2114 }
2115}
2116
2117/**
Paul Moore389fb8002009-03-27 17:10:34 -04002118 * cipso_v4_req_delattr - Delete the CIPSO option from a request socket
2119 * @reg: the request socket
2120 *
2121 * Description:
2122 * Removes the CIPSO option from a request socket, if present.
2123 *
2124 */
2125void cipso_v4_req_delattr(struct request_sock *req)
2126{
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002127 struct ip_options_rcu *opt;
Paul Moore389fb8002009-03-27 17:10:34 -04002128 struct inet_request_sock *req_inet;
2129
2130 req_inet = inet_rsk(req);
2131 opt = req_inet->opt;
Ian Morris51456b22015-04-03 09:17:26 +01002132 if (!opt || opt->opt.cipso == 0)
Paul Moore389fb8002009-03-27 17:10:34 -04002133 return;
2134
2135 cipso_v4_delopt(&req_inet->opt);
2136}
2137
2138/**
Paul Moore63d804ea2007-09-15 21:45:13 -07002139 * cipso_v4_getattr - Helper function for the cipso_v4_*_getattr functions
2140 * @cipso: the CIPSO v4 option
2141 * @secattr: the security attributes
2142 *
2143 * Description:
2144 * Inspect @cipso and return the security attributes in @secattr. Returns zero
2145 * on success and negative values on failure.
2146 *
2147 */
Paul Moore04f81f02015-02-11 14:46:37 -05002148int cipso_v4_getattr(const unsigned char *cipso,
2149 struct netlbl_lsm_secattr *secattr)
Paul Moore63d804ea2007-09-15 21:45:13 -07002150{
2151 int ret_val = -ENOMSG;
2152 u32 doi;
2153 struct cipso_v4_doi *doi_def;
2154
2155 if (cipso_v4_cache_check(cipso, cipso[1], secattr) == 0)
2156 return 0;
2157
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07002158 doi = get_unaligned_be32(&cipso[2]);
Paul Moore63d804ea2007-09-15 21:45:13 -07002159 rcu_read_lock();
2160 doi_def = cipso_v4_doi_search(doi);
Ian Morris51456b22015-04-03 09:17:26 +01002161 if (!doi_def)
Paul Moore63d804ea2007-09-15 21:45:13 -07002162 goto getattr_return;
2163 /* XXX - This code assumes only one tag per CIPSO option which isn't
2164 * really a good assumption to make but since we only support the MAC
2165 * tags right now it is a safe assumption. */
2166 switch (cipso[6]) {
2167 case CIPSO_V4_TAG_RBITMAP:
2168 ret_val = cipso_v4_parsetag_rbm(doi_def, &cipso[6], secattr);
2169 break;
2170 case CIPSO_V4_TAG_ENUM:
2171 ret_val = cipso_v4_parsetag_enum(doi_def, &cipso[6], secattr);
2172 break;
2173 case CIPSO_V4_TAG_RANGE:
2174 ret_val = cipso_v4_parsetag_rng(doi_def, &cipso[6], secattr);
2175 break;
Paul Moore15c45f72008-10-10 10:16:34 -04002176 case CIPSO_V4_TAG_LOCAL:
2177 ret_val = cipso_v4_parsetag_loc(doi_def, &cipso[6], secattr);
2178 break;
Paul Moore63d804ea2007-09-15 21:45:13 -07002179 }
Paul Moore16efd452008-01-29 08:37:59 -05002180 if (ret_val == 0)
2181 secattr->type = NETLBL_NLTYPE_CIPSOV4;
Paul Moore63d804ea2007-09-15 21:45:13 -07002182
2183getattr_return:
2184 rcu_read_unlock();
2185 return ret_val;
2186}
2187
2188/**
Paul Moore14a72f52006-09-25 15:52:01 -07002189 * cipso_v4_sock_getattr - Get the security attributes from a sock
2190 * @sk: the sock
2191 * @secattr: the security attributes
2192 *
2193 * Description:
2194 * Query @sk to see if there is a CIPSO option attached to the sock and if
2195 * there is return the CIPSO security attributes in @secattr. This function
2196 * requires that @sk be locked, or privately held, but it does not do any
2197 * locking itself. Returns zero on success and negative values on failure.
2198 *
2199 */
2200int cipso_v4_sock_getattr(struct sock *sk, struct netlbl_lsm_secattr *secattr)
2201{
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002202 struct ip_options_rcu *opt;
2203 int res = -ENOMSG;
Paul Moore14a72f52006-09-25 15:52:01 -07002204
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002205 rcu_read_lock();
2206 opt = rcu_dereference(inet_sk(sk)->inet_opt);
2207 if (opt && opt->opt.cipso)
2208 res = cipso_v4_getattr(opt->opt.__data +
2209 opt->opt.cipso -
2210 sizeof(struct iphdr),
2211 secattr);
2212 rcu_read_unlock();
2213 return res;
Paul Moore14a72f52006-09-25 15:52:01 -07002214}
2215
2216/**
Paul Moore948bf852008-10-10 10:16:32 -04002217 * cipso_v4_skbuff_setattr - Set the CIPSO option on a packet
2218 * @skb: the packet
2219 * @secattr: the security attributes
2220 *
2221 * Description:
2222 * Set the CIPSO option on the given packet based on the security attributes.
2223 * Returns a pointer to the IP header on success and NULL on failure.
2224 *
2225 */
2226int cipso_v4_skbuff_setattr(struct sk_buff *skb,
2227 const struct cipso_v4_doi *doi_def,
2228 const struct netlbl_lsm_secattr *secattr)
2229{
2230 int ret_val;
2231 struct iphdr *iph;
2232 struct ip_options *opt = &IPCB(skb)->opt;
2233 unsigned char buf[CIPSO_V4_OPT_LEN_MAX];
2234 u32 buf_len = CIPSO_V4_OPT_LEN_MAX;
2235 u32 opt_len;
2236 int len_delta;
2237
roel kluin00af5c62008-10-29 15:55:53 -04002238 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
2239 if (ret_val < 0)
2240 return ret_val;
2241 buf_len = ret_val;
Paul Moore948bf852008-10-10 10:16:32 -04002242 opt_len = (buf_len + 3) & ~3;
2243
2244 /* we overwrite any existing options to ensure that we have enough
2245 * room for the CIPSO option, the reason is that we _need_ to guarantee
2246 * that the security label is applied to the packet - we do the same
2247 * thing when using the socket options and it hasn't caused a problem,
2248 * if we need to we can always revisit this choice later */
2249
2250 len_delta = opt_len - opt->optlen;
2251 /* if we don't ensure enough headroom we could panic on the skb_push()
2252 * call below so make sure we have enough, we are also "mangling" the
2253 * packet so we should probably do a copy-on-write call anyway */
2254 ret_val = skb_cow(skb, skb_headroom(skb) + len_delta);
2255 if (ret_val < 0)
2256 return ret_val;
2257
2258 if (len_delta > 0) {
2259 /* we assume that the header + opt->optlen have already been
2260 * "pushed" in ip_options_build() or similar */
2261 iph = ip_hdr(skb);
2262 skb_push(skb, len_delta);
2263 memmove((char *)iph - len_delta, iph, iph->ihl << 2);
2264 skb_reset_network_header(skb);
2265 iph = ip_hdr(skb);
2266 } else if (len_delta < 0) {
2267 iph = ip_hdr(skb);
2268 memset(iph + 1, IPOPT_NOP, opt->optlen);
2269 } else
2270 iph = ip_hdr(skb);
2271
2272 if (opt->optlen > 0)
2273 memset(opt, 0, sizeof(*opt));
2274 opt->optlen = opt_len;
2275 opt->cipso = sizeof(struct iphdr);
2276 opt->is_changed = 1;
2277
2278 /* we have to do the following because we are being called from a
2279 * netfilter hook which means the packet already has had the header
2280 * fields populated and the checksum calculated - yes this means we
2281 * are doing more work than needed but we do it to keep the core
2282 * stack clean and tidy */
2283 memcpy(iph + 1, buf, buf_len);
2284 if (opt_len > buf_len)
2285 memset((char *)(iph + 1) + buf_len, 0, opt_len - buf_len);
2286 if (len_delta != 0) {
2287 iph->ihl = 5 + (opt_len >> 2);
2288 iph->tot_len = htons(skb->len);
2289 }
2290 ip_send_check(iph);
2291
2292 return 0;
2293}
2294
2295/**
2296 * cipso_v4_skbuff_delattr - Delete any CIPSO options from a packet
2297 * @skb: the packet
2298 *
2299 * Description:
2300 * Removes any and all CIPSO options from the given packet. Returns zero on
2301 * success, negative values on failure.
2302 *
2303 */
2304int cipso_v4_skbuff_delattr(struct sk_buff *skb)
2305{
2306 int ret_val;
2307 struct iphdr *iph;
2308 struct ip_options *opt = &IPCB(skb)->opt;
2309 unsigned char *cipso_ptr;
2310
2311 if (opt->cipso == 0)
2312 return 0;
2313
2314 /* since we are changing the packet we should make a copy */
2315 ret_val = skb_cow(skb, skb_headroom(skb));
2316 if (ret_val < 0)
2317 return ret_val;
2318
2319 /* the easiest thing to do is just replace the cipso option with noop
2320 * options since we don't change the size of the packet, although we
2321 * still need to recalculate the checksum */
2322
2323 iph = ip_hdr(skb);
2324 cipso_ptr = (unsigned char *)iph + opt->cipso;
2325 memset(cipso_ptr, IPOPT_NOOP, cipso_ptr[1]);
2326 opt->cipso = 0;
2327 opt->is_changed = 1;
2328
2329 ip_send_check(iph);
2330
2331 return 0;
2332}
2333
Paul Moore446fda42006-08-03 16:48:06 -07002334/*
2335 * Setup Functions
2336 */
2337
2338/**
2339 * cipso_v4_init - Initialize the CIPSO module
2340 *
2341 * Description:
2342 * Initialize the CIPSO module and prepare it for use. Returns zero on success
2343 * and negative values on failure.
2344 *
2345 */
2346static int __init cipso_v4_init(void)
2347{
2348 int ret_val;
2349
2350 ret_val = cipso_v4_cache_init();
2351 if (ret_val != 0)
2352 panic("Failed to initialize the CIPSO/IPv4 cache (%d)\n",
2353 ret_val);
2354
2355 return 0;
2356}
2357
2358subsys_initcall(cipso_v4_init);