blob: c97cd9ff697ee1cba4f373333190126c57970f28 [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:
12 * http://netlabel.sourceforge.net/files/draft-ietf-cipso-ipsecurity-01.txt
13 * 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
34 * along with this program; if not, write to the Free Software
35 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
36 *
37 */
38
39#include <linux/init.h>
40#include <linux/types.h>
41#include <linux/rcupdate.h>
42#include <linux/list.h>
43#include <linux/spinlock.h>
44#include <linux/string.h>
45#include <linux/jhash.h>
Paul Moore6c2e8ac2008-12-31 12:54:11 -050046#include <linux/audit.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090047#include <linux/slab.h>
Paul Moore446fda42006-08-03 16:48:06 -070048#include <net/ip.h>
49#include <net/icmp.h>
50#include <net/tcp.h>
51#include <net/netlabel.h>
52#include <net/cipso_ipv4.h>
paul.moore@hp.comffb733c2006-10-04 11:46:31 -040053#include <asm/atomic.h>
Paul Moore446fda42006-08-03 16:48:06 -070054#include <asm/bug.h>
Paul Moore50e5d352007-06-07 18:38:14 -070055#include <asm/unaligned.h>
Paul Moore446fda42006-08-03 16:48:06 -070056
Paul Moore446fda42006-08-03 16:48:06 -070057/* List of available DOI definitions */
Paul Moore446fda42006-08-03 16:48:06 -070058/* XXX - This currently assumes a minimal number of different DOIs in use,
59 * if in practice there are a lot of different DOIs this list should
60 * probably be turned into a hash table or something similar so we
61 * can do quick lookups. */
Adrian Bunk8ce11e62006-08-07 21:50:48 -070062static DEFINE_SPINLOCK(cipso_v4_doi_list_lock);
Denis Cheng1596c972007-12-07 00:49:47 -080063static LIST_HEAD(cipso_v4_doi_list);
Paul Moore446fda42006-08-03 16:48:06 -070064
65/* Label mapping cache */
66int cipso_v4_cache_enabled = 1;
67int cipso_v4_cache_bucketsize = 10;
68#define CIPSO_V4_CACHE_BUCKETBITS 7
69#define CIPSO_V4_CACHE_BUCKETS (1 << CIPSO_V4_CACHE_BUCKETBITS)
70#define CIPSO_V4_CACHE_REORDERLIMIT 10
71struct cipso_v4_map_cache_bkt {
72 spinlock_t lock;
73 u32 size;
74 struct list_head list;
75};
76struct 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};
86static struct cipso_v4_map_cache_bkt *cipso_v4_cache = NULL;
87
88/* Restricted bitmap (tag #1) flags */
89int cipso_v4_rbm_optfmt = 0;
90int cipso_v4_rbm_strictvalid = 1;
91
92/*
Paul Mooref998e8c2007-02-28 15:14:20 -050093 * Protocol Constants
94 */
95
96/* Maximum size of the CIPSO IP option, derived from the fact that the maximum
97 * IPv4 header size is 60 bytes and the base IPv4 header is 20 bytes long. */
98#define CIPSO_V4_OPT_LEN_MAX 40
99
100/* Length of the base CIPSO option, this includes the option type (1 byte), the
101 * option length (1 byte), and the DOI (4 bytes). */
102#define CIPSO_V4_HDR_LEN 6
103
104/* Base length of the restrictive category bitmap tag (tag #1). */
105#define CIPSO_V4_TAG_RBM_BLEN 4
106
107/* Base length of the enumerated category tag (tag #2). */
108#define CIPSO_V4_TAG_ENUM_BLEN 4
109
110/* Base length of the ranged categories bitmap tag (tag #5). */
111#define CIPSO_V4_TAG_RNG_BLEN 4
112/* The maximum number of category ranges permitted in the ranged category tag
113 * (tag #5). You may note that the IETF draft states that the maximum number
114 * of category ranges is 7, but if the low end of the last category range is
115 * zero then it is possibile to fit 8 category ranges because the zero should
116 * be omitted. */
117#define CIPSO_V4_TAG_RNG_CAT_MAX 8
118
Paul Moore15c45f72008-10-10 10:16:34 -0400119/* Base length of the local tag (non-standard tag).
120 * Tag definition (may change between kernel versions)
121 *
122 * 0 8 16 24 32
123 * +----------+----------+----------+----------+
124 * | 10000000 | 00000110 | 32-bit secid value |
125 * +----------+----------+----------+----------+
126 * | in (host byte order)|
127 * +----------+----------+
128 *
129 */
130#define CIPSO_V4_TAG_LOC_BLEN 6
131
Paul Mooref998e8c2007-02-28 15:14:20 -0500132/*
Paul Moore446fda42006-08-03 16:48:06 -0700133 * Helper Functions
134 */
135
136/**
137 * cipso_v4_bitmap_walk - Walk a bitmap looking for a bit
138 * @bitmap: the bitmap
139 * @bitmap_len: length in bits
140 * @offset: starting offset
141 * @state: if non-zero, look for a set (1) bit else look for a cleared (0) bit
142 *
143 * Description:
144 * Starting at @offset, walk the bitmap from left to right until either the
145 * desired bit is found or we reach the end. Return the bit offset, -1 if
146 * not found, or -2 if error.
147 */
148static int cipso_v4_bitmap_walk(const unsigned char *bitmap,
149 u32 bitmap_len,
150 u32 offset,
151 u8 state)
152{
153 u32 bit_spot;
154 u32 byte_offset;
155 unsigned char bitmask;
156 unsigned char byte;
157
158 /* gcc always rounds to zero when doing integer division */
159 byte_offset = offset / 8;
160 byte = bitmap[byte_offset];
161 bit_spot = offset;
162 bitmask = 0x80 >> (offset % 8);
163
164 while (bit_spot < bitmap_len) {
165 if ((state && (byte & bitmask) == bitmask) ||
166 (state == 0 && (byte & bitmask) == 0))
167 return bit_spot;
168
169 bit_spot++;
170 bitmask >>= 1;
171 if (bitmask == 0) {
172 byte = bitmap[++byte_offset];
173 bitmask = 0x80;
174 }
175 }
176
177 return -1;
178}
179
180/**
181 * cipso_v4_bitmap_setbit - Sets a single bit in a bitmap
182 * @bitmap: the bitmap
183 * @bit: the bit
184 * @state: if non-zero, set the bit (1) else clear the bit (0)
185 *
186 * Description:
187 * Set a single bit in the bitmask. Returns zero on success, negative values
188 * on error.
189 */
190static void cipso_v4_bitmap_setbit(unsigned char *bitmap,
191 u32 bit,
192 u8 state)
193{
194 u32 byte_spot;
195 u8 bitmask;
196
197 /* gcc always rounds to zero when doing integer division */
198 byte_spot = bit / 8;
199 bitmask = 0x80 >> (bit % 8);
200 if (state)
201 bitmap[byte_spot] |= bitmask;
202 else
203 bitmap[byte_spot] &= ~bitmask;
204}
205
206/**
Paul Moore446fda42006-08-03 16:48:06 -0700207 * cipso_v4_cache_entry_free - Frees a cache entry
208 * @entry: the entry to free
209 *
210 * Description:
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400211 * This function frees the memory associated with a cache entry including the
212 * LSM cache data if there are no longer any users, i.e. reference count == 0.
Paul Moore446fda42006-08-03 16:48:06 -0700213 *
214 */
215static void cipso_v4_cache_entry_free(struct cipso_v4_map_cache_entry *entry)
216{
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400217 if (entry->lsm_data)
218 netlbl_secattr_cache_free(entry->lsm_data);
Paul Moore446fda42006-08-03 16:48:06 -0700219 kfree(entry->key);
220 kfree(entry);
221}
222
223/**
224 * cipso_v4_map_cache_hash - Hashing function for the CIPSO cache
225 * @key: the hash key
226 * @key_len: the length of the key in bytes
227 *
228 * Description:
229 * The CIPSO tag hashing function. Returns a 32-bit hash value.
230 *
231 */
232static u32 cipso_v4_map_cache_hash(const unsigned char *key, u32 key_len)
233{
234 return jhash(key, key_len, 0);
235}
236
237/*
238 * Label Mapping Cache Functions
239 */
240
241/**
242 * cipso_v4_cache_init - Initialize the CIPSO cache
243 *
244 * Description:
245 * Initializes the CIPSO label mapping cache, this function should be called
246 * before any of the other functions defined in this file. Returns zero on
247 * success, negative values on error.
248 *
249 */
250static int cipso_v4_cache_init(void)
251{
252 u32 iter;
253
254 cipso_v4_cache = kcalloc(CIPSO_V4_CACHE_BUCKETS,
255 sizeof(struct cipso_v4_map_cache_bkt),
256 GFP_KERNEL);
257 if (cipso_v4_cache == NULL)
258 return -ENOMEM;
259
260 for (iter = 0; iter < CIPSO_V4_CACHE_BUCKETS; iter++) {
261 spin_lock_init(&cipso_v4_cache[iter].lock);
262 cipso_v4_cache[iter].size = 0;
263 INIT_LIST_HEAD(&cipso_v4_cache[iter].list);
264 }
265
266 return 0;
267}
268
269/**
270 * cipso_v4_cache_invalidate - Invalidates the current CIPSO cache
271 *
272 * Description:
273 * Invalidates and frees any entries in the CIPSO cache. Returns zero on
274 * success and negative values on failure.
275 *
276 */
277void cipso_v4_cache_invalidate(void)
278{
279 struct cipso_v4_map_cache_entry *entry, *tmp_entry;
280 u32 iter;
281
282 for (iter = 0; iter < CIPSO_V4_CACHE_BUCKETS; iter++) {
Paul Moore609c92f2006-09-25 15:52:37 -0700283 spin_lock_bh(&cipso_v4_cache[iter].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700284 list_for_each_entry_safe(entry,
285 tmp_entry,
286 &cipso_v4_cache[iter].list, list) {
287 list_del(&entry->list);
288 cipso_v4_cache_entry_free(entry);
289 }
290 cipso_v4_cache[iter].size = 0;
Paul Moore609c92f2006-09-25 15:52:37 -0700291 spin_unlock_bh(&cipso_v4_cache[iter].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700292 }
293
294 return;
295}
296
297/**
298 * cipso_v4_cache_check - Check the CIPSO cache for a label mapping
299 * @key: the buffer to check
300 * @key_len: buffer length in bytes
301 * @secattr: the security attribute struct to use
302 *
303 * Description:
304 * This function checks the cache to see if a label mapping already exists for
305 * the given key. If there is a match then the cache is adjusted and the
306 * @secattr struct is populated with the correct LSM security attributes. The
307 * cache is adjusted in the following manner if the entry is not already the
308 * first in the cache bucket:
309 *
310 * 1. The cache entry's activity counter is incremented
311 * 2. The previous (higher ranking) entry's activity counter is decremented
312 * 3. If the difference between the two activity counters is geater than
313 * CIPSO_V4_CACHE_REORDERLIMIT the two entries are swapped
314 *
315 * Returns zero on success, -ENOENT for a cache miss, and other negative values
316 * on error.
317 *
318 */
319static int cipso_v4_cache_check(const unsigned char *key,
320 u32 key_len,
321 struct netlbl_lsm_secattr *secattr)
322{
323 u32 bkt;
324 struct cipso_v4_map_cache_entry *entry;
325 struct cipso_v4_map_cache_entry *prev_entry = NULL;
326 u32 hash;
327
328 if (!cipso_v4_cache_enabled)
329 return -ENOENT;
330
331 hash = cipso_v4_map_cache_hash(key, key_len);
Pavel Emelyanov5e0f8922008-05-13 23:23:55 -0700332 bkt = hash & (CIPSO_V4_CACHE_BUCKETS - 1);
Paul Moore609c92f2006-09-25 15:52:37 -0700333 spin_lock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700334 list_for_each_entry(entry, &cipso_v4_cache[bkt].list, list) {
335 if (entry->hash == hash &&
336 entry->key_len == key_len &&
337 memcmp(entry->key, key, key_len) == 0) {
338 entry->activity += 1;
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400339 atomic_inc(&entry->lsm_data->refcount);
340 secattr->cache = entry->lsm_data;
Paul Moore701a90b2006-11-17 17:38:46 -0500341 secattr->flags |= NETLBL_SECATTR_CACHE;
Paul Moore16efd452008-01-29 08:37:59 -0500342 secattr->type = NETLBL_NLTYPE_CIPSOV4;
Paul Moore446fda42006-08-03 16:48:06 -0700343 if (prev_entry == NULL) {
Paul Moore609c92f2006-09-25 15:52:37 -0700344 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700345 return 0;
346 }
347
348 if (prev_entry->activity > 0)
349 prev_entry->activity -= 1;
350 if (entry->activity > prev_entry->activity &&
351 entry->activity - prev_entry->activity >
352 CIPSO_V4_CACHE_REORDERLIMIT) {
353 __list_del(entry->list.prev, entry->list.next);
354 __list_add(&entry->list,
355 prev_entry->list.prev,
356 &prev_entry->list);
357 }
358
Paul Moore609c92f2006-09-25 15:52:37 -0700359 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700360 return 0;
361 }
362 prev_entry = entry;
363 }
Paul Moore609c92f2006-09-25 15:52:37 -0700364 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700365
366 return -ENOENT;
367}
368
369/**
370 * cipso_v4_cache_add - Add an entry to the CIPSO cache
371 * @skb: the packet
372 * @secattr: the packet's security attributes
373 *
374 * Description:
375 * Add a new entry into the CIPSO label mapping cache. Add the new entry to
376 * head of the cache bucket's list, if the cache bucket is out of room remove
377 * the last entry in the list first. It is important to note that there is
378 * currently no checking for duplicate keys. Returns zero on success,
379 * negative values on failure.
380 *
381 */
382int cipso_v4_cache_add(const struct sk_buff *skb,
383 const struct netlbl_lsm_secattr *secattr)
384{
385 int ret_val = -EPERM;
386 u32 bkt;
387 struct cipso_v4_map_cache_entry *entry = NULL;
388 struct cipso_v4_map_cache_entry *old_entry = NULL;
389 unsigned char *cipso_ptr;
390 u32 cipso_ptr_len;
391
392 if (!cipso_v4_cache_enabled || cipso_v4_cache_bucketsize <= 0)
393 return 0;
394
395 cipso_ptr = CIPSO_V4_OPTPTR(skb);
396 cipso_ptr_len = cipso_ptr[1];
397
398 entry = kzalloc(sizeof(*entry), GFP_ATOMIC);
399 if (entry == NULL)
400 return -ENOMEM;
Arnaldo Carvalho de Melofac5d732006-11-17 11:14:16 -0200401 entry->key = kmemdup(cipso_ptr, cipso_ptr_len, GFP_ATOMIC);
Paul Moore446fda42006-08-03 16:48:06 -0700402 if (entry->key == NULL) {
403 ret_val = -ENOMEM;
404 goto cache_add_failure;
405 }
Paul Moore446fda42006-08-03 16:48:06 -0700406 entry->key_len = cipso_ptr_len;
407 entry->hash = cipso_v4_map_cache_hash(cipso_ptr, cipso_ptr_len);
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400408 atomic_inc(&secattr->cache->refcount);
409 entry->lsm_data = secattr->cache;
Paul Moore446fda42006-08-03 16:48:06 -0700410
Pavel Emelyanov5e0f8922008-05-13 23:23:55 -0700411 bkt = entry->hash & (CIPSO_V4_CACHE_BUCKETS - 1);
Paul Moore609c92f2006-09-25 15:52:37 -0700412 spin_lock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700413 if (cipso_v4_cache[bkt].size < cipso_v4_cache_bucketsize) {
414 list_add(&entry->list, &cipso_v4_cache[bkt].list);
415 cipso_v4_cache[bkt].size += 1;
416 } else {
417 old_entry = list_entry(cipso_v4_cache[bkt].list.prev,
418 struct cipso_v4_map_cache_entry, list);
419 list_del(&old_entry->list);
420 list_add(&entry->list, &cipso_v4_cache[bkt].list);
421 cipso_v4_cache_entry_free(old_entry);
422 }
Paul Moore609c92f2006-09-25 15:52:37 -0700423 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700424
425 return 0;
426
427cache_add_failure:
428 if (entry)
429 cipso_v4_cache_entry_free(entry);
430 return ret_val;
431}
432
433/*
434 * DOI List Functions
435 */
436
437/**
438 * cipso_v4_doi_search - Searches for a DOI definition
439 * @doi: the DOI to search for
440 *
441 * Description:
442 * Search the DOI definition list for a DOI definition with a DOI value that
443 * matches @doi. The caller is responsibile for calling rcu_read_[un]lock().
444 * Returns a pointer to the DOI definition on success and NULL on failure.
445 */
446static struct cipso_v4_doi *cipso_v4_doi_search(u32 doi)
447{
448 struct cipso_v4_doi *iter;
449
450 list_for_each_entry_rcu(iter, &cipso_v4_doi_list, list)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400451 if (iter->doi == doi && atomic_read(&iter->refcount))
Paul Moore446fda42006-08-03 16:48:06 -0700452 return iter;
453 return NULL;
454}
455
456/**
457 * cipso_v4_doi_add - Add a new DOI to the CIPSO protocol engine
458 * @doi_def: the DOI structure
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500459 * @audit_info: NetLabel audit information
Paul Moore446fda42006-08-03 16:48:06 -0700460 *
461 * Description:
462 * The caller defines a new DOI for use by the CIPSO engine and calls this
463 * function to add it to the list of acceptable domains. The caller must
464 * ensure that the mapping table specified in @doi_def->map meets all of the
465 * requirements of the mapping type (see cipso_ipv4.h for details). Returns
466 * zero on success and non-zero on failure.
467 *
468 */
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500469int cipso_v4_doi_add(struct cipso_v4_doi *doi_def,
470 struct netlbl_audit *audit_info)
Paul Moore446fda42006-08-03 16:48:06 -0700471{
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500472 int ret_val = -EINVAL;
Paul Moore6ce61a72006-11-17 17:38:48 -0500473 u32 iter;
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500474 u32 doi;
475 u32 doi_type;
476 struct audit_buffer *audit_buf;
477
478 doi = doi_def->doi;
479 doi_type = doi_def->type;
Paul Moore6ce61a72006-11-17 17:38:48 -0500480
Paul Moore446fda42006-08-03 16:48:06 -0700481 if (doi_def == NULL || doi_def->doi == CIPSO_V4_DOI_UNKNOWN)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500482 goto doi_add_return;
Paul Moore6ce61a72006-11-17 17:38:48 -0500483 for (iter = 0; iter < CIPSO_V4_TAG_MAXCNT; iter++) {
484 switch (doi_def->tags[iter]) {
485 case CIPSO_V4_TAG_RBITMAP:
486 break;
Paul Moore484b3662006-11-29 13:18:20 -0500487 case CIPSO_V4_TAG_RANGE:
Paul Moore654bbc22006-11-29 13:18:19 -0500488 case CIPSO_V4_TAG_ENUM:
489 if (doi_def->type != CIPSO_V4_MAP_PASS)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500490 goto doi_add_return;
Paul Moore654bbc22006-11-29 13:18:19 -0500491 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400492 case CIPSO_V4_TAG_LOCAL:
493 if (doi_def->type != CIPSO_V4_MAP_LOCAL)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500494 goto doi_add_return;
495 break;
496 case CIPSO_V4_TAG_INVALID:
497 if (iter == 0)
498 goto doi_add_return;
Paul Moore15c45f72008-10-10 10:16:34 -0400499 break;
Paul Moore6ce61a72006-11-17 17:38:48 -0500500 default:
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500501 goto doi_add_return;
Paul Moore6ce61a72006-11-17 17:38:48 -0500502 }
503 }
Paul Moore446fda42006-08-03 16:48:06 -0700504
Paul Mooreb1edeb12008-10-10 10:16:31 -0400505 atomic_set(&doi_def->refcount, 1);
Paul Moore446fda42006-08-03 16:48:06 -0700506
Paul Moore446fda42006-08-03 16:48:06 -0700507 spin_lock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500508 if (cipso_v4_doi_search(doi_def->doi) != NULL) {
509 spin_unlock(&cipso_v4_doi_list_lock);
510 ret_val = -EEXIST;
511 goto doi_add_return;
512 }
Paul Moore446fda42006-08-03 16:48:06 -0700513 list_add_tail_rcu(&doi_def->list, &cipso_v4_doi_list);
514 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500515 ret_val = 0;
Paul Moore446fda42006-08-03 16:48:06 -0700516
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500517doi_add_return:
518 audit_buf = netlbl_audit_start(AUDIT_MAC_CIPSOV4_ADD, audit_info);
519 if (audit_buf != NULL) {
520 const char *type_str;
521 switch (doi_type) {
522 case CIPSO_V4_MAP_TRANS:
523 type_str = "trans";
524 break;
525 case CIPSO_V4_MAP_PASS:
526 type_str = "pass";
527 break;
528 case CIPSO_V4_MAP_LOCAL:
529 type_str = "local";
530 break;
531 default:
532 type_str = "(unknown)";
533 }
534 audit_log_format(audit_buf,
535 " cipso_doi=%u cipso_type=%s res=%u",
536 doi, type_str, ret_val == 0 ? 1 : 0);
537 audit_log_end(audit_buf);
538 }
Paul Moore446fda42006-08-03 16:48:06 -0700539
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500540 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700541}
542
543/**
Paul Mooreb1edeb12008-10-10 10:16:31 -0400544 * cipso_v4_doi_free - Frees a DOI definition
545 * @entry: the entry's RCU field
Paul Moore446fda42006-08-03 16:48:06 -0700546 *
547 * Description:
Paul Mooreb1edeb12008-10-10 10:16:31 -0400548 * This function frees all of the memory associated with a DOI definition.
Paul Moore446fda42006-08-03 16:48:06 -0700549 *
550 */
Paul Mooreb1edeb12008-10-10 10:16:31 -0400551void cipso_v4_doi_free(struct cipso_v4_doi *doi_def)
Paul Moore446fda42006-08-03 16:48:06 -0700552{
Paul Mooreb1edeb12008-10-10 10:16:31 -0400553 if (doi_def == NULL)
554 return;
Paul Moore446fda42006-08-03 16:48:06 -0700555
Paul Mooreb1edeb12008-10-10 10:16:31 -0400556 switch (doi_def->type) {
Paul Moore15c45f72008-10-10 10:16:34 -0400557 case CIPSO_V4_MAP_TRANS:
Paul Mooreb1edeb12008-10-10 10:16:31 -0400558 kfree(doi_def->map.std->lvl.cipso);
559 kfree(doi_def->map.std->lvl.local);
560 kfree(doi_def->map.std->cat.cipso);
561 kfree(doi_def->map.std->cat.local);
562 break;
Paul Moore446fda42006-08-03 16:48:06 -0700563 }
Paul Mooreb1edeb12008-10-10 10:16:31 -0400564 kfree(doi_def);
Paul Moore446fda42006-08-03 16:48:06 -0700565}
566
567/**
Paul Mooreb1edeb12008-10-10 10:16:31 -0400568 * cipso_v4_doi_free_rcu - Frees a DOI definition via the RCU pointer
569 * @entry: the entry's RCU field
570 *
571 * Description:
572 * This function is designed to be used as a callback to the call_rcu()
573 * function so that the memory allocated to the DOI definition can be released
574 * safely.
575 *
576 */
577static void cipso_v4_doi_free_rcu(struct rcu_head *entry)
578{
579 struct cipso_v4_doi *doi_def;
580
581 doi_def = container_of(entry, struct cipso_v4_doi, rcu);
582 cipso_v4_doi_free(doi_def);
583}
584
585/**
586 * cipso_v4_doi_remove - Remove an existing DOI from the CIPSO protocol engine
587 * @doi: the DOI value
588 * @audit_secid: the LSM secid to use in the audit message
589 *
590 * Description:
591 * Removes a DOI definition from the CIPSO engine. The NetLabel routines will
592 * be called to release their own LSM domain mappings as well as our own
593 * domain list. Returns zero on success and negative values on failure.
594 *
595 */
596int cipso_v4_doi_remove(u32 doi, struct netlbl_audit *audit_info)
597{
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500598 int ret_val;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400599 struct cipso_v4_doi *doi_def;
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500600 struct audit_buffer *audit_buf;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400601
602 spin_lock(&cipso_v4_doi_list_lock);
603 doi_def = cipso_v4_doi_search(doi);
604 if (doi_def == NULL) {
605 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500606 ret_val = -ENOENT;
607 goto doi_remove_return;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400608 }
609 if (!atomic_dec_and_test(&doi_def->refcount)) {
610 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500611 ret_val = -EBUSY;
612 goto doi_remove_return;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400613 }
614 list_del_rcu(&doi_def->list);
615 spin_unlock(&cipso_v4_doi_list_lock);
616
617 cipso_v4_cache_invalidate();
618 call_rcu(&doi_def->rcu, cipso_v4_doi_free_rcu);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500619 ret_val = 0;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400620
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500621doi_remove_return:
622 audit_buf = netlbl_audit_start(AUDIT_MAC_CIPSOV4_DEL, audit_info);
623 if (audit_buf != NULL) {
624 audit_log_format(audit_buf,
625 " cipso_doi=%u res=%u",
626 doi, ret_val == 0 ? 1 : 0);
627 audit_log_end(audit_buf);
628 }
629
630 return ret_val;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400631}
632
633/**
634 * cipso_v4_doi_getdef - Returns a reference to a valid DOI definition
Paul Moore446fda42006-08-03 16:48:06 -0700635 * @doi: the DOI value
636 *
637 * Description:
638 * Searches for a valid DOI definition and if one is found it is returned to
639 * the caller. Otherwise NULL is returned. The caller must ensure that
Paul Mooreb1edeb12008-10-10 10:16:31 -0400640 * rcu_read_lock() is held while accessing the returned definition and the DOI
641 * definition reference count is decremented when the caller is done.
Paul Moore446fda42006-08-03 16:48:06 -0700642 *
643 */
644struct cipso_v4_doi *cipso_v4_doi_getdef(u32 doi)
645{
Paul Mooreb1edeb12008-10-10 10:16:31 -0400646 struct cipso_v4_doi *doi_def;
647
648 rcu_read_lock();
649 doi_def = cipso_v4_doi_search(doi);
650 if (doi_def == NULL)
651 goto doi_getdef_return;
652 if (!atomic_inc_not_zero(&doi_def->refcount))
653 doi_def = NULL;
654
655doi_getdef_return:
656 rcu_read_unlock();
657 return doi_def;
658}
659
660/**
661 * cipso_v4_doi_putdef - Releases a reference for the given DOI definition
662 * @doi_def: the DOI definition
663 *
664 * Description:
665 * Releases a DOI definition reference obtained from cipso_v4_doi_getdef().
666 *
667 */
668void cipso_v4_doi_putdef(struct cipso_v4_doi *doi_def)
669{
670 if (doi_def == NULL)
671 return;
672
673 if (!atomic_dec_and_test(&doi_def->refcount))
674 return;
675 spin_lock(&cipso_v4_doi_list_lock);
676 list_del_rcu(&doi_def->list);
677 spin_unlock(&cipso_v4_doi_list_lock);
678
679 cipso_v4_cache_invalidate();
680 call_rcu(&doi_def->rcu, cipso_v4_doi_free_rcu);
Paul Moore446fda42006-08-03 16:48:06 -0700681}
682
683/**
Paul Moorefcd48282006-09-25 15:56:09 -0700684 * cipso_v4_doi_walk - Iterate through the DOI definitions
685 * @skip_cnt: skip past this number of DOI definitions, updated
686 * @callback: callback for each DOI definition
687 * @cb_arg: argument for the callback function
Paul Moore446fda42006-08-03 16:48:06 -0700688 *
689 * Description:
Paul Moorefcd48282006-09-25 15:56:09 -0700690 * Iterate over the DOI definition list, skipping the first @skip_cnt entries.
691 * For each entry call @callback, if @callback returns a negative value stop
692 * 'walking' through the list and return. Updates the value in @skip_cnt upon
693 * return. Returns zero on success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -0700694 *
695 */
Paul Moorefcd48282006-09-25 15:56:09 -0700696int cipso_v4_doi_walk(u32 *skip_cnt,
697 int (*callback) (struct cipso_v4_doi *doi_def, void *arg),
698 void *cb_arg)
Paul Moore446fda42006-08-03 16:48:06 -0700699{
Paul Moorefcd48282006-09-25 15:56:09 -0700700 int ret_val = -ENOENT;
Paul Moore446fda42006-08-03 16:48:06 -0700701 u32 doi_cnt = 0;
Paul Moorefcd48282006-09-25 15:56:09 -0700702 struct cipso_v4_doi *iter_doi;
Paul Moore446fda42006-08-03 16:48:06 -0700703
704 rcu_read_lock();
Paul Moorefcd48282006-09-25 15:56:09 -0700705 list_for_each_entry_rcu(iter_doi, &cipso_v4_doi_list, list)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400706 if (atomic_read(&iter_doi->refcount) > 0) {
Paul Moorefcd48282006-09-25 15:56:09 -0700707 if (doi_cnt++ < *skip_cnt)
708 continue;
709 ret_val = callback(iter_doi, cb_arg);
710 if (ret_val < 0) {
711 doi_cnt--;
712 goto doi_walk_return;
Paul Moore446fda42006-08-03 16:48:06 -0700713 }
Paul Moorefcd48282006-09-25 15:56:09 -0700714 }
Paul Moore446fda42006-08-03 16:48:06 -0700715
Paul Moorefcd48282006-09-25 15:56:09 -0700716doi_walk_return:
Paul Moore446fda42006-08-03 16:48:06 -0700717 rcu_read_unlock();
Paul Moorefcd48282006-09-25 15:56:09 -0700718 *skip_cnt = doi_cnt;
719 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700720}
721
Paul Moore446fda42006-08-03 16:48:06 -0700722/*
723 * Label Mapping Functions
724 */
725
726/**
727 * cipso_v4_map_lvl_valid - Checks to see if the given level is understood
728 * @doi_def: the DOI definition
729 * @level: the level to check
730 *
731 * Description:
732 * Checks the given level against the given DOI definition and returns a
733 * negative value if the level does not have a valid mapping and a zero value
734 * if the level is defined by the DOI.
735 *
736 */
737static int cipso_v4_map_lvl_valid(const struct cipso_v4_doi *doi_def, u8 level)
738{
739 switch (doi_def->type) {
740 case CIPSO_V4_MAP_PASS:
741 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400742 case CIPSO_V4_MAP_TRANS:
Paul Moore446fda42006-08-03 16:48:06 -0700743 if (doi_def->map.std->lvl.cipso[level] < CIPSO_V4_INV_LVL)
744 return 0;
745 break;
746 }
747
748 return -EFAULT;
749}
750
751/**
752 * cipso_v4_map_lvl_hton - Perform a level mapping from the host to the network
753 * @doi_def: the DOI definition
754 * @host_lvl: the host MLS level
755 * @net_lvl: the network/CIPSO MLS level
756 *
757 * Description:
758 * Perform a label mapping to translate a local MLS level to the correct
759 * CIPSO level using the given DOI definition. Returns zero on success,
760 * negative values otherwise.
761 *
762 */
763static int cipso_v4_map_lvl_hton(const struct cipso_v4_doi *doi_def,
764 u32 host_lvl,
765 u32 *net_lvl)
766{
767 switch (doi_def->type) {
768 case CIPSO_V4_MAP_PASS:
769 *net_lvl = host_lvl;
770 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400771 case CIPSO_V4_MAP_TRANS:
Paul Moorec6387a82007-03-02 13:19:02 -0800772 if (host_lvl < doi_def->map.std->lvl.local_size &&
773 doi_def->map.std->lvl.local[host_lvl] < CIPSO_V4_INV_LVL) {
Paul Moore446fda42006-08-03 16:48:06 -0700774 *net_lvl = doi_def->map.std->lvl.local[host_lvl];
775 return 0;
776 }
Paul Moorec6387a82007-03-02 13:19:02 -0800777 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700778 }
779
780 return -EINVAL;
781}
782
783/**
784 * cipso_v4_map_lvl_ntoh - Perform a level mapping from the network to the host
785 * @doi_def: the DOI definition
786 * @net_lvl: the network/CIPSO MLS level
787 * @host_lvl: the host MLS level
788 *
789 * Description:
790 * Perform a label mapping to translate a CIPSO level to the correct local MLS
791 * level using the given DOI definition. Returns zero on success, negative
792 * values otherwise.
793 *
794 */
795static int cipso_v4_map_lvl_ntoh(const struct cipso_v4_doi *doi_def,
796 u32 net_lvl,
797 u32 *host_lvl)
798{
799 struct cipso_v4_std_map_tbl *map_tbl;
800
801 switch (doi_def->type) {
802 case CIPSO_V4_MAP_PASS:
803 *host_lvl = net_lvl;
804 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400805 case CIPSO_V4_MAP_TRANS:
Paul Moore446fda42006-08-03 16:48:06 -0700806 map_tbl = doi_def->map.std;
807 if (net_lvl < map_tbl->lvl.cipso_size &&
808 map_tbl->lvl.cipso[net_lvl] < CIPSO_V4_INV_LVL) {
809 *host_lvl = doi_def->map.std->lvl.cipso[net_lvl];
810 return 0;
811 }
Paul Moorec6387a82007-03-02 13:19:02 -0800812 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700813 }
814
815 return -EINVAL;
816}
817
818/**
819 * cipso_v4_map_cat_rbm_valid - Checks to see if the category bitmap is valid
820 * @doi_def: the DOI definition
821 * @bitmap: category bitmap
822 * @bitmap_len: bitmap length in bytes
823 *
824 * Description:
825 * Checks the given category bitmap against the given DOI definition and
826 * returns a negative value if any of the categories in the bitmap do not have
827 * a valid mapping and a zero value if all of the categories are valid.
828 *
829 */
830static int cipso_v4_map_cat_rbm_valid(const struct cipso_v4_doi *doi_def,
831 const unsigned char *bitmap,
832 u32 bitmap_len)
833{
834 int cat = -1;
835 u32 bitmap_len_bits = bitmap_len * 8;
Paul Moore044a68e2006-10-11 19:10:47 -0400836 u32 cipso_cat_size;
837 u32 *cipso_array;
Paul Moore446fda42006-08-03 16:48:06 -0700838
839 switch (doi_def->type) {
840 case CIPSO_V4_MAP_PASS:
841 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400842 case CIPSO_V4_MAP_TRANS:
Paul Moore044a68e2006-10-11 19:10:47 -0400843 cipso_cat_size = doi_def->map.std->cat.cipso_size;
844 cipso_array = doi_def->map.std->cat.cipso;
Paul Moore446fda42006-08-03 16:48:06 -0700845 for (;;) {
846 cat = cipso_v4_bitmap_walk(bitmap,
847 bitmap_len_bits,
848 cat + 1,
849 1);
850 if (cat < 0)
851 break;
852 if (cat >= cipso_cat_size ||
853 cipso_array[cat] >= CIPSO_V4_INV_CAT)
854 return -EFAULT;
855 }
856
857 if (cat == -1)
858 return 0;
859 break;
860 }
861
862 return -EFAULT;
863}
864
865/**
866 * cipso_v4_map_cat_rbm_hton - Perform a category mapping from host to network
867 * @doi_def: the DOI definition
Paul Moore02752762006-11-29 13:18:18 -0500868 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -0700869 * @net_cat: the zero'd out category bitmap in network/CIPSO format
870 * @net_cat_len: the length of the CIPSO bitmap in bytes
871 *
872 * Description:
873 * Perform a label mapping to translate a local MLS category bitmap to the
874 * correct CIPSO bitmap using the given DOI definition. Returns the minimum
875 * size in bytes of the network bitmap on success, negative values otherwise.
876 *
877 */
878static int cipso_v4_map_cat_rbm_hton(const struct cipso_v4_doi *doi_def,
Paul Moore02752762006-11-29 13:18:18 -0500879 const struct netlbl_lsm_secattr *secattr,
Paul Moore446fda42006-08-03 16:48:06 -0700880 unsigned char *net_cat,
881 u32 net_cat_len)
882{
883 int host_spot = -1;
Paul Moore02752762006-11-29 13:18:18 -0500884 u32 net_spot = CIPSO_V4_INV_CAT;
Paul Moore446fda42006-08-03 16:48:06 -0700885 u32 net_spot_max = 0;
Paul Moore446fda42006-08-03 16:48:06 -0700886 u32 net_clen_bits = net_cat_len * 8;
Paul Moore02752762006-11-29 13:18:18 -0500887 u32 host_cat_size = 0;
888 u32 *host_cat_array = NULL;
Paul Moore446fda42006-08-03 16:48:06 -0700889
Paul Moore15c45f72008-10-10 10:16:34 -0400890 if (doi_def->type == CIPSO_V4_MAP_TRANS) {
Paul Moore044a68e2006-10-11 19:10:47 -0400891 host_cat_size = doi_def->map.std->cat.local_size;
892 host_cat_array = doi_def->map.std->cat.local;
Paul Moore02752762006-11-29 13:18:18 -0500893 }
894
895 for (;;) {
Paul Moore16efd452008-01-29 08:37:59 -0500896 host_spot = netlbl_secattr_catmap_walk(secattr->attr.mls.cat,
Paul Moore02752762006-11-29 13:18:18 -0500897 host_spot + 1);
898 if (host_spot < 0)
899 break;
900
901 switch (doi_def->type) {
902 case CIPSO_V4_MAP_PASS:
903 net_spot = host_spot;
904 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400905 case CIPSO_V4_MAP_TRANS:
Paul Moore446fda42006-08-03 16:48:06 -0700906 if (host_spot >= host_cat_size)
907 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700908 net_spot = host_cat_array[host_spot];
Paul Moore9fade4b2006-11-17 17:38:50 -0500909 if (net_spot >= CIPSO_V4_INV_CAT)
910 return -EPERM;
Paul Moore02752762006-11-29 13:18:18 -0500911 break;
Paul Moore446fda42006-08-03 16:48:06 -0700912 }
Paul Moore02752762006-11-29 13:18:18 -0500913 if (net_spot >= net_clen_bits)
914 return -ENOSPC;
915 cipso_v4_bitmap_setbit(net_cat, net_spot, 1);
Paul Moore446fda42006-08-03 16:48:06 -0700916
Paul Moore02752762006-11-29 13:18:18 -0500917 if (net_spot > net_spot_max)
918 net_spot_max = net_spot;
Paul Moore446fda42006-08-03 16:48:06 -0700919 }
920
Paul Moore02752762006-11-29 13:18:18 -0500921 if (++net_spot_max % 8)
922 return net_spot_max / 8 + 1;
923 return net_spot_max / 8;
Paul Moore446fda42006-08-03 16:48:06 -0700924}
925
926/**
927 * cipso_v4_map_cat_rbm_ntoh - Perform a category mapping from network to host
928 * @doi_def: the DOI definition
929 * @net_cat: the category bitmap in network/CIPSO format
930 * @net_cat_len: the length of the CIPSO bitmap in bytes
Paul Moore02752762006-11-29 13:18:18 -0500931 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -0700932 *
933 * Description:
934 * Perform a label mapping to translate a CIPSO bitmap to the correct local
Paul Moore02752762006-11-29 13:18:18 -0500935 * MLS category bitmap using the given DOI definition. Returns zero on
936 * success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -0700937 *
938 */
939static int cipso_v4_map_cat_rbm_ntoh(const struct cipso_v4_doi *doi_def,
940 const unsigned char *net_cat,
941 u32 net_cat_len,
Paul Moore02752762006-11-29 13:18:18 -0500942 struct netlbl_lsm_secattr *secattr)
Paul Moore446fda42006-08-03 16:48:06 -0700943{
Paul Moore02752762006-11-29 13:18:18 -0500944 int ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700945 int net_spot = -1;
Paul Moore02752762006-11-29 13:18:18 -0500946 u32 host_spot = CIPSO_V4_INV_CAT;
Paul Moore446fda42006-08-03 16:48:06 -0700947 u32 net_clen_bits = net_cat_len * 8;
Paul Moore02752762006-11-29 13:18:18 -0500948 u32 net_cat_size = 0;
949 u32 *net_cat_array = NULL;
Paul Moore446fda42006-08-03 16:48:06 -0700950
Paul Moore15c45f72008-10-10 10:16:34 -0400951 if (doi_def->type == CIPSO_V4_MAP_TRANS) {
Paul Moore044a68e2006-10-11 19:10:47 -0400952 net_cat_size = doi_def->map.std->cat.cipso_size;
953 net_cat_array = doi_def->map.std->cat.cipso;
Paul Moore02752762006-11-29 13:18:18 -0500954 }
Paul Moore446fda42006-08-03 16:48:06 -0700955
Paul Moore02752762006-11-29 13:18:18 -0500956 for (;;) {
957 net_spot = cipso_v4_bitmap_walk(net_cat,
958 net_clen_bits,
959 net_spot + 1,
960 1);
961 if (net_spot < 0) {
962 if (net_spot == -2)
963 return -EFAULT;
964 return 0;
965 }
966
967 switch (doi_def->type) {
968 case CIPSO_V4_MAP_PASS:
969 host_spot = net_spot;
970 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400971 case CIPSO_V4_MAP_TRANS:
Paul Moore02752762006-11-29 13:18:18 -0500972 if (net_spot >= net_cat_size)
973 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700974 host_spot = net_cat_array[net_spot];
Paul Moore9fade4b2006-11-17 17:38:50 -0500975 if (host_spot >= CIPSO_V4_INV_CAT)
976 return -EPERM;
Paul Moore02752762006-11-29 13:18:18 -0500977 break;
Paul Moore446fda42006-08-03 16:48:06 -0700978 }
Paul Moore16efd452008-01-29 08:37:59 -0500979 ret_val = netlbl_secattr_catmap_setbit(secattr->attr.mls.cat,
Paul Moore02752762006-11-29 13:18:18 -0500980 host_spot,
981 GFP_ATOMIC);
982 if (ret_val != 0)
983 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700984 }
985
986 return -EINVAL;
987}
988
Paul Moore654bbc22006-11-29 13:18:19 -0500989/**
990 * cipso_v4_map_cat_enum_valid - Checks to see if the categories are valid
991 * @doi_def: the DOI definition
992 * @enumcat: category list
993 * @enumcat_len: length of the category list in bytes
994 *
995 * Description:
996 * Checks the given categories against the given DOI definition and returns a
997 * negative value if any of the categories do not have a valid mapping and a
998 * zero value if all of the categories are valid.
999 *
1000 */
1001static int cipso_v4_map_cat_enum_valid(const struct cipso_v4_doi *doi_def,
1002 const unsigned char *enumcat,
1003 u32 enumcat_len)
1004{
1005 u16 cat;
1006 int cat_prev = -1;
1007 u32 iter;
1008
1009 if (doi_def->type != CIPSO_V4_MAP_PASS || enumcat_len & 0x01)
1010 return -EFAULT;
1011
1012 for (iter = 0; iter < enumcat_len; iter += 2) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001013 cat = get_unaligned_be16(&enumcat[iter]);
Paul Moore654bbc22006-11-29 13:18:19 -05001014 if (cat <= cat_prev)
1015 return -EFAULT;
1016 cat_prev = cat;
1017 }
1018
1019 return 0;
1020}
1021
1022/**
1023 * cipso_v4_map_cat_enum_hton - Perform a category mapping from host to network
1024 * @doi_def: the DOI definition
1025 * @secattr: the security attributes
1026 * @net_cat: the zero'd out category list in network/CIPSO format
1027 * @net_cat_len: the length of the CIPSO category list in bytes
1028 *
1029 * Description:
1030 * Perform a label mapping to translate a local MLS category bitmap to the
1031 * correct CIPSO category list using the given DOI definition. Returns the
1032 * size in bytes of the network category bitmap on success, negative values
1033 * otherwise.
1034 *
1035 */
1036static int cipso_v4_map_cat_enum_hton(const struct cipso_v4_doi *doi_def,
1037 const struct netlbl_lsm_secattr *secattr,
1038 unsigned char *net_cat,
1039 u32 net_cat_len)
1040{
1041 int cat = -1;
1042 u32 cat_iter = 0;
1043
1044 for (;;) {
Paul Moore16efd452008-01-29 08:37:59 -05001045 cat = netlbl_secattr_catmap_walk(secattr->attr.mls.cat,
1046 cat + 1);
Paul Moore654bbc22006-11-29 13:18:19 -05001047 if (cat < 0)
1048 break;
1049 if ((cat_iter + 2) > net_cat_len)
1050 return -ENOSPC;
1051
1052 *((__be16 *)&net_cat[cat_iter]) = htons(cat);
1053 cat_iter += 2;
1054 }
1055
1056 return cat_iter;
1057}
1058
1059/**
1060 * cipso_v4_map_cat_enum_ntoh - Perform a category mapping from network to host
1061 * @doi_def: the DOI definition
1062 * @net_cat: the category list in network/CIPSO format
1063 * @net_cat_len: the length of the CIPSO bitmap in bytes
1064 * @secattr: the security attributes
1065 *
1066 * Description:
1067 * Perform a label mapping to translate a CIPSO category list to the correct
1068 * local MLS category bitmap using the given DOI definition. Returns zero on
1069 * success, negative values on failure.
1070 *
1071 */
1072static int cipso_v4_map_cat_enum_ntoh(const struct cipso_v4_doi *doi_def,
1073 const unsigned char *net_cat,
1074 u32 net_cat_len,
1075 struct netlbl_lsm_secattr *secattr)
1076{
1077 int ret_val;
1078 u32 iter;
1079
1080 for (iter = 0; iter < net_cat_len; iter += 2) {
Paul Moore16efd452008-01-29 08:37:59 -05001081 ret_val = netlbl_secattr_catmap_setbit(secattr->attr.mls.cat,
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001082 get_unaligned_be16(&net_cat[iter]),
Paul Moore50e5d352007-06-07 18:38:14 -07001083 GFP_ATOMIC);
Paul Moore654bbc22006-11-29 13:18:19 -05001084 if (ret_val != 0)
1085 return ret_val;
1086 }
1087
1088 return 0;
1089}
1090
Paul Moore484b3662006-11-29 13:18:20 -05001091/**
1092 * cipso_v4_map_cat_rng_valid - Checks to see if the categories are valid
1093 * @doi_def: the DOI definition
1094 * @rngcat: category list
1095 * @rngcat_len: length of the category list in bytes
1096 *
1097 * Description:
1098 * Checks the given categories against the given DOI definition and returns a
1099 * negative value if any of the categories do not have a valid mapping and a
1100 * zero value if all of the categories are valid.
1101 *
1102 */
1103static int cipso_v4_map_cat_rng_valid(const struct cipso_v4_doi *doi_def,
1104 const unsigned char *rngcat,
1105 u32 rngcat_len)
1106{
1107 u16 cat_high;
1108 u16 cat_low;
1109 u32 cat_prev = CIPSO_V4_MAX_REM_CATS + 1;
1110 u32 iter;
1111
1112 if (doi_def->type != CIPSO_V4_MAP_PASS || rngcat_len & 0x01)
1113 return -EFAULT;
1114
1115 for (iter = 0; iter < rngcat_len; iter += 4) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001116 cat_high = get_unaligned_be16(&rngcat[iter]);
Paul Moore484b3662006-11-29 13:18:20 -05001117 if ((iter + 4) <= rngcat_len)
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001118 cat_low = get_unaligned_be16(&rngcat[iter + 2]);
Paul Moore484b3662006-11-29 13:18:20 -05001119 else
1120 cat_low = 0;
1121
1122 if (cat_high > cat_prev)
1123 return -EFAULT;
1124
1125 cat_prev = cat_low;
1126 }
1127
1128 return 0;
1129}
1130
1131/**
1132 * cipso_v4_map_cat_rng_hton - Perform a category mapping from host to network
1133 * @doi_def: the DOI definition
1134 * @secattr: the security attributes
1135 * @net_cat: the zero'd out category list in network/CIPSO format
1136 * @net_cat_len: the length of the CIPSO category list in bytes
1137 *
1138 * Description:
1139 * Perform a label mapping to translate a local MLS category bitmap to the
1140 * correct CIPSO category list using the given DOI definition. Returns the
1141 * size in bytes of the network category bitmap on success, negative values
1142 * otherwise.
1143 *
1144 */
1145static int cipso_v4_map_cat_rng_hton(const struct cipso_v4_doi *doi_def,
1146 const struct netlbl_lsm_secattr *secattr,
1147 unsigned char *net_cat,
1148 u32 net_cat_len)
1149{
Paul Moore484b3662006-11-29 13:18:20 -05001150 int iter = -1;
Paul Mooref998e8c2007-02-28 15:14:20 -05001151 u16 array[CIPSO_V4_TAG_RNG_CAT_MAX * 2];
Paul Moore484b3662006-11-29 13:18:20 -05001152 u32 array_cnt = 0;
1153 u32 cat_size = 0;
1154
Paul Mooref998e8c2007-02-28 15:14:20 -05001155 /* make sure we don't overflow the 'array[]' variable */
Paul Moore128c6b62007-02-28 15:14:21 -05001156 if (net_cat_len >
1157 (CIPSO_V4_OPT_LEN_MAX - CIPSO_V4_HDR_LEN - CIPSO_V4_TAG_RNG_BLEN))
1158 return -ENOSPC;
Paul Moore484b3662006-11-29 13:18:20 -05001159
1160 for (;;) {
Paul Moore16efd452008-01-29 08:37:59 -05001161 iter = netlbl_secattr_catmap_walk(secattr->attr.mls.cat,
1162 iter + 1);
Paul Moore484b3662006-11-29 13:18:20 -05001163 if (iter < 0)
1164 break;
1165 cat_size += (iter == 0 ? 0 : sizeof(u16));
1166 if (cat_size > net_cat_len)
1167 return -ENOSPC;
1168 array[array_cnt++] = iter;
1169
Paul Moore16efd452008-01-29 08:37:59 -05001170 iter = netlbl_secattr_catmap_walk_rng(secattr->attr.mls.cat,
1171 iter);
Paul Moore484b3662006-11-29 13:18:20 -05001172 if (iter < 0)
1173 return -EFAULT;
1174 cat_size += sizeof(u16);
1175 if (cat_size > net_cat_len)
1176 return -ENOSPC;
1177 array[array_cnt++] = iter;
1178 }
1179
1180 for (iter = 0; array_cnt > 0;) {
1181 *((__be16 *)&net_cat[iter]) = htons(array[--array_cnt]);
1182 iter += 2;
1183 array_cnt--;
1184 if (array[array_cnt] != 0) {
1185 *((__be16 *)&net_cat[iter]) = htons(array[array_cnt]);
1186 iter += 2;
1187 }
1188 }
1189
1190 return cat_size;
1191}
1192
1193/**
1194 * cipso_v4_map_cat_rng_ntoh - Perform a category mapping from network to host
1195 * @doi_def: the DOI definition
1196 * @net_cat: the category list in network/CIPSO format
1197 * @net_cat_len: the length of the CIPSO bitmap in bytes
1198 * @secattr: the security attributes
1199 *
1200 * Description:
1201 * Perform a label mapping to translate a CIPSO category list to the correct
1202 * local MLS category bitmap using the given DOI definition. Returns zero on
1203 * success, negative values on failure.
1204 *
1205 */
1206static int cipso_v4_map_cat_rng_ntoh(const struct cipso_v4_doi *doi_def,
1207 const unsigned char *net_cat,
1208 u32 net_cat_len,
1209 struct netlbl_lsm_secattr *secattr)
1210{
1211 int ret_val;
1212 u32 net_iter;
1213 u16 cat_low;
1214 u16 cat_high;
1215
Stephen Hemminger132adf52007-03-08 20:44:43 -08001216 for (net_iter = 0; net_iter < net_cat_len; net_iter += 4) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001217 cat_high = get_unaligned_be16(&net_cat[net_iter]);
Paul Moore484b3662006-11-29 13:18:20 -05001218 if ((net_iter + 4) <= net_cat_len)
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001219 cat_low = get_unaligned_be16(&net_cat[net_iter + 2]);
Paul Moore484b3662006-11-29 13:18:20 -05001220 else
1221 cat_low = 0;
1222
Paul Moore16efd452008-01-29 08:37:59 -05001223 ret_val = netlbl_secattr_catmap_setrng(secattr->attr.mls.cat,
Paul Moore484b3662006-11-29 13:18:20 -05001224 cat_low,
1225 cat_high,
1226 GFP_ATOMIC);
1227 if (ret_val != 0)
1228 return ret_val;
1229 }
1230
1231 return 0;
1232}
1233
Paul Moore446fda42006-08-03 16:48:06 -07001234/*
1235 * Protocol Handling Functions
1236 */
1237
Paul Moore446fda42006-08-03 16:48:06 -07001238/**
1239 * cipso_v4_gentag_hdr - Generate a CIPSO option header
1240 * @doi_def: the DOI definition
Paul Moore91b1ed02006-11-17 17:38:49 -05001241 * @len: the total tag length in bytes, not including this header
Paul Moore446fda42006-08-03 16:48:06 -07001242 * @buf: the CIPSO option buffer
1243 *
1244 * Description:
Paul Moore91b1ed02006-11-17 17:38:49 -05001245 * Write a CIPSO header into the beginning of @buffer.
Paul Moore446fda42006-08-03 16:48:06 -07001246 *
1247 */
Paul Moore91b1ed02006-11-17 17:38:49 -05001248static void cipso_v4_gentag_hdr(const struct cipso_v4_doi *doi_def,
1249 unsigned char *buf,
1250 u32 len)
Paul Moore446fda42006-08-03 16:48:06 -07001251{
Paul Moore446fda42006-08-03 16:48:06 -07001252 buf[0] = IPOPT_CIPSO;
1253 buf[1] = CIPSO_V4_HDR_LEN + len;
Al Viro714e85b2006-11-14 20:51:49 -08001254 *(__be32 *)&buf[2] = htonl(doi_def->doi);
Paul Moore446fda42006-08-03 16:48:06 -07001255}
1256
Paul Moore446fda42006-08-03 16:48:06 -07001257/**
1258 * cipso_v4_gentag_rbm - Generate a CIPSO restricted bitmap tag (type #1)
1259 * @doi_def: the DOI definition
1260 * @secattr: the security attributes
1261 * @buffer: the option buffer
1262 * @buffer_len: length of buffer in bytes
1263 *
1264 * Description:
1265 * Generate a CIPSO option using the restricted bitmap tag, tag type #1. The
1266 * actual buffer length may be larger than the indicated size due to
Paul Moore91b1ed02006-11-17 17:38:49 -05001267 * translation between host and network category bitmaps. Returns the size of
1268 * the tag on success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -07001269 *
1270 */
1271static int cipso_v4_gentag_rbm(const struct cipso_v4_doi *doi_def,
1272 const struct netlbl_lsm_secattr *secattr,
Paul Moore91b1ed02006-11-17 17:38:49 -05001273 unsigned char *buffer,
1274 u32 buffer_len)
Paul Moore446fda42006-08-03 16:48:06 -07001275{
Paul Moore701a90b2006-11-17 17:38:46 -05001276 int ret_val;
Paul Moore91b1ed02006-11-17 17:38:49 -05001277 u32 tag_len;
Paul Moore446fda42006-08-03 16:48:06 -07001278 u32 level;
1279
Paul Moore701a90b2006-11-17 17:38:46 -05001280 if ((secattr->flags & NETLBL_SECATTR_MLS_LVL) == 0)
1281 return -EPERM;
1282
Paul Moore16efd452008-01-29 08:37:59 -05001283 ret_val = cipso_v4_map_lvl_hton(doi_def,
1284 secattr->attr.mls.lvl,
1285 &level);
Paul Moore91b1ed02006-11-17 17:38:49 -05001286 if (ret_val != 0)
1287 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001288
Paul Moore91b1ed02006-11-17 17:38:49 -05001289 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
Paul Moore446fda42006-08-03 16:48:06 -07001290 ret_val = cipso_v4_map_cat_rbm_hton(doi_def,
Paul Moore02752762006-11-29 13:18:18 -05001291 secattr,
Paul Moore91b1ed02006-11-17 17:38:49 -05001292 &buffer[4],
1293 buffer_len - 4);
Paul Moore446fda42006-08-03 16:48:06 -07001294 if (ret_val < 0)
Paul Moore91b1ed02006-11-17 17:38:49 -05001295 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001296
1297 /* This will send packets using the "optimized" format when
1298 * possibile as specified in section 3.4.2.6 of the
1299 * CIPSO draft. */
Paul Moore701a90b2006-11-17 17:38:46 -05001300 if (cipso_v4_rbm_optfmt && ret_val > 0 && ret_val <= 10)
Paul Moore91b1ed02006-11-17 17:38:49 -05001301 tag_len = 14;
Paul Moore701a90b2006-11-17 17:38:46 -05001302 else
Paul Moore91b1ed02006-11-17 17:38:49 -05001303 tag_len = 4 + ret_val;
1304 } else
1305 tag_len = 4;
Paul Moore446fda42006-08-03 16:48:06 -07001306
Paul Moore15c45f72008-10-10 10:16:34 -04001307 buffer[0] = CIPSO_V4_TAG_RBITMAP;
Paul Moore91b1ed02006-11-17 17:38:49 -05001308 buffer[1] = tag_len;
1309 buffer[3] = level;
Paul Moore446fda42006-08-03 16:48:06 -07001310
Paul Moore91b1ed02006-11-17 17:38:49 -05001311 return tag_len;
Paul Moore446fda42006-08-03 16:48:06 -07001312}
1313
1314/**
1315 * cipso_v4_parsetag_rbm - Parse a CIPSO restricted bitmap tag
1316 * @doi_def: the DOI definition
1317 * @tag: the CIPSO tag
1318 * @secattr: the security attributes
1319 *
1320 * Description:
1321 * Parse a CIPSO restricted bitmap tag (tag type #1) and return the security
1322 * attributes in @secattr. Return zero on success, negatives values on
1323 * failure.
1324 *
1325 */
1326static int cipso_v4_parsetag_rbm(const struct cipso_v4_doi *doi_def,
1327 const unsigned char *tag,
1328 struct netlbl_lsm_secattr *secattr)
1329{
1330 int ret_val;
1331 u8 tag_len = tag[1];
1332 u32 level;
1333
1334 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1335 if (ret_val != 0)
1336 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001337 secattr->attr.mls.lvl = level;
Paul Moore701a90b2006-11-17 17:38:46 -05001338 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
Paul Moore446fda42006-08-03 16:48:06 -07001339
1340 if (tag_len > 4) {
Paul Moore16efd452008-01-29 08:37:59 -05001341 secattr->attr.mls.cat =
1342 netlbl_secattr_catmap_alloc(GFP_ATOMIC);
1343 if (secattr->attr.mls.cat == NULL)
Paul Moore446fda42006-08-03 16:48:06 -07001344 return -ENOMEM;
1345
1346 ret_val = cipso_v4_map_cat_rbm_ntoh(doi_def,
1347 &tag[4],
1348 tag_len - 4,
Paul Moore02752762006-11-29 13:18:18 -05001349 secattr);
1350 if (ret_val != 0) {
Paul Moore16efd452008-01-29 08:37:59 -05001351 netlbl_secattr_catmap_free(secattr->attr.mls.cat);
Paul Moore446fda42006-08-03 16:48:06 -07001352 return ret_val;
1353 }
Paul Moore02752762006-11-29 13:18:18 -05001354
1355 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
Paul Moore446fda42006-08-03 16:48:06 -07001356 }
1357
1358 return 0;
1359}
1360
1361/**
Paul Moore654bbc22006-11-29 13:18:19 -05001362 * cipso_v4_gentag_enum - Generate a CIPSO enumerated tag (type #2)
1363 * @doi_def: the DOI definition
1364 * @secattr: the security attributes
1365 * @buffer: the option buffer
1366 * @buffer_len: length of buffer in bytes
1367 *
1368 * Description:
1369 * Generate a CIPSO option using the enumerated tag, tag type #2. Returns the
1370 * size of the tag on success, negative values on failure.
1371 *
1372 */
1373static int cipso_v4_gentag_enum(const struct cipso_v4_doi *doi_def,
1374 const struct netlbl_lsm_secattr *secattr,
1375 unsigned char *buffer,
1376 u32 buffer_len)
1377{
1378 int ret_val;
1379 u32 tag_len;
1380 u32 level;
1381
1382 if (!(secattr->flags & NETLBL_SECATTR_MLS_LVL))
1383 return -EPERM;
1384
Paul Moore16efd452008-01-29 08:37:59 -05001385 ret_val = cipso_v4_map_lvl_hton(doi_def,
1386 secattr->attr.mls.lvl,
1387 &level);
Paul Moore654bbc22006-11-29 13:18:19 -05001388 if (ret_val != 0)
1389 return ret_val;
1390
1391 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
1392 ret_val = cipso_v4_map_cat_enum_hton(doi_def,
1393 secattr,
1394 &buffer[4],
1395 buffer_len - 4);
1396 if (ret_val < 0)
1397 return ret_val;
1398
1399 tag_len = 4 + ret_val;
1400 } else
1401 tag_len = 4;
1402
Paul Moore15c45f72008-10-10 10:16:34 -04001403 buffer[0] = CIPSO_V4_TAG_ENUM;
Paul Moore654bbc22006-11-29 13:18:19 -05001404 buffer[1] = tag_len;
1405 buffer[3] = level;
1406
1407 return tag_len;
1408}
1409
1410/**
1411 * cipso_v4_parsetag_enum - Parse a CIPSO enumerated tag
1412 * @doi_def: the DOI definition
1413 * @tag: the CIPSO tag
1414 * @secattr: the security attributes
1415 *
1416 * Description:
1417 * Parse a CIPSO enumerated tag (tag type #2) and return the security
1418 * attributes in @secattr. Return zero on success, negatives values on
1419 * failure.
1420 *
1421 */
1422static int cipso_v4_parsetag_enum(const struct cipso_v4_doi *doi_def,
1423 const unsigned char *tag,
1424 struct netlbl_lsm_secattr *secattr)
1425{
1426 int ret_val;
1427 u8 tag_len = tag[1];
1428 u32 level;
1429
1430 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1431 if (ret_val != 0)
1432 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001433 secattr->attr.mls.lvl = level;
Paul Moore654bbc22006-11-29 13:18:19 -05001434 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
1435
1436 if (tag_len > 4) {
Paul Moore16efd452008-01-29 08:37:59 -05001437 secattr->attr.mls.cat =
1438 netlbl_secattr_catmap_alloc(GFP_ATOMIC);
1439 if (secattr->attr.mls.cat == NULL)
Paul Moore654bbc22006-11-29 13:18:19 -05001440 return -ENOMEM;
1441
1442 ret_val = cipso_v4_map_cat_enum_ntoh(doi_def,
1443 &tag[4],
1444 tag_len - 4,
1445 secattr);
1446 if (ret_val != 0) {
Paul Moore16efd452008-01-29 08:37:59 -05001447 netlbl_secattr_catmap_free(secattr->attr.mls.cat);
Paul Moore654bbc22006-11-29 13:18:19 -05001448 return ret_val;
1449 }
1450
1451 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
1452 }
1453
1454 return 0;
1455}
1456
1457/**
Paul Moore484b3662006-11-29 13:18:20 -05001458 * cipso_v4_gentag_rng - Generate a CIPSO ranged tag (type #5)
1459 * @doi_def: the DOI definition
1460 * @secattr: the security attributes
1461 * @buffer: the option buffer
1462 * @buffer_len: length of buffer in bytes
1463 *
1464 * Description:
1465 * Generate a CIPSO option using the ranged tag, tag type #5. Returns the
1466 * size of the tag on success, negative values on failure.
1467 *
1468 */
1469static int cipso_v4_gentag_rng(const struct cipso_v4_doi *doi_def,
1470 const struct netlbl_lsm_secattr *secattr,
1471 unsigned char *buffer,
1472 u32 buffer_len)
1473{
1474 int ret_val;
1475 u32 tag_len;
1476 u32 level;
1477
1478 if (!(secattr->flags & NETLBL_SECATTR_MLS_LVL))
1479 return -EPERM;
1480
Paul Moore16efd452008-01-29 08:37:59 -05001481 ret_val = cipso_v4_map_lvl_hton(doi_def,
1482 secattr->attr.mls.lvl,
1483 &level);
Paul Moore484b3662006-11-29 13:18:20 -05001484 if (ret_val != 0)
1485 return ret_val;
1486
1487 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
1488 ret_val = cipso_v4_map_cat_rng_hton(doi_def,
1489 secattr,
1490 &buffer[4],
1491 buffer_len - 4);
1492 if (ret_val < 0)
1493 return ret_val;
1494
1495 tag_len = 4 + ret_val;
1496 } else
1497 tag_len = 4;
1498
Paul Moore15c45f72008-10-10 10:16:34 -04001499 buffer[0] = CIPSO_V4_TAG_RANGE;
Paul Moore484b3662006-11-29 13:18:20 -05001500 buffer[1] = tag_len;
1501 buffer[3] = level;
1502
1503 return tag_len;
1504}
1505
1506/**
1507 * cipso_v4_parsetag_rng - Parse a CIPSO ranged tag
1508 * @doi_def: the DOI definition
1509 * @tag: the CIPSO tag
1510 * @secattr: the security attributes
1511 *
1512 * Description:
1513 * Parse a CIPSO ranged tag (tag type #5) and return the security attributes
1514 * in @secattr. Return zero on success, negatives values on failure.
1515 *
1516 */
1517static int cipso_v4_parsetag_rng(const struct cipso_v4_doi *doi_def,
1518 const unsigned char *tag,
1519 struct netlbl_lsm_secattr *secattr)
1520{
1521 int ret_val;
1522 u8 tag_len = tag[1];
1523 u32 level;
1524
1525 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1526 if (ret_val != 0)
1527 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001528 secattr->attr.mls.lvl = level;
Paul Moore484b3662006-11-29 13:18:20 -05001529 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
1530
1531 if (tag_len > 4) {
Paul Moore16efd452008-01-29 08:37:59 -05001532 secattr->attr.mls.cat =
1533 netlbl_secattr_catmap_alloc(GFP_ATOMIC);
1534 if (secattr->attr.mls.cat == NULL)
Paul Moore484b3662006-11-29 13:18:20 -05001535 return -ENOMEM;
1536
1537 ret_val = cipso_v4_map_cat_rng_ntoh(doi_def,
1538 &tag[4],
1539 tag_len - 4,
1540 secattr);
1541 if (ret_val != 0) {
Paul Moore16efd452008-01-29 08:37:59 -05001542 netlbl_secattr_catmap_free(secattr->attr.mls.cat);
Paul Moore484b3662006-11-29 13:18:20 -05001543 return ret_val;
1544 }
1545
1546 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
1547 }
1548
1549 return 0;
1550}
1551
1552/**
Paul Moore15c45f72008-10-10 10:16:34 -04001553 * cipso_v4_gentag_loc - Generate a CIPSO local tag (non-standard)
1554 * @doi_def: the DOI definition
1555 * @secattr: the security attributes
1556 * @buffer: the option buffer
1557 * @buffer_len: length of buffer in bytes
1558 *
1559 * Description:
1560 * Generate a CIPSO option using the local tag. Returns the size of the tag
1561 * on success, negative values on failure.
1562 *
1563 */
1564static int cipso_v4_gentag_loc(const struct cipso_v4_doi *doi_def,
1565 const struct netlbl_lsm_secattr *secattr,
1566 unsigned char *buffer,
1567 u32 buffer_len)
1568{
1569 if (!(secattr->flags & NETLBL_SECATTR_SECID))
1570 return -EPERM;
1571
1572 buffer[0] = CIPSO_V4_TAG_LOCAL;
1573 buffer[1] = CIPSO_V4_TAG_LOC_BLEN;
1574 *(u32 *)&buffer[2] = secattr->attr.secid;
1575
1576 return CIPSO_V4_TAG_LOC_BLEN;
1577}
1578
1579/**
1580 * cipso_v4_parsetag_loc - Parse a CIPSO local tag
1581 * @doi_def: the DOI definition
1582 * @tag: the CIPSO tag
1583 * @secattr: the security attributes
1584 *
1585 * Description:
1586 * Parse a CIPSO local tag and return the security attributes in @secattr.
1587 * Return zero on success, negatives values on failure.
1588 *
1589 */
1590static int cipso_v4_parsetag_loc(const struct cipso_v4_doi *doi_def,
1591 const unsigned char *tag,
1592 struct netlbl_lsm_secattr *secattr)
1593{
1594 secattr->attr.secid = *(u32 *)&tag[2];
1595 secattr->flags |= NETLBL_SECATTR_SECID;
1596
1597 return 0;
1598}
1599
1600/**
Paul Moore446fda42006-08-03 16:48:06 -07001601 * cipso_v4_validate - Validate a CIPSO option
1602 * @option: the start of the option, on error it is set to point to the error
1603 *
1604 * Description:
1605 * This routine is called to validate a CIPSO option, it checks all of the
1606 * fields to ensure that they are at least valid, see the draft snippet below
1607 * for details. If the option is valid then a zero value is returned and
1608 * the value of @option is unchanged. If the option is invalid then a
1609 * non-zero value is returned and @option is adjusted to point to the
1610 * offending portion of the option. From the IETF draft ...
1611 *
1612 * "If any field within the CIPSO options, such as the DOI identifier, is not
1613 * recognized the IP datagram is discarded and an ICMP 'parameter problem'
1614 * (type 12) is generated and returned. The ICMP code field is set to 'bad
1615 * parameter' (code 0) and the pointer is set to the start of the CIPSO field
1616 * that is unrecognized."
1617 *
1618 */
Paul Moore15c45f72008-10-10 10:16:34 -04001619int cipso_v4_validate(const struct sk_buff *skb, unsigned char **option)
Paul Moore446fda42006-08-03 16:48:06 -07001620{
1621 unsigned char *opt = *option;
1622 unsigned char *tag;
1623 unsigned char opt_iter;
1624 unsigned char err_offset = 0;
1625 u8 opt_len;
1626 u8 tag_len;
1627 struct cipso_v4_doi *doi_def = NULL;
1628 u32 tag_iter;
1629
1630 /* caller already checks for length values that are too large */
1631 opt_len = opt[1];
1632 if (opt_len < 8) {
1633 err_offset = 1;
1634 goto validate_return;
1635 }
1636
1637 rcu_read_lock();
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001638 doi_def = cipso_v4_doi_search(get_unaligned_be32(&opt[2]));
Paul Moore446fda42006-08-03 16:48:06 -07001639 if (doi_def == NULL) {
1640 err_offset = 2;
1641 goto validate_return_locked;
1642 }
1643
Paul Moore15c45f72008-10-10 10:16:34 -04001644 opt_iter = CIPSO_V4_HDR_LEN;
Paul Moore446fda42006-08-03 16:48:06 -07001645 tag = opt + opt_iter;
1646 while (opt_iter < opt_len) {
1647 for (tag_iter = 0; doi_def->tags[tag_iter] != tag[0];)
1648 if (doi_def->tags[tag_iter] == CIPSO_V4_TAG_INVALID ||
1649 ++tag_iter == CIPSO_V4_TAG_MAXCNT) {
1650 err_offset = opt_iter;
1651 goto validate_return_locked;
1652 }
1653
1654 tag_len = tag[1];
1655 if (tag_len > (opt_len - opt_iter)) {
1656 err_offset = opt_iter + 1;
1657 goto validate_return_locked;
1658 }
1659
1660 switch (tag[0]) {
1661 case CIPSO_V4_TAG_RBITMAP:
Paul Moore15c45f72008-10-10 10:16:34 -04001662 if (tag_len < CIPSO_V4_TAG_RBM_BLEN) {
Paul Moore446fda42006-08-03 16:48:06 -07001663 err_offset = opt_iter + 1;
1664 goto validate_return_locked;
1665 }
1666
1667 /* We are already going to do all the verification
1668 * necessary at the socket layer so from our point of
1669 * view it is safe to turn these checks off (and less
1670 * work), however, the CIPSO draft says we should do
1671 * all the CIPSO validations here but it doesn't
1672 * really specify _exactly_ what we need to validate
1673 * ... so, just make it a sysctl tunable. */
1674 if (cipso_v4_rbm_strictvalid) {
1675 if (cipso_v4_map_lvl_valid(doi_def,
1676 tag[3]) < 0) {
1677 err_offset = opt_iter + 3;
1678 goto validate_return_locked;
1679 }
Paul Moore15c45f72008-10-10 10:16:34 -04001680 if (tag_len > CIPSO_V4_TAG_RBM_BLEN &&
Paul Moore446fda42006-08-03 16:48:06 -07001681 cipso_v4_map_cat_rbm_valid(doi_def,
1682 &tag[4],
1683 tag_len - 4) < 0) {
1684 err_offset = opt_iter + 4;
1685 goto validate_return_locked;
1686 }
1687 }
1688 break;
Paul Moore654bbc22006-11-29 13:18:19 -05001689 case CIPSO_V4_TAG_ENUM:
Paul Moore15c45f72008-10-10 10:16:34 -04001690 if (tag_len < CIPSO_V4_TAG_ENUM_BLEN) {
Paul Moore654bbc22006-11-29 13:18:19 -05001691 err_offset = opt_iter + 1;
1692 goto validate_return_locked;
1693 }
1694
1695 if (cipso_v4_map_lvl_valid(doi_def,
1696 tag[3]) < 0) {
1697 err_offset = opt_iter + 3;
1698 goto validate_return_locked;
1699 }
Paul Moore15c45f72008-10-10 10:16:34 -04001700 if (tag_len > CIPSO_V4_TAG_ENUM_BLEN &&
Paul Moore654bbc22006-11-29 13:18:19 -05001701 cipso_v4_map_cat_enum_valid(doi_def,
1702 &tag[4],
1703 tag_len - 4) < 0) {
1704 err_offset = opt_iter + 4;
1705 goto validate_return_locked;
1706 }
1707 break;
Paul Moore484b3662006-11-29 13:18:20 -05001708 case CIPSO_V4_TAG_RANGE:
Paul Moore15c45f72008-10-10 10:16:34 -04001709 if (tag_len < CIPSO_V4_TAG_RNG_BLEN) {
Paul Moore484b3662006-11-29 13:18:20 -05001710 err_offset = opt_iter + 1;
1711 goto validate_return_locked;
1712 }
1713
1714 if (cipso_v4_map_lvl_valid(doi_def,
1715 tag[3]) < 0) {
1716 err_offset = opt_iter + 3;
1717 goto validate_return_locked;
1718 }
Paul Moore15c45f72008-10-10 10:16:34 -04001719 if (tag_len > CIPSO_V4_TAG_RNG_BLEN &&
Paul Moore484b3662006-11-29 13:18:20 -05001720 cipso_v4_map_cat_rng_valid(doi_def,
1721 &tag[4],
1722 tag_len - 4) < 0) {
1723 err_offset = opt_iter + 4;
1724 goto validate_return_locked;
1725 }
1726 break;
Paul Moore15c45f72008-10-10 10:16:34 -04001727 case CIPSO_V4_TAG_LOCAL:
1728 /* This is a non-standard tag that we only allow for
1729 * local connections, so if the incoming interface is
1730 * not the loopback device drop the packet. */
1731 if (!(skb->dev->flags & IFF_LOOPBACK)) {
1732 err_offset = opt_iter;
1733 goto validate_return_locked;
1734 }
1735 if (tag_len != CIPSO_V4_TAG_LOC_BLEN) {
1736 err_offset = opt_iter + 1;
1737 goto validate_return_locked;
1738 }
1739 break;
Paul Moore446fda42006-08-03 16:48:06 -07001740 default:
1741 err_offset = opt_iter;
1742 goto validate_return_locked;
1743 }
1744
1745 tag += tag_len;
1746 opt_iter += tag_len;
1747 }
1748
1749validate_return_locked:
1750 rcu_read_unlock();
1751validate_return:
1752 *option = opt + err_offset;
1753 return err_offset;
1754}
1755
1756/**
1757 * cipso_v4_error - Send the correct reponse for a bad packet
1758 * @skb: the packet
1759 * @error: the error code
1760 * @gateway: CIPSO gateway flag
1761 *
1762 * Description:
1763 * Based on the error code given in @error, send an ICMP error message back to
1764 * the originating host. From the IETF draft ...
1765 *
1766 * "If the contents of the CIPSO [option] are valid but the security label is
1767 * outside of the configured host or port label range, the datagram is
1768 * discarded and an ICMP 'destination unreachable' (type 3) is generated and
1769 * returned. The code field of the ICMP is set to 'communication with
1770 * destination network administratively prohibited' (code 9) or to
1771 * 'communication with destination host administratively prohibited'
1772 * (code 10). The value of the code is dependent on whether the originator
1773 * of the ICMP message is acting as a CIPSO host or a CIPSO gateway. The
1774 * recipient of the ICMP message MUST be able to handle either value. The
1775 * same procedure is performed if a CIPSO [option] can not be added to an
1776 * IP packet because it is too large to fit in the IP options area."
1777 *
1778 * "If the error is triggered by receipt of an ICMP message, the message is
1779 * discarded and no response is permitted (consistent with general ICMP
1780 * processing rules)."
1781 *
1782 */
1783void cipso_v4_error(struct sk_buff *skb, int error, u32 gateway)
1784{
Arnaldo Carvalho de Meloeddc9ec2007-04-20 22:47:35 -07001785 if (ip_hdr(skb)->protocol == IPPROTO_ICMP || error != -EACCES)
Paul Moore446fda42006-08-03 16:48:06 -07001786 return;
1787
1788 if (gateway)
1789 icmp_send(skb, ICMP_DEST_UNREACH, ICMP_NET_ANO, 0);
1790 else
1791 icmp_send(skb, ICMP_DEST_UNREACH, ICMP_HOST_ANO, 0);
1792}
1793
1794/**
Paul Moore948bf852008-10-10 10:16:32 -04001795 * cipso_v4_genopt - Generate a CIPSO option
1796 * @buf: the option buffer
1797 * @buf_len: the size of opt_buf
Paul Moore446fda42006-08-03 16:48:06 -07001798 * @doi_def: the CIPSO DOI to use
Paul Moore948bf852008-10-10 10:16:32 -04001799 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -07001800 *
1801 * Description:
Paul Moore948bf852008-10-10 10:16:32 -04001802 * Generate a CIPSO option using the DOI definition and security attributes
1803 * passed to the function. Returns the length of the option on success and
1804 * negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -07001805 *
1806 */
Paul Moore948bf852008-10-10 10:16:32 -04001807static int cipso_v4_genopt(unsigned char *buf, u32 buf_len,
1808 const struct cipso_v4_doi *doi_def,
1809 const struct netlbl_lsm_secattr *secattr)
Paul Moore446fda42006-08-03 16:48:06 -07001810{
Paul Moore948bf852008-10-10 10:16:32 -04001811 int ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001812 u32 iter;
Paul Moore446fda42006-08-03 16:48:06 -07001813
Paul Moore948bf852008-10-10 10:16:32 -04001814 if (buf_len <= CIPSO_V4_HDR_LEN)
1815 return -ENOSPC;
Paul Moore91b1ed02006-11-17 17:38:49 -05001816
Paul Moore446fda42006-08-03 16:48:06 -07001817 /* XXX - This code assumes only one tag per CIPSO option which isn't
1818 * really a good assumption to make but since we only support the MAC
1819 * tags right now it is a safe assumption. */
1820 iter = 0;
1821 do {
Paul Moore91b1ed02006-11-17 17:38:49 -05001822 memset(buf, 0, buf_len);
Paul Moore446fda42006-08-03 16:48:06 -07001823 switch (doi_def->tags[iter]) {
1824 case CIPSO_V4_TAG_RBITMAP:
1825 ret_val = cipso_v4_gentag_rbm(doi_def,
Paul Moore91b1ed02006-11-17 17:38:49 -05001826 secattr,
1827 &buf[CIPSO_V4_HDR_LEN],
1828 buf_len - CIPSO_V4_HDR_LEN);
Paul Moore446fda42006-08-03 16:48:06 -07001829 break;
Paul Moore654bbc22006-11-29 13:18:19 -05001830 case CIPSO_V4_TAG_ENUM:
1831 ret_val = cipso_v4_gentag_enum(doi_def,
1832 secattr,
1833 &buf[CIPSO_V4_HDR_LEN],
1834 buf_len - CIPSO_V4_HDR_LEN);
1835 break;
Paul Moore484b3662006-11-29 13:18:20 -05001836 case CIPSO_V4_TAG_RANGE:
1837 ret_val = cipso_v4_gentag_rng(doi_def,
1838 secattr,
1839 &buf[CIPSO_V4_HDR_LEN],
1840 buf_len - CIPSO_V4_HDR_LEN);
1841 break;
Paul Moore15c45f72008-10-10 10:16:34 -04001842 case CIPSO_V4_TAG_LOCAL:
1843 ret_val = cipso_v4_gentag_loc(doi_def,
1844 secattr,
1845 &buf[CIPSO_V4_HDR_LEN],
1846 buf_len - CIPSO_V4_HDR_LEN);
1847 break;
Paul Moore446fda42006-08-03 16:48:06 -07001848 default:
Paul Moore948bf852008-10-10 10:16:32 -04001849 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -07001850 }
1851
1852 iter++;
Paul Moore91b1ed02006-11-17 17:38:49 -05001853 } while (ret_val < 0 &&
Paul Moore446fda42006-08-03 16:48:06 -07001854 iter < CIPSO_V4_TAG_MAXCNT &&
1855 doi_def->tags[iter] != CIPSO_V4_TAG_INVALID);
Paul Moore91b1ed02006-11-17 17:38:49 -05001856 if (ret_val < 0)
Paul Moore948bf852008-10-10 10:16:32 -04001857 return ret_val;
Paul Moore91b1ed02006-11-17 17:38:49 -05001858 cipso_v4_gentag_hdr(doi_def, buf, ret_val);
Paul Moore948bf852008-10-10 10:16:32 -04001859 return CIPSO_V4_HDR_LEN + ret_val;
1860}
1861
1862/**
1863 * cipso_v4_sock_setattr - Add a CIPSO option to a socket
1864 * @sk: the socket
1865 * @doi_def: the CIPSO DOI to use
1866 * @secattr: the specific security attributes of the socket
1867 *
1868 * Description:
1869 * Set the CIPSO option on the given socket using the DOI definition and
1870 * security attributes passed to the function. This function requires
1871 * exclusive access to @sk, which means it either needs to be in the
1872 * process of being created or locked. Returns zero on success and negative
1873 * values on failure.
1874 *
1875 */
1876int cipso_v4_sock_setattr(struct sock *sk,
1877 const struct cipso_v4_doi *doi_def,
1878 const struct netlbl_lsm_secattr *secattr)
1879{
1880 int ret_val = -EPERM;
1881 unsigned char *buf = NULL;
1882 u32 buf_len;
1883 u32 opt_len;
1884 struct ip_options *opt = NULL;
1885 struct inet_sock *sk_inet;
1886 struct inet_connection_sock *sk_conn;
1887
1888 /* In the case of sock_create_lite(), the sock->sk field is not
1889 * defined yet but it is not a problem as the only users of these
1890 * "lite" PF_INET sockets are functions which do an accept() call
1891 * afterwards so we will label the socket as part of the accept(). */
1892 if (sk == NULL)
1893 return 0;
1894
1895 /* We allocate the maximum CIPSO option size here so we are probably
1896 * being a little wasteful, but it makes our life _much_ easier later
1897 * on and after all we are only talking about 40 bytes. */
1898 buf_len = CIPSO_V4_OPT_LEN_MAX;
1899 buf = kmalloc(buf_len, GFP_ATOMIC);
1900 if (buf == NULL) {
1901 ret_val = -ENOMEM;
1902 goto socket_setattr_failure;
1903 }
1904
1905 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
1906 if (ret_val < 0)
1907 goto socket_setattr_failure;
1908 buf_len = ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001909
1910 /* We can't use ip_options_get() directly because it makes a call to
1911 * ip_options_get_alloc() which allocates memory with GFP_KERNEL and
Paul Mooref8687af2006-10-30 15:22:15 -08001912 * we won't always have CAP_NET_RAW even though we _always_ want to
1913 * set the IPOPT_CIPSO option. */
Paul Moore446fda42006-08-03 16:48:06 -07001914 opt_len = (buf_len + 3) & ~3;
1915 opt = kzalloc(sizeof(*opt) + opt_len, GFP_ATOMIC);
1916 if (opt == NULL) {
1917 ret_val = -ENOMEM;
1918 goto socket_setattr_failure;
1919 }
1920 memcpy(opt->__data, buf, buf_len);
1921 opt->optlen = opt_len;
Paul Mooref8687af2006-10-30 15:22:15 -08001922 opt->cipso = sizeof(struct iphdr);
Paul Moore446fda42006-08-03 16:48:06 -07001923 kfree(buf);
1924 buf = NULL;
Paul Moore446fda42006-08-03 16:48:06 -07001925
1926 sk_inet = inet_sk(sk);
1927 if (sk_inet->is_icsk) {
1928 sk_conn = inet_csk(sk);
1929 if (sk_inet->opt)
1930 sk_conn->icsk_ext_hdr_len -= sk_inet->opt->optlen;
1931 sk_conn->icsk_ext_hdr_len += opt->optlen;
1932 sk_conn->icsk_sync_mss(sk, sk_conn->icsk_pmtu_cookie);
1933 }
1934 opt = xchg(&sk_inet->opt, opt);
1935 kfree(opt);
1936
1937 return 0;
1938
1939socket_setattr_failure:
1940 kfree(buf);
1941 kfree(opt);
1942 return ret_val;
1943}
1944
1945/**
Paul Moore389fb802009-03-27 17:10:34 -04001946 * cipso_v4_req_setattr - Add a CIPSO option to a connection request socket
1947 * @req: the connection request socket
1948 * @doi_def: the CIPSO DOI to use
1949 * @secattr: the specific security attributes of the socket
Paul Moore014ab192008-10-10 10:16:33 -04001950 *
1951 * Description:
Paul Moore389fb802009-03-27 17:10:34 -04001952 * Set the CIPSO option on the given socket using the DOI definition and
1953 * security attributes passed to the function. Returns zero on success and
1954 * negative values on failure.
Paul Moore014ab192008-10-10 10:16:33 -04001955 *
1956 */
Paul Moore389fb802009-03-27 17:10:34 -04001957int cipso_v4_req_setattr(struct request_sock *req,
1958 const struct cipso_v4_doi *doi_def,
1959 const struct netlbl_lsm_secattr *secattr)
Paul Moore014ab192008-10-10 10:16:33 -04001960{
Paul Moore389fb802009-03-27 17:10:34 -04001961 int ret_val = -EPERM;
1962 unsigned char *buf = NULL;
1963 u32 buf_len;
1964 u32 opt_len;
1965 struct ip_options *opt = NULL;
1966 struct inet_request_sock *req_inet;
Paul Moore014ab192008-10-10 10:16:33 -04001967
Paul Moore389fb802009-03-27 17:10:34 -04001968 /* We allocate the maximum CIPSO option size here so we are probably
1969 * being a little wasteful, but it makes our life _much_ easier later
1970 * on and after all we are only talking about 40 bytes. */
1971 buf_len = CIPSO_V4_OPT_LEN_MAX;
1972 buf = kmalloc(buf_len, GFP_ATOMIC);
1973 if (buf == NULL) {
1974 ret_val = -ENOMEM;
1975 goto req_setattr_failure;
1976 }
1977
1978 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
1979 if (ret_val < 0)
1980 goto req_setattr_failure;
1981 buf_len = ret_val;
1982
1983 /* We can't use ip_options_get() directly because it makes a call to
1984 * ip_options_get_alloc() which allocates memory with GFP_KERNEL and
1985 * we won't always have CAP_NET_RAW even though we _always_ want to
1986 * set the IPOPT_CIPSO option. */
1987 opt_len = (buf_len + 3) & ~3;
1988 opt = kzalloc(sizeof(*opt) + opt_len, GFP_ATOMIC);
1989 if (opt == NULL) {
1990 ret_val = -ENOMEM;
1991 goto req_setattr_failure;
1992 }
1993 memcpy(opt->__data, buf, buf_len);
1994 opt->optlen = opt_len;
1995 opt->cipso = sizeof(struct iphdr);
1996 kfree(buf);
1997 buf = NULL;
1998
1999 req_inet = inet_rsk(req);
2000 opt = xchg(&req_inet->opt, opt);
2001 kfree(opt);
2002
2003 return 0;
2004
2005req_setattr_failure:
2006 kfree(buf);
2007 kfree(opt);
2008 return ret_val;
2009}
2010
2011/**
2012 * cipso_v4_delopt - Delete the CIPSO option from a set of IP options
2013 * @opt_ptr: IP option pointer
2014 *
2015 * Description:
2016 * Deletes the CIPSO IP option from a set of IP options and makes the necessary
2017 * adjustments to the IP option structure. Returns zero on success, negative
2018 * values on failure.
2019 *
2020 */
Hagen Paul Pfeifer4b17d502009-10-07 14:45:58 -07002021static int cipso_v4_delopt(struct ip_options **opt_ptr)
Paul Moore389fb802009-03-27 17:10:34 -04002022{
2023 int hdr_delta = 0;
2024 struct ip_options *opt = *opt_ptr;
Paul Moore014ab192008-10-10 10:16:33 -04002025
2026 if (opt->srr || opt->rr || opt->ts || opt->router_alert) {
2027 u8 cipso_len;
2028 u8 cipso_off;
2029 unsigned char *cipso_ptr;
2030 int iter;
2031 int optlen_new;
2032
2033 cipso_off = opt->cipso - sizeof(struct iphdr);
2034 cipso_ptr = &opt->__data[cipso_off];
2035 cipso_len = cipso_ptr[1];
2036
2037 if (opt->srr > opt->cipso)
2038 opt->srr -= cipso_len;
2039 if (opt->rr > opt->cipso)
2040 opt->rr -= cipso_len;
2041 if (opt->ts > opt->cipso)
2042 opt->ts -= cipso_len;
2043 if (opt->router_alert > opt->cipso)
2044 opt->router_alert -= cipso_len;
2045 opt->cipso = 0;
2046
2047 memmove(cipso_ptr, cipso_ptr + cipso_len,
2048 opt->optlen - cipso_off - cipso_len);
2049
2050 /* determining the new total option length is tricky because of
2051 * the padding necessary, the only thing i can think to do at
2052 * this point is walk the options one-by-one, skipping the
2053 * padding at the end to determine the actual option size and
2054 * from there we can determine the new total option length */
2055 iter = 0;
2056 optlen_new = 0;
2057 while (iter < opt->optlen)
2058 if (opt->__data[iter] != IPOPT_NOP) {
2059 iter += opt->__data[iter + 1];
2060 optlen_new = iter;
2061 } else
2062 iter++;
2063 hdr_delta = opt->optlen;
2064 opt->optlen = (optlen_new + 3) & ~3;
2065 hdr_delta -= opt->optlen;
2066 } else {
2067 /* only the cipso option was present on the socket so we can
2068 * remove the entire option struct */
Paul Moore389fb802009-03-27 17:10:34 -04002069 *opt_ptr = NULL;
Paul Moore014ab192008-10-10 10:16:33 -04002070 hdr_delta = opt->optlen;
2071 kfree(opt);
2072 }
2073
Paul Moore389fb802009-03-27 17:10:34 -04002074 return hdr_delta;
2075}
2076
2077/**
2078 * cipso_v4_sock_delattr - Delete the CIPSO option from a socket
2079 * @sk: the socket
2080 *
2081 * Description:
2082 * Removes the CIPSO option from a socket, if present.
2083 *
2084 */
2085void cipso_v4_sock_delattr(struct sock *sk)
2086{
2087 int hdr_delta;
2088 struct ip_options *opt;
2089 struct inet_sock *sk_inet;
2090
2091 sk_inet = inet_sk(sk);
2092 opt = sk_inet->opt;
2093 if (opt == NULL || opt->cipso == 0)
2094 return;
2095
2096 hdr_delta = cipso_v4_delopt(&sk_inet->opt);
Paul Moore014ab192008-10-10 10:16:33 -04002097 if (sk_inet->is_icsk && hdr_delta > 0) {
2098 struct inet_connection_sock *sk_conn = inet_csk(sk);
2099 sk_conn->icsk_ext_hdr_len -= hdr_delta;
2100 sk_conn->icsk_sync_mss(sk, sk_conn->icsk_pmtu_cookie);
2101 }
2102}
2103
2104/**
Paul Moore389fb802009-03-27 17:10:34 -04002105 * cipso_v4_req_delattr - Delete the CIPSO option from a request socket
2106 * @reg: the request socket
2107 *
2108 * Description:
2109 * Removes the CIPSO option from a request socket, if present.
2110 *
2111 */
2112void cipso_v4_req_delattr(struct request_sock *req)
2113{
2114 struct ip_options *opt;
2115 struct inet_request_sock *req_inet;
2116
2117 req_inet = inet_rsk(req);
2118 opt = req_inet->opt;
2119 if (opt == NULL || opt->cipso == 0)
2120 return;
2121
2122 cipso_v4_delopt(&req_inet->opt);
2123}
2124
2125/**
Paul Moore63d804ea2007-09-15 21:45:13 -07002126 * cipso_v4_getattr - Helper function for the cipso_v4_*_getattr functions
2127 * @cipso: the CIPSO v4 option
2128 * @secattr: the security attributes
2129 *
2130 * Description:
2131 * Inspect @cipso and return the security attributes in @secattr. Returns zero
2132 * on success and negative values on failure.
2133 *
2134 */
2135static int cipso_v4_getattr(const unsigned char *cipso,
2136 struct netlbl_lsm_secattr *secattr)
2137{
2138 int ret_val = -ENOMSG;
2139 u32 doi;
2140 struct cipso_v4_doi *doi_def;
2141
2142 if (cipso_v4_cache_check(cipso, cipso[1], secattr) == 0)
2143 return 0;
2144
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07002145 doi = get_unaligned_be32(&cipso[2]);
Paul Moore63d804ea2007-09-15 21:45:13 -07002146 rcu_read_lock();
2147 doi_def = cipso_v4_doi_search(doi);
2148 if (doi_def == NULL)
2149 goto getattr_return;
2150 /* XXX - This code assumes only one tag per CIPSO option which isn't
2151 * really a good assumption to make but since we only support the MAC
2152 * tags right now it is a safe assumption. */
2153 switch (cipso[6]) {
2154 case CIPSO_V4_TAG_RBITMAP:
2155 ret_val = cipso_v4_parsetag_rbm(doi_def, &cipso[6], secattr);
2156 break;
2157 case CIPSO_V4_TAG_ENUM:
2158 ret_val = cipso_v4_parsetag_enum(doi_def, &cipso[6], secattr);
2159 break;
2160 case CIPSO_V4_TAG_RANGE:
2161 ret_val = cipso_v4_parsetag_rng(doi_def, &cipso[6], secattr);
2162 break;
Paul Moore15c45f72008-10-10 10:16:34 -04002163 case CIPSO_V4_TAG_LOCAL:
2164 ret_val = cipso_v4_parsetag_loc(doi_def, &cipso[6], secattr);
2165 break;
Paul Moore63d804ea2007-09-15 21:45:13 -07002166 }
Paul Moore16efd452008-01-29 08:37:59 -05002167 if (ret_val == 0)
2168 secattr->type = NETLBL_NLTYPE_CIPSOV4;
Paul Moore63d804ea2007-09-15 21:45:13 -07002169
2170getattr_return:
2171 rcu_read_unlock();
2172 return ret_val;
2173}
2174
2175/**
Paul Moore14a72f52006-09-25 15:52:01 -07002176 * cipso_v4_sock_getattr - Get the security attributes from a sock
2177 * @sk: the sock
2178 * @secattr: the security attributes
2179 *
2180 * Description:
2181 * Query @sk to see if there is a CIPSO option attached to the sock and if
2182 * there is return the CIPSO security attributes in @secattr. This function
2183 * requires that @sk be locked, or privately held, but it does not do any
2184 * locking itself. Returns zero on success and negative values on failure.
2185 *
2186 */
2187int cipso_v4_sock_getattr(struct sock *sk, struct netlbl_lsm_secattr *secattr)
2188{
Paul Moore63d804ea2007-09-15 21:45:13 -07002189 struct ip_options *opt;
Paul Moore14a72f52006-09-25 15:52:01 -07002190
Paul Moore63d804ea2007-09-15 21:45:13 -07002191 opt = inet_sk(sk)->opt;
2192 if (opt == NULL || opt->cipso == 0)
Paul Moore14a72f52006-09-25 15:52:01 -07002193 return -ENOMSG;
Paul Moore14a72f52006-09-25 15:52:01 -07002194
Paul Moore63d804ea2007-09-15 21:45:13 -07002195 return cipso_v4_getattr(opt->__data + opt->cipso - sizeof(struct iphdr),
2196 secattr);
Paul Moore14a72f52006-09-25 15:52:01 -07002197}
2198
2199/**
Paul Moore948bf852008-10-10 10:16:32 -04002200 * cipso_v4_skbuff_setattr - Set the CIPSO option on a packet
2201 * @skb: the packet
2202 * @secattr: the security attributes
2203 *
2204 * Description:
2205 * Set the CIPSO option on the given packet based on the security attributes.
2206 * Returns a pointer to the IP header on success and NULL on failure.
2207 *
2208 */
2209int cipso_v4_skbuff_setattr(struct sk_buff *skb,
2210 const struct cipso_v4_doi *doi_def,
2211 const struct netlbl_lsm_secattr *secattr)
2212{
2213 int ret_val;
2214 struct iphdr *iph;
2215 struct ip_options *opt = &IPCB(skb)->opt;
2216 unsigned char buf[CIPSO_V4_OPT_LEN_MAX];
2217 u32 buf_len = CIPSO_V4_OPT_LEN_MAX;
2218 u32 opt_len;
2219 int len_delta;
2220
roel kluin00af5c62008-10-29 15:55:53 -04002221 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
2222 if (ret_val < 0)
2223 return ret_val;
2224 buf_len = ret_val;
Paul Moore948bf852008-10-10 10:16:32 -04002225 opt_len = (buf_len + 3) & ~3;
2226
2227 /* we overwrite any existing options to ensure that we have enough
2228 * room for the CIPSO option, the reason is that we _need_ to guarantee
2229 * that the security label is applied to the packet - we do the same
2230 * thing when using the socket options and it hasn't caused a problem,
2231 * if we need to we can always revisit this choice later */
2232
2233 len_delta = opt_len - opt->optlen;
2234 /* if we don't ensure enough headroom we could panic on the skb_push()
2235 * call below so make sure we have enough, we are also "mangling" the
2236 * packet so we should probably do a copy-on-write call anyway */
2237 ret_val = skb_cow(skb, skb_headroom(skb) + len_delta);
2238 if (ret_val < 0)
2239 return ret_val;
2240
2241 if (len_delta > 0) {
2242 /* we assume that the header + opt->optlen have already been
2243 * "pushed" in ip_options_build() or similar */
2244 iph = ip_hdr(skb);
2245 skb_push(skb, len_delta);
2246 memmove((char *)iph - len_delta, iph, iph->ihl << 2);
2247 skb_reset_network_header(skb);
2248 iph = ip_hdr(skb);
2249 } else if (len_delta < 0) {
2250 iph = ip_hdr(skb);
2251 memset(iph + 1, IPOPT_NOP, opt->optlen);
2252 } else
2253 iph = ip_hdr(skb);
2254
2255 if (opt->optlen > 0)
2256 memset(opt, 0, sizeof(*opt));
2257 opt->optlen = opt_len;
2258 opt->cipso = sizeof(struct iphdr);
2259 opt->is_changed = 1;
2260
2261 /* we have to do the following because we are being called from a
2262 * netfilter hook which means the packet already has had the header
2263 * fields populated and the checksum calculated - yes this means we
2264 * are doing more work than needed but we do it to keep the core
2265 * stack clean and tidy */
2266 memcpy(iph + 1, buf, buf_len);
2267 if (opt_len > buf_len)
2268 memset((char *)(iph + 1) + buf_len, 0, opt_len - buf_len);
2269 if (len_delta != 0) {
2270 iph->ihl = 5 + (opt_len >> 2);
2271 iph->tot_len = htons(skb->len);
2272 }
2273 ip_send_check(iph);
2274
2275 return 0;
2276}
2277
2278/**
2279 * cipso_v4_skbuff_delattr - Delete any CIPSO options from a packet
2280 * @skb: the packet
2281 *
2282 * Description:
2283 * Removes any and all CIPSO options from the given packet. Returns zero on
2284 * success, negative values on failure.
2285 *
2286 */
2287int cipso_v4_skbuff_delattr(struct sk_buff *skb)
2288{
2289 int ret_val;
2290 struct iphdr *iph;
2291 struct ip_options *opt = &IPCB(skb)->opt;
2292 unsigned char *cipso_ptr;
2293
2294 if (opt->cipso == 0)
2295 return 0;
2296
2297 /* since we are changing the packet we should make a copy */
2298 ret_val = skb_cow(skb, skb_headroom(skb));
2299 if (ret_val < 0)
2300 return ret_val;
2301
2302 /* the easiest thing to do is just replace the cipso option with noop
2303 * options since we don't change the size of the packet, although we
2304 * still need to recalculate the checksum */
2305
2306 iph = ip_hdr(skb);
2307 cipso_ptr = (unsigned char *)iph + opt->cipso;
2308 memset(cipso_ptr, IPOPT_NOOP, cipso_ptr[1]);
2309 opt->cipso = 0;
2310 opt->is_changed = 1;
2311
2312 ip_send_check(iph);
2313
2314 return 0;
2315}
2316
2317/**
Paul Moore446fda42006-08-03 16:48:06 -07002318 * cipso_v4_skbuff_getattr - Get the security attributes from the CIPSO option
2319 * @skb: the packet
2320 * @secattr: the security attributes
2321 *
2322 * Description:
2323 * Parse the given packet's CIPSO option and return the security attributes.
2324 * Returns zero on success and negative values on failure.
2325 *
2326 */
2327int cipso_v4_skbuff_getattr(const struct sk_buff *skb,
2328 struct netlbl_lsm_secattr *secattr)
2329{
Paul Moore63d804ea2007-09-15 21:45:13 -07002330 return cipso_v4_getattr(CIPSO_V4_OPTPTR(skb), secattr);
Paul Moore446fda42006-08-03 16:48:06 -07002331}
2332
2333/*
2334 * Setup Functions
2335 */
2336
2337/**
2338 * cipso_v4_init - Initialize the CIPSO module
2339 *
2340 * Description:
2341 * Initialize the CIPSO module and prepare it for use. Returns zero on success
2342 * and negative values on failure.
2343 *
2344 */
2345static int __init cipso_v4_init(void)
2346{
2347 int ret_val;
2348
2349 ret_val = cipso_v4_cache_init();
2350 if (ret_val != 0)
2351 panic("Failed to initialize the CIPSO/IPv4 cache (%d)\n",
2352 ret_val);
2353
2354 return 0;
2355}
2356
2357subsys_initcall(cipso_v4_init);