blob: 71409928763b0adfccadd4ec64ad432b9d655f5a [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/**
Paul Moore446fda42006-08-03 16:48:06 -0700138 * cipso_v4_cache_entry_free - Frees a cache entry
139 * @entry: the entry to free
140 *
141 * Description:
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400142 * This function frees the memory associated with a cache entry including the
143 * LSM cache data if there are no longer any users, i.e. reference count == 0.
Paul Moore446fda42006-08-03 16:48:06 -0700144 *
145 */
146static void cipso_v4_cache_entry_free(struct cipso_v4_map_cache_entry *entry)
147{
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400148 if (entry->lsm_data)
149 netlbl_secattr_cache_free(entry->lsm_data);
Paul Moore446fda42006-08-03 16:48:06 -0700150 kfree(entry->key);
151 kfree(entry);
152}
153
154/**
155 * cipso_v4_map_cache_hash - Hashing function for the CIPSO cache
156 * @key: the hash key
157 * @key_len: the length of the key in bytes
158 *
159 * Description:
160 * The CIPSO tag hashing function. Returns a 32-bit hash value.
161 *
162 */
163static u32 cipso_v4_map_cache_hash(const unsigned char *key, u32 key_len)
164{
165 return jhash(key, key_len, 0);
166}
167
168/*
169 * Label Mapping Cache Functions
170 */
171
172/**
173 * cipso_v4_cache_init - Initialize the CIPSO cache
174 *
175 * Description:
176 * Initializes the CIPSO label mapping cache, this function should be called
177 * before any of the other functions defined in this file. Returns zero on
178 * success, negative values on error.
179 *
180 */
Fabian Frederickcb576592014-10-01 19:30:03 +0200181static int __init cipso_v4_cache_init(void)
Paul Moore446fda42006-08-03 16:48:06 -0700182{
183 u32 iter;
184
185 cipso_v4_cache = kcalloc(CIPSO_V4_CACHE_BUCKETS,
186 sizeof(struct cipso_v4_map_cache_bkt),
187 GFP_KERNEL);
Ian Morris51456b22015-04-03 09:17:26 +0100188 if (!cipso_v4_cache)
Paul Moore446fda42006-08-03 16:48:06 -0700189 return -ENOMEM;
190
191 for (iter = 0; iter < CIPSO_V4_CACHE_BUCKETS; iter++) {
192 spin_lock_init(&cipso_v4_cache[iter].lock);
193 cipso_v4_cache[iter].size = 0;
194 INIT_LIST_HEAD(&cipso_v4_cache[iter].list);
195 }
196
197 return 0;
198}
199
200/**
201 * cipso_v4_cache_invalidate - Invalidates the current CIPSO cache
202 *
203 * Description:
204 * Invalidates and frees any entries in the CIPSO cache. Returns zero on
205 * success and negative values on failure.
206 *
207 */
208void cipso_v4_cache_invalidate(void)
209{
210 struct cipso_v4_map_cache_entry *entry, *tmp_entry;
211 u32 iter;
212
213 for (iter = 0; iter < CIPSO_V4_CACHE_BUCKETS; iter++) {
Paul Moore609c92f2006-09-25 15:52:37 -0700214 spin_lock_bh(&cipso_v4_cache[iter].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700215 list_for_each_entry_safe(entry,
216 tmp_entry,
217 &cipso_v4_cache[iter].list, list) {
218 list_del(&entry->list);
219 cipso_v4_cache_entry_free(entry);
220 }
221 cipso_v4_cache[iter].size = 0;
Paul Moore609c92f2006-09-25 15:52:37 -0700222 spin_unlock_bh(&cipso_v4_cache[iter].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700223 }
Paul Moore446fda42006-08-03 16:48:06 -0700224}
225
226/**
227 * cipso_v4_cache_check - Check the CIPSO cache for a label mapping
228 * @key: the buffer to check
229 * @key_len: buffer length in bytes
230 * @secattr: the security attribute struct to use
231 *
232 * Description:
233 * This function checks the cache to see if a label mapping already exists for
234 * the given key. If there is a match then the cache is adjusted and the
235 * @secattr struct is populated with the correct LSM security attributes. The
236 * cache is adjusted in the following manner if the entry is not already the
237 * first in the cache bucket:
238 *
239 * 1. The cache entry's activity counter is incremented
240 * 2. The previous (higher ranking) entry's activity counter is decremented
241 * 3. If the difference between the two activity counters is geater than
242 * CIPSO_V4_CACHE_REORDERLIMIT the two entries are swapped
243 *
244 * Returns zero on success, -ENOENT for a cache miss, and other negative values
245 * on error.
246 *
247 */
248static int cipso_v4_cache_check(const unsigned char *key,
249 u32 key_len,
250 struct netlbl_lsm_secattr *secattr)
251{
252 u32 bkt;
253 struct cipso_v4_map_cache_entry *entry;
254 struct cipso_v4_map_cache_entry *prev_entry = NULL;
255 u32 hash;
256
257 if (!cipso_v4_cache_enabled)
258 return -ENOENT;
259
260 hash = cipso_v4_map_cache_hash(key, key_len);
Pavel Emelyanov5e0f8922008-05-13 23:23:55 -0700261 bkt = hash & (CIPSO_V4_CACHE_BUCKETS - 1);
Paul Moore609c92f2006-09-25 15:52:37 -0700262 spin_lock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700263 list_for_each_entry(entry, &cipso_v4_cache[bkt].list, list) {
264 if (entry->hash == hash &&
265 entry->key_len == key_len &&
266 memcmp(entry->key, key, key_len) == 0) {
267 entry->activity += 1;
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400268 atomic_inc(&entry->lsm_data->refcount);
269 secattr->cache = entry->lsm_data;
Paul Moore701a90b2006-11-17 17:38:46 -0500270 secattr->flags |= NETLBL_SECATTR_CACHE;
Paul Moore16efd452008-01-29 08:37:59 -0500271 secattr->type = NETLBL_NLTYPE_CIPSOV4;
Ian Morris51456b22015-04-03 09:17:26 +0100272 if (!prev_entry) {
Paul Moore609c92f2006-09-25 15:52:37 -0700273 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700274 return 0;
275 }
276
277 if (prev_entry->activity > 0)
278 prev_entry->activity -= 1;
279 if (entry->activity > prev_entry->activity &&
280 entry->activity - prev_entry->activity >
281 CIPSO_V4_CACHE_REORDERLIMIT) {
282 __list_del(entry->list.prev, entry->list.next);
283 __list_add(&entry->list,
284 prev_entry->list.prev,
285 &prev_entry->list);
286 }
287
Paul Moore609c92f2006-09-25 15:52:37 -0700288 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700289 return 0;
290 }
291 prev_entry = entry;
292 }
Paul Moore609c92f2006-09-25 15:52:37 -0700293 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700294
295 return -ENOENT;
296}
297
298/**
299 * cipso_v4_cache_add - Add an entry to the CIPSO cache
300 * @skb: the packet
301 * @secattr: the packet's security attributes
302 *
303 * Description:
304 * Add a new entry into the CIPSO label mapping cache. Add the new entry to
305 * head of the cache bucket's list, if the cache bucket is out of room remove
306 * the last entry in the list first. It is important to note that there is
307 * currently no checking for duplicate keys. Returns zero on success,
308 * negative values on failure.
309 *
310 */
Paul Moore04f81f02015-02-11 14:46:37 -0500311int cipso_v4_cache_add(const unsigned char *cipso_ptr,
Paul Moore446fda42006-08-03 16:48:06 -0700312 const struct netlbl_lsm_secattr *secattr)
313{
314 int ret_val = -EPERM;
315 u32 bkt;
316 struct cipso_v4_map_cache_entry *entry = NULL;
317 struct cipso_v4_map_cache_entry *old_entry = NULL;
Paul Moore446fda42006-08-03 16:48:06 -0700318 u32 cipso_ptr_len;
319
320 if (!cipso_v4_cache_enabled || cipso_v4_cache_bucketsize <= 0)
321 return 0;
322
Paul Moore446fda42006-08-03 16:48:06 -0700323 cipso_ptr_len = cipso_ptr[1];
324
325 entry = kzalloc(sizeof(*entry), GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +0100326 if (!entry)
Paul Moore446fda42006-08-03 16:48:06 -0700327 return -ENOMEM;
Arnaldo Carvalho de Melofac5d732006-11-17 11:14:16 -0200328 entry->key = kmemdup(cipso_ptr, cipso_ptr_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +0100329 if (!entry->key) {
Paul Moore446fda42006-08-03 16:48:06 -0700330 ret_val = -ENOMEM;
331 goto cache_add_failure;
332 }
Paul Moore446fda42006-08-03 16:48:06 -0700333 entry->key_len = cipso_ptr_len;
334 entry->hash = cipso_v4_map_cache_hash(cipso_ptr, cipso_ptr_len);
paul.moore@hp.comffb733c2006-10-04 11:46:31 -0400335 atomic_inc(&secattr->cache->refcount);
336 entry->lsm_data = secattr->cache;
Paul Moore446fda42006-08-03 16:48:06 -0700337
Pavel Emelyanov5e0f8922008-05-13 23:23:55 -0700338 bkt = entry->hash & (CIPSO_V4_CACHE_BUCKETS - 1);
Paul Moore609c92f2006-09-25 15:52:37 -0700339 spin_lock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700340 if (cipso_v4_cache[bkt].size < cipso_v4_cache_bucketsize) {
341 list_add(&entry->list, &cipso_v4_cache[bkt].list);
342 cipso_v4_cache[bkt].size += 1;
343 } else {
344 old_entry = list_entry(cipso_v4_cache[bkt].list.prev,
345 struct cipso_v4_map_cache_entry, list);
346 list_del(&old_entry->list);
347 list_add(&entry->list, &cipso_v4_cache[bkt].list);
348 cipso_v4_cache_entry_free(old_entry);
349 }
Paul Moore609c92f2006-09-25 15:52:37 -0700350 spin_unlock_bh(&cipso_v4_cache[bkt].lock);
Paul Moore446fda42006-08-03 16:48:06 -0700351
352 return 0;
353
354cache_add_failure:
355 if (entry)
356 cipso_v4_cache_entry_free(entry);
357 return ret_val;
358}
359
360/*
361 * DOI List Functions
362 */
363
364/**
365 * cipso_v4_doi_search - Searches for a DOI definition
366 * @doi: the DOI to search for
367 *
368 * Description:
369 * Search the DOI definition list for a DOI definition with a DOI value that
Lucas De Marchi25985ed2011-03-30 22:57:33 -0300370 * matches @doi. The caller is responsible for calling rcu_read_[un]lock().
Paul Moore446fda42006-08-03 16:48:06 -0700371 * Returns a pointer to the DOI definition on success and NULL on failure.
372 */
373static struct cipso_v4_doi *cipso_v4_doi_search(u32 doi)
374{
375 struct cipso_v4_doi *iter;
376
377 list_for_each_entry_rcu(iter, &cipso_v4_doi_list, list)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400378 if (iter->doi == doi && atomic_read(&iter->refcount))
Paul Moore446fda42006-08-03 16:48:06 -0700379 return iter;
380 return NULL;
381}
382
383/**
384 * cipso_v4_doi_add - Add a new DOI to the CIPSO protocol engine
385 * @doi_def: the DOI structure
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500386 * @audit_info: NetLabel audit information
Paul Moore446fda42006-08-03 16:48:06 -0700387 *
388 * Description:
389 * The caller defines a new DOI for use by the CIPSO engine and calls this
390 * function to add it to the list of acceptable domains. The caller must
391 * ensure that the mapping table specified in @doi_def->map meets all of the
392 * requirements of the mapping type (see cipso_ipv4.h for details). Returns
393 * zero on success and non-zero on failure.
394 *
395 */
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500396int cipso_v4_doi_add(struct cipso_v4_doi *doi_def,
397 struct netlbl_audit *audit_info)
Paul Moore446fda42006-08-03 16:48:06 -0700398{
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500399 int ret_val = -EINVAL;
Paul Moore6ce61a72006-11-17 17:38:48 -0500400 u32 iter;
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500401 u32 doi;
402 u32 doi_type;
403 struct audit_buffer *audit_buf;
404
405 doi = doi_def->doi;
406 doi_type = doi_def->type;
Paul Moore6ce61a72006-11-17 17:38:48 -0500407
Dan Carpenter56755922011-10-11 18:43:53 -0400408 if (doi_def->doi == CIPSO_V4_DOI_UNKNOWN)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500409 goto doi_add_return;
Paul Moore6ce61a72006-11-17 17:38:48 -0500410 for (iter = 0; iter < CIPSO_V4_TAG_MAXCNT; iter++) {
411 switch (doi_def->tags[iter]) {
412 case CIPSO_V4_TAG_RBITMAP:
413 break;
Paul Moore484b3662006-11-29 13:18:20 -0500414 case CIPSO_V4_TAG_RANGE:
Paul Moore654bbc22006-11-29 13:18:19 -0500415 case CIPSO_V4_TAG_ENUM:
416 if (doi_def->type != CIPSO_V4_MAP_PASS)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500417 goto doi_add_return;
Paul Moore654bbc22006-11-29 13:18:19 -0500418 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400419 case CIPSO_V4_TAG_LOCAL:
420 if (doi_def->type != CIPSO_V4_MAP_LOCAL)
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500421 goto doi_add_return;
422 break;
423 case CIPSO_V4_TAG_INVALID:
424 if (iter == 0)
425 goto doi_add_return;
Paul Moore15c45f72008-10-10 10:16:34 -0400426 break;
Paul Moore6ce61a72006-11-17 17:38:48 -0500427 default:
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500428 goto doi_add_return;
Paul Moore6ce61a72006-11-17 17:38:48 -0500429 }
430 }
Paul Moore446fda42006-08-03 16:48:06 -0700431
Paul Mooreb1edeb12008-10-10 10:16:31 -0400432 atomic_set(&doi_def->refcount, 1);
Paul Moore446fda42006-08-03 16:48:06 -0700433
Paul Moore446fda42006-08-03 16:48:06 -0700434 spin_lock(&cipso_v4_doi_list_lock);
Ian Morris00db4122015-04-03 09:17:27 +0100435 if (cipso_v4_doi_search(doi_def->doi)) {
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500436 spin_unlock(&cipso_v4_doi_list_lock);
437 ret_val = -EEXIST;
438 goto doi_add_return;
439 }
Paul Moore446fda42006-08-03 16:48:06 -0700440 list_add_tail_rcu(&doi_def->list, &cipso_v4_doi_list);
441 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500442 ret_val = 0;
Paul Moore446fda42006-08-03 16:48:06 -0700443
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500444doi_add_return:
445 audit_buf = netlbl_audit_start(AUDIT_MAC_CIPSOV4_ADD, audit_info);
Ian Morris00db4122015-04-03 09:17:27 +0100446 if (audit_buf) {
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500447 const char *type_str;
448 switch (doi_type) {
449 case CIPSO_V4_MAP_TRANS:
450 type_str = "trans";
451 break;
452 case CIPSO_V4_MAP_PASS:
453 type_str = "pass";
454 break;
455 case CIPSO_V4_MAP_LOCAL:
456 type_str = "local";
457 break;
458 default:
459 type_str = "(unknown)";
460 }
461 audit_log_format(audit_buf,
462 " cipso_doi=%u cipso_type=%s res=%u",
463 doi, type_str, ret_val == 0 ? 1 : 0);
464 audit_log_end(audit_buf);
465 }
Paul Moore446fda42006-08-03 16:48:06 -0700466
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500467 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700468}
469
470/**
Paul Mooreb1edeb12008-10-10 10:16:31 -0400471 * cipso_v4_doi_free - Frees a DOI definition
Fabian Frederick49734042014-11-04 20:10:01 +0100472 * @doi_def: the DOI definition
Paul Moore446fda42006-08-03 16:48:06 -0700473 *
474 * Description:
Paul Mooreb1edeb12008-10-10 10:16:31 -0400475 * This function frees all of the memory associated with a DOI definition.
Paul Moore446fda42006-08-03 16:48:06 -0700476 *
477 */
Paul Mooreb1edeb12008-10-10 10:16:31 -0400478void cipso_v4_doi_free(struct cipso_v4_doi *doi_def)
Paul Moore446fda42006-08-03 16:48:06 -0700479{
Ian Morris51456b22015-04-03 09:17:26 +0100480 if (!doi_def)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400481 return;
Paul Moore446fda42006-08-03 16:48:06 -0700482
Paul Mooreb1edeb12008-10-10 10:16:31 -0400483 switch (doi_def->type) {
Paul Moore15c45f72008-10-10 10:16:34 -0400484 case CIPSO_V4_MAP_TRANS:
Paul Mooreb1edeb12008-10-10 10:16:31 -0400485 kfree(doi_def->map.std->lvl.cipso);
486 kfree(doi_def->map.std->lvl.local);
487 kfree(doi_def->map.std->cat.cipso);
488 kfree(doi_def->map.std->cat.local);
489 break;
Paul Moore446fda42006-08-03 16:48:06 -0700490 }
Paul Mooreb1edeb12008-10-10 10:16:31 -0400491 kfree(doi_def);
Paul Moore446fda42006-08-03 16:48:06 -0700492}
493
494/**
Paul Mooreb1edeb12008-10-10 10:16:31 -0400495 * cipso_v4_doi_free_rcu - Frees a DOI definition via the RCU pointer
496 * @entry: the entry's RCU field
497 *
498 * Description:
499 * This function is designed to be used as a callback to the call_rcu()
500 * function so that the memory allocated to the DOI definition can be released
501 * safely.
502 *
503 */
504static void cipso_v4_doi_free_rcu(struct rcu_head *entry)
505{
506 struct cipso_v4_doi *doi_def;
507
508 doi_def = container_of(entry, struct cipso_v4_doi, rcu);
509 cipso_v4_doi_free(doi_def);
510}
511
512/**
513 * cipso_v4_doi_remove - Remove an existing DOI from the CIPSO protocol engine
514 * @doi: the DOI value
515 * @audit_secid: the LSM secid to use in the audit message
516 *
517 * Description:
518 * Removes a DOI definition from the CIPSO engine. The NetLabel routines will
519 * be called to release their own LSM domain mappings as well as our own
520 * domain list. Returns zero on success and negative values on failure.
521 *
522 */
523int cipso_v4_doi_remove(u32 doi, struct netlbl_audit *audit_info)
524{
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500525 int ret_val;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400526 struct cipso_v4_doi *doi_def;
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500527 struct audit_buffer *audit_buf;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400528
529 spin_lock(&cipso_v4_doi_list_lock);
530 doi_def = cipso_v4_doi_search(doi);
Ian Morris51456b22015-04-03 09:17:26 +0100531 if (!doi_def) {
Paul Mooreb1edeb12008-10-10 10:16:31 -0400532 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500533 ret_val = -ENOENT;
534 goto doi_remove_return;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400535 }
536 if (!atomic_dec_and_test(&doi_def->refcount)) {
537 spin_unlock(&cipso_v4_doi_list_lock);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500538 ret_val = -EBUSY;
539 goto doi_remove_return;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400540 }
541 list_del_rcu(&doi_def->list);
542 spin_unlock(&cipso_v4_doi_list_lock);
543
544 cipso_v4_cache_invalidate();
545 call_rcu(&doi_def->rcu, cipso_v4_doi_free_rcu);
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500546 ret_val = 0;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400547
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500548doi_remove_return:
549 audit_buf = netlbl_audit_start(AUDIT_MAC_CIPSOV4_DEL, audit_info);
Ian Morris00db4122015-04-03 09:17:27 +0100550 if (audit_buf) {
Paul Moore6c2e8ac2008-12-31 12:54:11 -0500551 audit_log_format(audit_buf,
552 " cipso_doi=%u res=%u",
553 doi, ret_val == 0 ? 1 : 0);
554 audit_log_end(audit_buf);
555 }
556
557 return ret_val;
Paul Mooreb1edeb12008-10-10 10:16:31 -0400558}
559
560/**
561 * cipso_v4_doi_getdef - Returns a reference to a valid DOI definition
Paul Moore446fda42006-08-03 16:48:06 -0700562 * @doi: the DOI value
563 *
564 * Description:
565 * Searches for a valid DOI definition and if one is found it is returned to
566 * the caller. Otherwise NULL is returned. The caller must ensure that
Paul Mooreb1edeb12008-10-10 10:16:31 -0400567 * rcu_read_lock() is held while accessing the returned definition and the DOI
568 * definition reference count is decremented when the caller is done.
Paul Moore446fda42006-08-03 16:48:06 -0700569 *
570 */
571struct cipso_v4_doi *cipso_v4_doi_getdef(u32 doi)
572{
Paul Mooreb1edeb12008-10-10 10:16:31 -0400573 struct cipso_v4_doi *doi_def;
574
575 rcu_read_lock();
576 doi_def = cipso_v4_doi_search(doi);
Ian Morris51456b22015-04-03 09:17:26 +0100577 if (!doi_def)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400578 goto doi_getdef_return;
579 if (!atomic_inc_not_zero(&doi_def->refcount))
580 doi_def = NULL;
581
582doi_getdef_return:
583 rcu_read_unlock();
584 return doi_def;
585}
586
587/**
588 * cipso_v4_doi_putdef - Releases a reference for the given DOI definition
589 * @doi_def: the DOI definition
590 *
591 * Description:
592 * Releases a DOI definition reference obtained from cipso_v4_doi_getdef().
593 *
594 */
595void cipso_v4_doi_putdef(struct cipso_v4_doi *doi_def)
596{
Ian Morris51456b22015-04-03 09:17:26 +0100597 if (!doi_def)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400598 return;
599
600 if (!atomic_dec_and_test(&doi_def->refcount))
601 return;
602 spin_lock(&cipso_v4_doi_list_lock);
603 list_del_rcu(&doi_def->list);
604 spin_unlock(&cipso_v4_doi_list_lock);
605
606 cipso_v4_cache_invalidate();
607 call_rcu(&doi_def->rcu, cipso_v4_doi_free_rcu);
Paul Moore446fda42006-08-03 16:48:06 -0700608}
609
610/**
Paul Moorefcd48282006-09-25 15:56:09 -0700611 * cipso_v4_doi_walk - Iterate through the DOI definitions
612 * @skip_cnt: skip past this number of DOI definitions, updated
613 * @callback: callback for each DOI definition
614 * @cb_arg: argument for the callback function
Paul Moore446fda42006-08-03 16:48:06 -0700615 *
616 * Description:
Paul Moorefcd48282006-09-25 15:56:09 -0700617 * Iterate over the DOI definition list, skipping the first @skip_cnt entries.
618 * For each entry call @callback, if @callback returns a negative value stop
619 * 'walking' through the list and return. Updates the value in @skip_cnt upon
620 * return. Returns zero on success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -0700621 *
622 */
Paul Moorefcd48282006-09-25 15:56:09 -0700623int cipso_v4_doi_walk(u32 *skip_cnt,
624 int (*callback) (struct cipso_v4_doi *doi_def, void *arg),
625 void *cb_arg)
Paul Moore446fda42006-08-03 16:48:06 -0700626{
Paul Moorefcd48282006-09-25 15:56:09 -0700627 int ret_val = -ENOENT;
Paul Moore446fda42006-08-03 16:48:06 -0700628 u32 doi_cnt = 0;
Paul Moorefcd48282006-09-25 15:56:09 -0700629 struct cipso_v4_doi *iter_doi;
Paul Moore446fda42006-08-03 16:48:06 -0700630
631 rcu_read_lock();
Paul Moorefcd48282006-09-25 15:56:09 -0700632 list_for_each_entry_rcu(iter_doi, &cipso_v4_doi_list, list)
Paul Mooreb1edeb12008-10-10 10:16:31 -0400633 if (atomic_read(&iter_doi->refcount) > 0) {
Paul Moorefcd48282006-09-25 15:56:09 -0700634 if (doi_cnt++ < *skip_cnt)
635 continue;
636 ret_val = callback(iter_doi, cb_arg);
637 if (ret_val < 0) {
638 doi_cnt--;
639 goto doi_walk_return;
Paul Moore446fda42006-08-03 16:48:06 -0700640 }
Paul Moorefcd48282006-09-25 15:56:09 -0700641 }
Paul Moore446fda42006-08-03 16:48:06 -0700642
Paul Moorefcd48282006-09-25 15:56:09 -0700643doi_walk_return:
Paul Moore446fda42006-08-03 16:48:06 -0700644 rcu_read_unlock();
Paul Moorefcd48282006-09-25 15:56:09 -0700645 *skip_cnt = doi_cnt;
646 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700647}
648
Paul Moore446fda42006-08-03 16:48:06 -0700649/*
650 * Label Mapping Functions
651 */
652
653/**
654 * cipso_v4_map_lvl_valid - Checks to see if the given level is understood
655 * @doi_def: the DOI definition
656 * @level: the level to check
657 *
658 * Description:
659 * Checks the given level against the given DOI definition and returns a
660 * negative value if the level does not have a valid mapping and a zero value
661 * if the level is defined by the DOI.
662 *
663 */
664static int cipso_v4_map_lvl_valid(const struct cipso_v4_doi *doi_def, u8 level)
665{
666 switch (doi_def->type) {
667 case CIPSO_V4_MAP_PASS:
668 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400669 case CIPSO_V4_MAP_TRANS:
Paul Moore1c973f92019-02-25 19:06:06 -0500670 if ((level < doi_def->map.std->lvl.cipso_size) &&
671 (doi_def->map.std->lvl.cipso[level] < CIPSO_V4_INV_LVL))
Paul Moore446fda42006-08-03 16:48:06 -0700672 return 0;
673 break;
674 }
675
676 return -EFAULT;
677}
678
679/**
680 * cipso_v4_map_lvl_hton - Perform a level mapping from the host to the network
681 * @doi_def: the DOI definition
682 * @host_lvl: the host MLS level
683 * @net_lvl: the network/CIPSO MLS level
684 *
685 * Description:
686 * Perform a label mapping to translate a local MLS level to the correct
687 * CIPSO level using the given DOI definition. Returns zero on success,
688 * negative values otherwise.
689 *
690 */
691static int cipso_v4_map_lvl_hton(const struct cipso_v4_doi *doi_def,
692 u32 host_lvl,
693 u32 *net_lvl)
694{
695 switch (doi_def->type) {
696 case CIPSO_V4_MAP_PASS:
697 *net_lvl = host_lvl;
698 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400699 case CIPSO_V4_MAP_TRANS:
Paul Moorec6387a82007-03-02 13:19:02 -0800700 if (host_lvl < doi_def->map.std->lvl.local_size &&
701 doi_def->map.std->lvl.local[host_lvl] < CIPSO_V4_INV_LVL) {
Paul Moore446fda42006-08-03 16:48:06 -0700702 *net_lvl = doi_def->map.std->lvl.local[host_lvl];
703 return 0;
704 }
Paul Moorec6387a82007-03-02 13:19:02 -0800705 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700706 }
707
708 return -EINVAL;
709}
710
711/**
712 * cipso_v4_map_lvl_ntoh - Perform a level mapping from the network to the host
713 * @doi_def: the DOI definition
714 * @net_lvl: the network/CIPSO MLS level
715 * @host_lvl: the host MLS level
716 *
717 * Description:
718 * Perform a label mapping to translate a CIPSO level to the correct local MLS
719 * level using the given DOI definition. Returns zero on success, negative
720 * values otherwise.
721 *
722 */
723static int cipso_v4_map_lvl_ntoh(const struct cipso_v4_doi *doi_def,
724 u32 net_lvl,
725 u32 *host_lvl)
726{
727 struct cipso_v4_std_map_tbl *map_tbl;
728
729 switch (doi_def->type) {
730 case CIPSO_V4_MAP_PASS:
731 *host_lvl = net_lvl;
732 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400733 case CIPSO_V4_MAP_TRANS:
Paul Moore446fda42006-08-03 16:48:06 -0700734 map_tbl = doi_def->map.std;
735 if (net_lvl < map_tbl->lvl.cipso_size &&
736 map_tbl->lvl.cipso[net_lvl] < CIPSO_V4_INV_LVL) {
737 *host_lvl = doi_def->map.std->lvl.cipso[net_lvl];
738 return 0;
739 }
Paul Moorec6387a82007-03-02 13:19:02 -0800740 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700741 }
742
743 return -EINVAL;
744}
745
746/**
747 * cipso_v4_map_cat_rbm_valid - Checks to see if the category bitmap is valid
748 * @doi_def: the DOI definition
749 * @bitmap: category bitmap
750 * @bitmap_len: bitmap length in bytes
751 *
752 * Description:
753 * Checks the given category bitmap against the given DOI definition and
754 * returns a negative value if any of the categories in the bitmap do not have
755 * a valid mapping and a zero value if all of the categories are valid.
756 *
757 */
758static int cipso_v4_map_cat_rbm_valid(const struct cipso_v4_doi *doi_def,
759 const unsigned char *bitmap,
760 u32 bitmap_len)
761{
762 int cat = -1;
763 u32 bitmap_len_bits = bitmap_len * 8;
Paul Moore044a68e2006-10-11 19:10:47 -0400764 u32 cipso_cat_size;
765 u32 *cipso_array;
Paul Moore446fda42006-08-03 16:48:06 -0700766
767 switch (doi_def->type) {
768 case CIPSO_V4_MAP_PASS:
769 return 0;
Paul Moore15c45f72008-10-10 10:16:34 -0400770 case CIPSO_V4_MAP_TRANS:
Paul Moore044a68e2006-10-11 19:10:47 -0400771 cipso_cat_size = doi_def->map.std->cat.cipso_size;
772 cipso_array = doi_def->map.std->cat.cipso;
Paul Moore446fda42006-08-03 16:48:06 -0700773 for (;;) {
Huw Davies3faa8f92016-06-27 15:02:51 -0400774 cat = netlbl_bitmap_walk(bitmap,
775 bitmap_len_bits,
776 cat + 1,
777 1);
Paul Moore446fda42006-08-03 16:48:06 -0700778 if (cat < 0)
779 break;
780 if (cat >= cipso_cat_size ||
781 cipso_array[cat] >= CIPSO_V4_INV_CAT)
782 return -EFAULT;
783 }
784
785 if (cat == -1)
786 return 0;
787 break;
788 }
789
790 return -EFAULT;
791}
792
793/**
794 * cipso_v4_map_cat_rbm_hton - Perform a category mapping from host to network
795 * @doi_def: the DOI definition
Paul Moore02752762006-11-29 13:18:18 -0500796 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -0700797 * @net_cat: the zero'd out category bitmap in network/CIPSO format
798 * @net_cat_len: the length of the CIPSO bitmap in bytes
799 *
800 * Description:
801 * Perform a label mapping to translate a local MLS category bitmap to the
802 * correct CIPSO bitmap using the given DOI definition. Returns the minimum
803 * size in bytes of the network bitmap on success, negative values otherwise.
804 *
805 */
806static int cipso_v4_map_cat_rbm_hton(const struct cipso_v4_doi *doi_def,
Paul Moore02752762006-11-29 13:18:18 -0500807 const struct netlbl_lsm_secattr *secattr,
Paul Moore446fda42006-08-03 16:48:06 -0700808 unsigned char *net_cat,
809 u32 net_cat_len)
810{
811 int host_spot = -1;
Paul Moore02752762006-11-29 13:18:18 -0500812 u32 net_spot = CIPSO_V4_INV_CAT;
Paul Moore446fda42006-08-03 16:48:06 -0700813 u32 net_spot_max = 0;
Paul Moore446fda42006-08-03 16:48:06 -0700814 u32 net_clen_bits = net_cat_len * 8;
Paul Moore02752762006-11-29 13:18:18 -0500815 u32 host_cat_size = 0;
816 u32 *host_cat_array = NULL;
Paul Moore446fda42006-08-03 16:48:06 -0700817
Paul Moore15c45f72008-10-10 10:16:34 -0400818 if (doi_def->type == CIPSO_V4_MAP_TRANS) {
Paul Moore044a68e2006-10-11 19:10:47 -0400819 host_cat_size = doi_def->map.std->cat.local_size;
820 host_cat_array = doi_def->map.std->cat.local;
Paul Moore02752762006-11-29 13:18:18 -0500821 }
822
823 for (;;) {
Paul Moore4fbe63d2014-08-01 11:17:37 -0400824 host_spot = netlbl_catmap_walk(secattr->attr.mls.cat,
825 host_spot + 1);
Paul Moore02752762006-11-29 13:18:18 -0500826 if (host_spot < 0)
827 break;
828
829 switch (doi_def->type) {
830 case CIPSO_V4_MAP_PASS:
831 net_spot = host_spot;
832 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400833 case CIPSO_V4_MAP_TRANS:
Paul Moore446fda42006-08-03 16:48:06 -0700834 if (host_spot >= host_cat_size)
835 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700836 net_spot = host_cat_array[host_spot];
Paul Moore9fade4b2006-11-17 17:38:50 -0500837 if (net_spot >= CIPSO_V4_INV_CAT)
838 return -EPERM;
Paul Moore02752762006-11-29 13:18:18 -0500839 break;
Paul Moore446fda42006-08-03 16:48:06 -0700840 }
Paul Moore02752762006-11-29 13:18:18 -0500841 if (net_spot >= net_clen_bits)
842 return -ENOSPC;
Huw Davies3faa8f92016-06-27 15:02:51 -0400843 netlbl_bitmap_setbit(net_cat, net_spot, 1);
Paul Moore446fda42006-08-03 16:48:06 -0700844
Paul Moore02752762006-11-29 13:18:18 -0500845 if (net_spot > net_spot_max)
846 net_spot_max = net_spot;
Paul Moore446fda42006-08-03 16:48:06 -0700847 }
848
Paul Moore02752762006-11-29 13:18:18 -0500849 if (++net_spot_max % 8)
850 return net_spot_max / 8 + 1;
851 return net_spot_max / 8;
Paul Moore446fda42006-08-03 16:48:06 -0700852}
853
854/**
855 * cipso_v4_map_cat_rbm_ntoh - Perform a category mapping from network to host
856 * @doi_def: the DOI definition
857 * @net_cat: the category bitmap in network/CIPSO format
858 * @net_cat_len: the length of the CIPSO bitmap in bytes
Paul Moore02752762006-11-29 13:18:18 -0500859 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -0700860 *
861 * Description:
862 * Perform a label mapping to translate a CIPSO bitmap to the correct local
Paul Moore02752762006-11-29 13:18:18 -0500863 * MLS category bitmap using the given DOI definition. Returns zero on
864 * success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -0700865 *
866 */
867static int cipso_v4_map_cat_rbm_ntoh(const struct cipso_v4_doi *doi_def,
868 const unsigned char *net_cat,
869 u32 net_cat_len,
Paul Moore02752762006-11-29 13:18:18 -0500870 struct netlbl_lsm_secattr *secattr)
Paul Moore446fda42006-08-03 16:48:06 -0700871{
Paul Moore02752762006-11-29 13:18:18 -0500872 int ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700873 int net_spot = -1;
Paul Moore02752762006-11-29 13:18:18 -0500874 u32 host_spot = CIPSO_V4_INV_CAT;
Paul Moore446fda42006-08-03 16:48:06 -0700875 u32 net_clen_bits = net_cat_len * 8;
Paul Moore02752762006-11-29 13:18:18 -0500876 u32 net_cat_size = 0;
877 u32 *net_cat_array = NULL;
Paul Moore446fda42006-08-03 16:48:06 -0700878
Paul Moore15c45f72008-10-10 10:16:34 -0400879 if (doi_def->type == CIPSO_V4_MAP_TRANS) {
Paul Moore044a68e2006-10-11 19:10:47 -0400880 net_cat_size = doi_def->map.std->cat.cipso_size;
881 net_cat_array = doi_def->map.std->cat.cipso;
Paul Moore02752762006-11-29 13:18:18 -0500882 }
Paul Moore446fda42006-08-03 16:48:06 -0700883
Paul Moore02752762006-11-29 13:18:18 -0500884 for (;;) {
Huw Davies3faa8f92016-06-27 15:02:51 -0400885 net_spot = netlbl_bitmap_walk(net_cat,
886 net_clen_bits,
887 net_spot + 1,
888 1);
Paul Moore02752762006-11-29 13:18:18 -0500889 if (net_spot < 0) {
890 if (net_spot == -2)
891 return -EFAULT;
892 return 0;
893 }
894
895 switch (doi_def->type) {
896 case CIPSO_V4_MAP_PASS:
897 host_spot = net_spot;
898 break;
Paul Moore15c45f72008-10-10 10:16:34 -0400899 case CIPSO_V4_MAP_TRANS:
Paul Moore02752762006-11-29 13:18:18 -0500900 if (net_spot >= net_cat_size)
901 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -0700902 host_spot = net_cat_array[net_spot];
Paul Moore9fade4b2006-11-17 17:38:50 -0500903 if (host_spot >= CIPSO_V4_INV_CAT)
904 return -EPERM;
Paul Moore02752762006-11-29 13:18:18 -0500905 break;
Paul Moore446fda42006-08-03 16:48:06 -0700906 }
Paul Moore4fbe63d2014-08-01 11:17:37 -0400907 ret_val = netlbl_catmap_setbit(&secattr->attr.mls.cat,
Paul Moore02752762006-11-29 13:18:18 -0500908 host_spot,
909 GFP_ATOMIC);
910 if (ret_val != 0)
911 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -0700912 }
913
914 return -EINVAL;
915}
916
Paul Moore654bbc22006-11-29 13:18:19 -0500917/**
918 * cipso_v4_map_cat_enum_valid - Checks to see if the categories are valid
919 * @doi_def: the DOI definition
920 * @enumcat: category list
921 * @enumcat_len: length of the category list in bytes
922 *
923 * Description:
924 * Checks the given categories against the given DOI definition and returns a
925 * negative value if any of the categories do not have a valid mapping and a
926 * zero value if all of the categories are valid.
927 *
928 */
929static int cipso_v4_map_cat_enum_valid(const struct cipso_v4_doi *doi_def,
930 const unsigned char *enumcat,
931 u32 enumcat_len)
932{
933 u16 cat;
934 int cat_prev = -1;
935 u32 iter;
936
937 if (doi_def->type != CIPSO_V4_MAP_PASS || enumcat_len & 0x01)
938 return -EFAULT;
939
940 for (iter = 0; iter < enumcat_len; iter += 2) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -0700941 cat = get_unaligned_be16(&enumcat[iter]);
Paul Moore654bbc22006-11-29 13:18:19 -0500942 if (cat <= cat_prev)
943 return -EFAULT;
944 cat_prev = cat;
945 }
946
947 return 0;
948}
949
950/**
951 * cipso_v4_map_cat_enum_hton - Perform a category mapping from host to network
952 * @doi_def: the DOI definition
953 * @secattr: the security attributes
954 * @net_cat: the zero'd out category list in network/CIPSO format
955 * @net_cat_len: the length of the CIPSO category list in bytes
956 *
957 * Description:
958 * Perform a label mapping to translate a local MLS category bitmap to the
959 * correct CIPSO category list using the given DOI definition. Returns the
960 * size in bytes of the network category bitmap on success, negative values
961 * otherwise.
962 *
963 */
964static int cipso_v4_map_cat_enum_hton(const struct cipso_v4_doi *doi_def,
965 const struct netlbl_lsm_secattr *secattr,
966 unsigned char *net_cat,
967 u32 net_cat_len)
968{
969 int cat = -1;
970 u32 cat_iter = 0;
971
972 for (;;) {
Paul Moore4fbe63d2014-08-01 11:17:37 -0400973 cat = netlbl_catmap_walk(secattr->attr.mls.cat, cat + 1);
Paul Moore654bbc22006-11-29 13:18:19 -0500974 if (cat < 0)
975 break;
976 if ((cat_iter + 2) > net_cat_len)
977 return -ENOSPC;
978
979 *((__be16 *)&net_cat[cat_iter]) = htons(cat);
980 cat_iter += 2;
981 }
982
983 return cat_iter;
984}
985
986/**
987 * cipso_v4_map_cat_enum_ntoh - Perform a category mapping from network to host
988 * @doi_def: the DOI definition
989 * @net_cat: the category list in network/CIPSO format
990 * @net_cat_len: the length of the CIPSO bitmap in bytes
991 * @secattr: the security attributes
992 *
993 * Description:
994 * Perform a label mapping to translate a CIPSO category list to the correct
995 * local MLS category bitmap using the given DOI definition. Returns zero on
996 * success, negative values on failure.
997 *
998 */
999static int cipso_v4_map_cat_enum_ntoh(const struct cipso_v4_doi *doi_def,
1000 const unsigned char *net_cat,
1001 u32 net_cat_len,
1002 struct netlbl_lsm_secattr *secattr)
1003{
1004 int ret_val;
1005 u32 iter;
1006
1007 for (iter = 0; iter < net_cat_len; iter += 2) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001008 ret_val = netlbl_catmap_setbit(&secattr->attr.mls.cat,
1009 get_unaligned_be16(&net_cat[iter]),
1010 GFP_ATOMIC);
Paul Moore654bbc22006-11-29 13:18:19 -05001011 if (ret_val != 0)
1012 return ret_val;
1013 }
1014
1015 return 0;
1016}
1017
Paul Moore484b3662006-11-29 13:18:20 -05001018/**
1019 * cipso_v4_map_cat_rng_valid - Checks to see if the categories are valid
1020 * @doi_def: the DOI definition
1021 * @rngcat: category list
1022 * @rngcat_len: length of the category list in bytes
1023 *
1024 * Description:
1025 * Checks the given categories against the given DOI definition and returns a
1026 * negative value if any of the categories do not have a valid mapping and a
1027 * zero value if all of the categories are valid.
1028 *
1029 */
1030static int cipso_v4_map_cat_rng_valid(const struct cipso_v4_doi *doi_def,
1031 const unsigned char *rngcat,
1032 u32 rngcat_len)
1033{
1034 u16 cat_high;
1035 u16 cat_low;
1036 u32 cat_prev = CIPSO_V4_MAX_REM_CATS + 1;
1037 u32 iter;
1038
1039 if (doi_def->type != CIPSO_V4_MAP_PASS || rngcat_len & 0x01)
1040 return -EFAULT;
1041
1042 for (iter = 0; iter < rngcat_len; iter += 4) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001043 cat_high = get_unaligned_be16(&rngcat[iter]);
Paul Moore484b3662006-11-29 13:18:20 -05001044 if ((iter + 4) <= rngcat_len)
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001045 cat_low = get_unaligned_be16(&rngcat[iter + 2]);
Paul Moore484b3662006-11-29 13:18:20 -05001046 else
1047 cat_low = 0;
1048
1049 if (cat_high > cat_prev)
1050 return -EFAULT;
1051
1052 cat_prev = cat_low;
1053 }
1054
1055 return 0;
1056}
1057
1058/**
1059 * cipso_v4_map_cat_rng_hton - Perform a category mapping from host to network
1060 * @doi_def: the DOI definition
1061 * @secattr: the security attributes
1062 * @net_cat: the zero'd out category list in network/CIPSO format
1063 * @net_cat_len: the length of the CIPSO category list in bytes
1064 *
1065 * Description:
1066 * Perform a label mapping to translate a local MLS category bitmap to the
1067 * correct CIPSO category list using the given DOI definition. Returns the
1068 * size in bytes of the network category bitmap on success, negative values
1069 * otherwise.
1070 *
1071 */
1072static int cipso_v4_map_cat_rng_hton(const struct cipso_v4_doi *doi_def,
1073 const struct netlbl_lsm_secattr *secattr,
1074 unsigned char *net_cat,
1075 u32 net_cat_len)
1076{
Paul Moore484b3662006-11-29 13:18:20 -05001077 int iter = -1;
Paul Mooref998e8c2007-02-28 15:14:20 -05001078 u16 array[CIPSO_V4_TAG_RNG_CAT_MAX * 2];
Paul Moore484b3662006-11-29 13:18:20 -05001079 u32 array_cnt = 0;
1080 u32 cat_size = 0;
1081
Paul Mooref998e8c2007-02-28 15:14:20 -05001082 /* make sure we don't overflow the 'array[]' variable */
Paul Moore128c6b62007-02-28 15:14:21 -05001083 if (net_cat_len >
1084 (CIPSO_V4_OPT_LEN_MAX - CIPSO_V4_HDR_LEN - CIPSO_V4_TAG_RNG_BLEN))
1085 return -ENOSPC;
Paul Moore484b3662006-11-29 13:18:20 -05001086
1087 for (;;) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001088 iter = netlbl_catmap_walk(secattr->attr.mls.cat, iter + 1);
Paul Moore484b3662006-11-29 13:18:20 -05001089 if (iter < 0)
1090 break;
1091 cat_size += (iter == 0 ? 0 : sizeof(u16));
1092 if (cat_size > net_cat_len)
1093 return -ENOSPC;
1094 array[array_cnt++] = iter;
1095
Paul Moore4fbe63d2014-08-01 11:17:37 -04001096 iter = netlbl_catmap_walkrng(secattr->attr.mls.cat, iter);
Paul Moore484b3662006-11-29 13:18:20 -05001097 if (iter < 0)
1098 return -EFAULT;
1099 cat_size += sizeof(u16);
1100 if (cat_size > net_cat_len)
1101 return -ENOSPC;
1102 array[array_cnt++] = iter;
1103 }
1104
1105 for (iter = 0; array_cnt > 0;) {
1106 *((__be16 *)&net_cat[iter]) = htons(array[--array_cnt]);
1107 iter += 2;
1108 array_cnt--;
1109 if (array[array_cnt] != 0) {
1110 *((__be16 *)&net_cat[iter]) = htons(array[array_cnt]);
1111 iter += 2;
1112 }
1113 }
1114
1115 return cat_size;
1116}
1117
1118/**
1119 * cipso_v4_map_cat_rng_ntoh - Perform a category mapping from network to host
1120 * @doi_def: the DOI definition
1121 * @net_cat: the category list in network/CIPSO format
1122 * @net_cat_len: the length of the CIPSO bitmap in bytes
1123 * @secattr: the security attributes
1124 *
1125 * Description:
1126 * Perform a label mapping to translate a CIPSO category list to the correct
1127 * local MLS category bitmap using the given DOI definition. Returns zero on
1128 * success, negative values on failure.
1129 *
1130 */
1131static int cipso_v4_map_cat_rng_ntoh(const struct cipso_v4_doi *doi_def,
1132 const unsigned char *net_cat,
1133 u32 net_cat_len,
1134 struct netlbl_lsm_secattr *secattr)
1135{
1136 int ret_val;
1137 u32 net_iter;
1138 u16 cat_low;
1139 u16 cat_high;
1140
Stephen Hemminger132adf52007-03-08 20:44:43 -08001141 for (net_iter = 0; net_iter < net_cat_len; net_iter += 4) {
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001142 cat_high = get_unaligned_be16(&net_cat[net_iter]);
Paul Moore484b3662006-11-29 13:18:20 -05001143 if ((net_iter + 4) <= net_cat_len)
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001144 cat_low = get_unaligned_be16(&net_cat[net_iter + 2]);
Paul Moore484b3662006-11-29 13:18:20 -05001145 else
1146 cat_low = 0;
1147
Paul Moore4fbe63d2014-08-01 11:17:37 -04001148 ret_val = netlbl_catmap_setrng(&secattr->attr.mls.cat,
1149 cat_low,
1150 cat_high,
1151 GFP_ATOMIC);
Paul Moore484b3662006-11-29 13:18:20 -05001152 if (ret_val != 0)
1153 return ret_val;
1154 }
1155
1156 return 0;
1157}
1158
Paul Moore446fda42006-08-03 16:48:06 -07001159/*
1160 * Protocol Handling Functions
1161 */
1162
Paul Moore446fda42006-08-03 16:48:06 -07001163/**
1164 * cipso_v4_gentag_hdr - Generate a CIPSO option header
1165 * @doi_def: the DOI definition
Paul Moore91b1ed02006-11-17 17:38:49 -05001166 * @len: the total tag length in bytes, not including this header
Paul Moore446fda42006-08-03 16:48:06 -07001167 * @buf: the CIPSO option buffer
1168 *
1169 * Description:
Paul Moore91b1ed02006-11-17 17:38:49 -05001170 * Write a CIPSO header into the beginning of @buffer.
Paul Moore446fda42006-08-03 16:48:06 -07001171 *
1172 */
Paul Moore91b1ed02006-11-17 17:38:49 -05001173static void cipso_v4_gentag_hdr(const struct cipso_v4_doi *doi_def,
1174 unsigned char *buf,
1175 u32 len)
Paul Moore446fda42006-08-03 16:48:06 -07001176{
Paul Moore446fda42006-08-03 16:48:06 -07001177 buf[0] = IPOPT_CIPSO;
1178 buf[1] = CIPSO_V4_HDR_LEN + len;
Al Viro714e85b2006-11-14 20:51:49 -08001179 *(__be32 *)&buf[2] = htonl(doi_def->doi);
Paul Moore446fda42006-08-03 16:48:06 -07001180}
1181
Paul Moore446fda42006-08-03 16:48:06 -07001182/**
1183 * cipso_v4_gentag_rbm - Generate a CIPSO restricted bitmap tag (type #1)
1184 * @doi_def: the DOI definition
1185 * @secattr: the security attributes
1186 * @buffer: the option buffer
1187 * @buffer_len: length of buffer in bytes
1188 *
1189 * Description:
1190 * Generate a CIPSO option using the restricted bitmap tag, tag type #1. The
1191 * actual buffer length may be larger than the indicated size due to
Paul Moore91b1ed02006-11-17 17:38:49 -05001192 * translation between host and network category bitmaps. Returns the size of
1193 * the tag on success, negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -07001194 *
1195 */
1196static int cipso_v4_gentag_rbm(const struct cipso_v4_doi *doi_def,
1197 const struct netlbl_lsm_secattr *secattr,
Paul Moore91b1ed02006-11-17 17:38:49 -05001198 unsigned char *buffer,
1199 u32 buffer_len)
Paul Moore446fda42006-08-03 16:48:06 -07001200{
Paul Moore701a90b2006-11-17 17:38:46 -05001201 int ret_val;
Paul Moore91b1ed02006-11-17 17:38:49 -05001202 u32 tag_len;
Paul Moore446fda42006-08-03 16:48:06 -07001203 u32 level;
1204
Paul Moore701a90b2006-11-17 17:38:46 -05001205 if ((secattr->flags & NETLBL_SECATTR_MLS_LVL) == 0)
1206 return -EPERM;
1207
Paul Moore16efd452008-01-29 08:37:59 -05001208 ret_val = cipso_v4_map_lvl_hton(doi_def,
1209 secattr->attr.mls.lvl,
1210 &level);
Paul Moore91b1ed02006-11-17 17:38:49 -05001211 if (ret_val != 0)
1212 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001213
Paul Moore91b1ed02006-11-17 17:38:49 -05001214 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
Paul Moore446fda42006-08-03 16:48:06 -07001215 ret_val = cipso_v4_map_cat_rbm_hton(doi_def,
Paul Moore02752762006-11-29 13:18:18 -05001216 secattr,
Paul Moore91b1ed02006-11-17 17:38:49 -05001217 &buffer[4],
1218 buffer_len - 4);
Paul Moore446fda42006-08-03 16:48:06 -07001219 if (ret_val < 0)
Paul Moore91b1ed02006-11-17 17:38:49 -05001220 return ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001221
1222 /* This will send packets using the "optimized" format when
Lucas De Marchi25985ed2011-03-30 22:57:33 -03001223 * possible as specified in section 3.4.2.6 of the
Paul Moore446fda42006-08-03 16:48:06 -07001224 * CIPSO draft. */
Paul Moore701a90b2006-11-17 17:38:46 -05001225 if (cipso_v4_rbm_optfmt && ret_val > 0 && ret_val <= 10)
Paul Moore91b1ed02006-11-17 17:38:49 -05001226 tag_len = 14;
Paul Moore701a90b2006-11-17 17:38:46 -05001227 else
Paul Moore91b1ed02006-11-17 17:38:49 -05001228 tag_len = 4 + ret_val;
1229 } else
1230 tag_len = 4;
Paul Moore446fda42006-08-03 16:48:06 -07001231
Paul Moore15c45f72008-10-10 10:16:34 -04001232 buffer[0] = CIPSO_V4_TAG_RBITMAP;
Paul Moore91b1ed02006-11-17 17:38:49 -05001233 buffer[1] = tag_len;
1234 buffer[3] = level;
Paul Moore446fda42006-08-03 16:48:06 -07001235
Paul Moore91b1ed02006-11-17 17:38:49 -05001236 return tag_len;
Paul Moore446fda42006-08-03 16:48:06 -07001237}
1238
1239/**
1240 * cipso_v4_parsetag_rbm - Parse a CIPSO restricted bitmap tag
1241 * @doi_def: the DOI definition
1242 * @tag: the CIPSO tag
1243 * @secattr: the security attributes
1244 *
1245 * Description:
1246 * Parse a CIPSO restricted bitmap tag (tag type #1) and return the security
1247 * attributes in @secattr. Return zero on success, negatives values on
1248 * failure.
1249 *
1250 */
1251static int cipso_v4_parsetag_rbm(const struct cipso_v4_doi *doi_def,
1252 const unsigned char *tag,
1253 struct netlbl_lsm_secattr *secattr)
1254{
1255 int ret_val;
1256 u8 tag_len = tag[1];
1257 u32 level;
1258
1259 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1260 if (ret_val != 0)
1261 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001262 secattr->attr.mls.lvl = level;
Paul Moore701a90b2006-11-17 17:38:46 -05001263 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
Paul Moore446fda42006-08-03 16:48:06 -07001264
1265 if (tag_len > 4) {
Paul Moore446fda42006-08-03 16:48:06 -07001266 ret_val = cipso_v4_map_cat_rbm_ntoh(doi_def,
1267 &tag[4],
1268 tag_len - 4,
Paul Moore02752762006-11-29 13:18:18 -05001269 secattr);
1270 if (ret_val != 0) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001271 netlbl_catmap_free(secattr->attr.mls.cat);
Paul Moore446fda42006-08-03 16:48:06 -07001272 return ret_val;
1273 }
Paul Moore02752762006-11-29 13:18:18 -05001274
Paolo Abeni92325772020-05-12 14:43:14 +02001275 if (secattr->attr.mls.cat)
1276 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
Paul Moore446fda42006-08-03 16:48:06 -07001277 }
1278
1279 return 0;
1280}
1281
1282/**
Paul Moore654bbc22006-11-29 13:18:19 -05001283 * cipso_v4_gentag_enum - Generate a CIPSO enumerated tag (type #2)
1284 * @doi_def: the DOI definition
1285 * @secattr: the security attributes
1286 * @buffer: the option buffer
1287 * @buffer_len: length of buffer in bytes
1288 *
1289 * Description:
1290 * Generate a CIPSO option using the enumerated tag, tag type #2. Returns the
1291 * size of the tag on success, negative values on failure.
1292 *
1293 */
1294static int cipso_v4_gentag_enum(const struct cipso_v4_doi *doi_def,
1295 const struct netlbl_lsm_secattr *secattr,
1296 unsigned char *buffer,
1297 u32 buffer_len)
1298{
1299 int ret_val;
1300 u32 tag_len;
1301 u32 level;
1302
1303 if (!(secattr->flags & NETLBL_SECATTR_MLS_LVL))
1304 return -EPERM;
1305
Paul Moore16efd452008-01-29 08:37:59 -05001306 ret_val = cipso_v4_map_lvl_hton(doi_def,
1307 secattr->attr.mls.lvl,
1308 &level);
Paul Moore654bbc22006-11-29 13:18:19 -05001309 if (ret_val != 0)
1310 return ret_val;
1311
1312 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
1313 ret_val = cipso_v4_map_cat_enum_hton(doi_def,
1314 secattr,
1315 &buffer[4],
1316 buffer_len - 4);
1317 if (ret_val < 0)
1318 return ret_val;
1319
1320 tag_len = 4 + ret_val;
1321 } else
1322 tag_len = 4;
1323
Paul Moore15c45f72008-10-10 10:16:34 -04001324 buffer[0] = CIPSO_V4_TAG_ENUM;
Paul Moore654bbc22006-11-29 13:18:19 -05001325 buffer[1] = tag_len;
1326 buffer[3] = level;
1327
1328 return tag_len;
1329}
1330
1331/**
1332 * cipso_v4_parsetag_enum - Parse a CIPSO enumerated tag
1333 * @doi_def: the DOI definition
1334 * @tag: the CIPSO tag
1335 * @secattr: the security attributes
1336 *
1337 * Description:
1338 * Parse a CIPSO enumerated tag (tag type #2) and return the security
1339 * attributes in @secattr. Return zero on success, negatives values on
1340 * failure.
1341 *
1342 */
1343static int cipso_v4_parsetag_enum(const struct cipso_v4_doi *doi_def,
1344 const unsigned char *tag,
1345 struct netlbl_lsm_secattr *secattr)
1346{
1347 int ret_val;
1348 u8 tag_len = tag[1];
1349 u32 level;
1350
1351 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1352 if (ret_val != 0)
1353 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001354 secattr->attr.mls.lvl = level;
Paul Moore654bbc22006-11-29 13:18:19 -05001355 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
1356
1357 if (tag_len > 4) {
Paul Moore654bbc22006-11-29 13:18:19 -05001358 ret_val = cipso_v4_map_cat_enum_ntoh(doi_def,
1359 &tag[4],
1360 tag_len - 4,
1361 secattr);
1362 if (ret_val != 0) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001363 netlbl_catmap_free(secattr->attr.mls.cat);
Paul Moore654bbc22006-11-29 13:18:19 -05001364 return ret_val;
1365 }
1366
1367 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
1368 }
1369
1370 return 0;
1371}
1372
1373/**
Paul Moore484b3662006-11-29 13:18:20 -05001374 * cipso_v4_gentag_rng - Generate a CIPSO ranged tag (type #5)
1375 * @doi_def: the DOI definition
1376 * @secattr: the security attributes
1377 * @buffer: the option buffer
1378 * @buffer_len: length of buffer in bytes
1379 *
1380 * Description:
1381 * Generate a CIPSO option using the ranged tag, tag type #5. Returns the
1382 * size of the tag on success, negative values on failure.
1383 *
1384 */
1385static int cipso_v4_gentag_rng(const struct cipso_v4_doi *doi_def,
1386 const struct netlbl_lsm_secattr *secattr,
1387 unsigned char *buffer,
1388 u32 buffer_len)
1389{
1390 int ret_val;
1391 u32 tag_len;
1392 u32 level;
1393
1394 if (!(secattr->flags & NETLBL_SECATTR_MLS_LVL))
1395 return -EPERM;
1396
Paul Moore16efd452008-01-29 08:37:59 -05001397 ret_val = cipso_v4_map_lvl_hton(doi_def,
1398 secattr->attr.mls.lvl,
1399 &level);
Paul Moore484b3662006-11-29 13:18:20 -05001400 if (ret_val != 0)
1401 return ret_val;
1402
1403 if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
1404 ret_val = cipso_v4_map_cat_rng_hton(doi_def,
1405 secattr,
1406 &buffer[4],
1407 buffer_len - 4);
1408 if (ret_val < 0)
1409 return ret_val;
1410
1411 tag_len = 4 + ret_val;
1412 } else
1413 tag_len = 4;
1414
Paul Moore15c45f72008-10-10 10:16:34 -04001415 buffer[0] = CIPSO_V4_TAG_RANGE;
Paul Moore484b3662006-11-29 13:18:20 -05001416 buffer[1] = tag_len;
1417 buffer[3] = level;
1418
1419 return tag_len;
1420}
1421
1422/**
1423 * cipso_v4_parsetag_rng - Parse a CIPSO ranged tag
1424 * @doi_def: the DOI definition
1425 * @tag: the CIPSO tag
1426 * @secattr: the security attributes
1427 *
1428 * Description:
1429 * Parse a CIPSO ranged tag (tag type #5) and return the security attributes
1430 * in @secattr. Return zero on success, negatives values on failure.
1431 *
1432 */
1433static int cipso_v4_parsetag_rng(const struct cipso_v4_doi *doi_def,
1434 const unsigned char *tag,
1435 struct netlbl_lsm_secattr *secattr)
1436{
1437 int ret_val;
1438 u8 tag_len = tag[1];
1439 u32 level;
1440
1441 ret_val = cipso_v4_map_lvl_ntoh(doi_def, tag[3], &level);
1442 if (ret_val != 0)
1443 return ret_val;
Paul Moore16efd452008-01-29 08:37:59 -05001444 secattr->attr.mls.lvl = level;
Paul Moore484b3662006-11-29 13:18:20 -05001445 secattr->flags |= NETLBL_SECATTR_MLS_LVL;
1446
1447 if (tag_len > 4) {
Paul Moore484b3662006-11-29 13:18:20 -05001448 ret_val = cipso_v4_map_cat_rng_ntoh(doi_def,
1449 &tag[4],
1450 tag_len - 4,
1451 secattr);
1452 if (ret_val != 0) {
Paul Moore4fbe63d2014-08-01 11:17:37 -04001453 netlbl_catmap_free(secattr->attr.mls.cat);
Paul Moore484b3662006-11-29 13:18:20 -05001454 return ret_val;
1455 }
1456
Paolo Abeni92325772020-05-12 14:43:14 +02001457 if (secattr->attr.mls.cat)
1458 secattr->flags |= NETLBL_SECATTR_MLS_CAT;
Paul Moore484b3662006-11-29 13:18:20 -05001459 }
1460
1461 return 0;
1462}
1463
1464/**
Paul Moore15c45f72008-10-10 10:16:34 -04001465 * cipso_v4_gentag_loc - Generate a CIPSO local tag (non-standard)
1466 * @doi_def: the DOI definition
1467 * @secattr: the security attributes
1468 * @buffer: the option buffer
1469 * @buffer_len: length of buffer in bytes
1470 *
1471 * Description:
1472 * Generate a CIPSO option using the local tag. Returns the size of the tag
1473 * on success, negative values on failure.
1474 *
1475 */
1476static int cipso_v4_gentag_loc(const struct cipso_v4_doi *doi_def,
1477 const struct netlbl_lsm_secattr *secattr,
1478 unsigned char *buffer,
1479 u32 buffer_len)
1480{
1481 if (!(secattr->flags & NETLBL_SECATTR_SECID))
1482 return -EPERM;
1483
1484 buffer[0] = CIPSO_V4_TAG_LOCAL;
1485 buffer[1] = CIPSO_V4_TAG_LOC_BLEN;
1486 *(u32 *)&buffer[2] = secattr->attr.secid;
1487
1488 return CIPSO_V4_TAG_LOC_BLEN;
1489}
1490
1491/**
1492 * cipso_v4_parsetag_loc - Parse a CIPSO local tag
1493 * @doi_def: the DOI definition
1494 * @tag: the CIPSO tag
1495 * @secattr: the security attributes
1496 *
1497 * Description:
1498 * Parse a CIPSO local tag and return the security attributes in @secattr.
1499 * Return zero on success, negatives values on failure.
1500 *
1501 */
1502static int cipso_v4_parsetag_loc(const struct cipso_v4_doi *doi_def,
1503 const unsigned char *tag,
1504 struct netlbl_lsm_secattr *secattr)
1505{
1506 secattr->attr.secid = *(u32 *)&tag[2];
1507 secattr->flags |= NETLBL_SECATTR_SECID;
1508
1509 return 0;
1510}
1511
1512/**
Paul Moore04f81f02015-02-11 14:46:37 -05001513 * cipso_v4_optptr - Find the CIPSO option in the packet
1514 * @skb: the packet
1515 *
1516 * Description:
1517 * Parse the packet's IP header looking for a CIPSO option. Returns a pointer
Stefan Nuernbergerb6b45bc2018-09-17 19:46:53 +02001518 * to the start of the CIPSO option on success, NULL if one is not found.
Paul Moore04f81f02015-02-11 14:46:37 -05001519 *
1520 */
1521unsigned char *cipso_v4_optptr(const struct sk_buff *skb)
1522{
1523 const struct iphdr *iph = ip_hdr(skb);
1524 unsigned char *optptr = (unsigned char *)&(ip_hdr(skb)[1]);
1525 int optlen;
1526 int taglen;
1527
Stefan Nuernbergerb6b45bc2018-09-17 19:46:53 +02001528 for (optlen = iph->ihl*4 - sizeof(struct iphdr); optlen > 1; ) {
yujuan.qie8e519f2017-07-31 11:23:01 +08001529 switch (optptr[0]) {
yujuan.qie8e519f2017-07-31 11:23:01 +08001530 case IPOPT_END:
1531 return NULL;
1532 case IPOPT_NOOP:
1533 taglen = 1;
1534 break;
1535 default:
1536 taglen = optptr[1];
1537 }
Stefan Nuernbergerb6b45bc2018-09-17 19:46:53 +02001538 if (!taglen || taglen > optlen)
1539 return NULL;
1540 if (optptr[0] == IPOPT_CIPSO)
1541 return optptr;
1542
Paul Moore04f81f02015-02-11 14:46:37 -05001543 optlen -= taglen;
1544 optptr += taglen;
1545 }
1546
1547 return NULL;
1548}
1549
1550/**
Paul Moore446fda42006-08-03 16:48:06 -07001551 * cipso_v4_validate - Validate a CIPSO option
1552 * @option: the start of the option, on error it is set to point to the error
1553 *
1554 * Description:
1555 * This routine is called to validate a CIPSO option, it checks all of the
1556 * fields to ensure that they are at least valid, see the draft snippet below
1557 * for details. If the option is valid then a zero value is returned and
1558 * the value of @option is unchanged. If the option is invalid then a
1559 * non-zero value is returned and @option is adjusted to point to the
1560 * offending portion of the option. From the IETF draft ...
1561 *
1562 * "If any field within the CIPSO options, such as the DOI identifier, is not
1563 * recognized the IP datagram is discarded and an ICMP 'parameter problem'
1564 * (type 12) is generated and returned. The ICMP code field is set to 'bad
1565 * parameter' (code 0) and the pointer is set to the start of the CIPSO field
1566 * that is unrecognized."
1567 *
1568 */
Paul Moore15c45f72008-10-10 10:16:34 -04001569int cipso_v4_validate(const struct sk_buff *skb, unsigned char **option)
Paul Moore446fda42006-08-03 16:48:06 -07001570{
1571 unsigned char *opt = *option;
1572 unsigned char *tag;
1573 unsigned char opt_iter;
1574 unsigned char err_offset = 0;
1575 u8 opt_len;
1576 u8 tag_len;
1577 struct cipso_v4_doi *doi_def = NULL;
1578 u32 tag_iter;
1579
1580 /* caller already checks for length values that are too large */
1581 opt_len = opt[1];
1582 if (opt_len < 8) {
1583 err_offset = 1;
1584 goto validate_return;
1585 }
1586
1587 rcu_read_lock();
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07001588 doi_def = cipso_v4_doi_search(get_unaligned_be32(&opt[2]));
Ian Morris51456b22015-04-03 09:17:26 +01001589 if (!doi_def) {
Paul Moore446fda42006-08-03 16:48:06 -07001590 err_offset = 2;
1591 goto validate_return_locked;
1592 }
1593
Paul Moore15c45f72008-10-10 10:16:34 -04001594 opt_iter = CIPSO_V4_HDR_LEN;
Paul Moore446fda42006-08-03 16:48:06 -07001595 tag = opt + opt_iter;
1596 while (opt_iter < opt_len) {
1597 for (tag_iter = 0; doi_def->tags[tag_iter] != tag[0];)
1598 if (doi_def->tags[tag_iter] == CIPSO_V4_TAG_INVALID ||
1599 ++tag_iter == CIPSO_V4_TAG_MAXCNT) {
1600 err_offset = opt_iter;
1601 goto validate_return_locked;
1602 }
1603
Eric Dumazet66cdd432017-02-03 00:03:26 -08001604 if (opt_iter + 1 == opt_len) {
1605 err_offset = opt_iter;
1606 goto validate_return_locked;
1607 }
Paul Moore446fda42006-08-03 16:48:06 -07001608 tag_len = tag[1];
1609 if (tag_len > (opt_len - opt_iter)) {
1610 err_offset = opt_iter + 1;
1611 goto validate_return_locked;
1612 }
1613
1614 switch (tag[0]) {
1615 case CIPSO_V4_TAG_RBITMAP:
Paul Moore15c45f72008-10-10 10:16:34 -04001616 if (tag_len < CIPSO_V4_TAG_RBM_BLEN) {
Paul Moore446fda42006-08-03 16:48:06 -07001617 err_offset = opt_iter + 1;
1618 goto validate_return_locked;
1619 }
1620
1621 /* We are already going to do all the verification
1622 * necessary at the socket layer so from our point of
1623 * view it is safe to turn these checks off (and less
1624 * work), however, the CIPSO draft says we should do
1625 * all the CIPSO validations here but it doesn't
1626 * really specify _exactly_ what we need to validate
1627 * ... so, just make it a sysctl tunable. */
1628 if (cipso_v4_rbm_strictvalid) {
1629 if (cipso_v4_map_lvl_valid(doi_def,
1630 tag[3]) < 0) {
1631 err_offset = opt_iter + 3;
1632 goto validate_return_locked;
1633 }
Paul Moore15c45f72008-10-10 10:16:34 -04001634 if (tag_len > CIPSO_V4_TAG_RBM_BLEN &&
Paul Moore446fda42006-08-03 16:48:06 -07001635 cipso_v4_map_cat_rbm_valid(doi_def,
1636 &tag[4],
1637 tag_len - 4) < 0) {
1638 err_offset = opt_iter + 4;
1639 goto validate_return_locked;
1640 }
1641 }
1642 break;
Paul Moore654bbc22006-11-29 13:18:19 -05001643 case CIPSO_V4_TAG_ENUM:
Paul Moore15c45f72008-10-10 10:16:34 -04001644 if (tag_len < CIPSO_V4_TAG_ENUM_BLEN) {
Paul Moore654bbc22006-11-29 13:18:19 -05001645 err_offset = opt_iter + 1;
1646 goto validate_return_locked;
1647 }
1648
1649 if (cipso_v4_map_lvl_valid(doi_def,
1650 tag[3]) < 0) {
1651 err_offset = opt_iter + 3;
1652 goto validate_return_locked;
1653 }
Paul Moore15c45f72008-10-10 10:16:34 -04001654 if (tag_len > CIPSO_V4_TAG_ENUM_BLEN &&
Paul Moore654bbc22006-11-29 13:18:19 -05001655 cipso_v4_map_cat_enum_valid(doi_def,
1656 &tag[4],
1657 tag_len - 4) < 0) {
1658 err_offset = opt_iter + 4;
1659 goto validate_return_locked;
1660 }
1661 break;
Paul Moore484b3662006-11-29 13:18:20 -05001662 case CIPSO_V4_TAG_RANGE:
Paul Moore15c45f72008-10-10 10:16:34 -04001663 if (tag_len < CIPSO_V4_TAG_RNG_BLEN) {
Paul Moore484b3662006-11-29 13:18:20 -05001664 err_offset = opt_iter + 1;
1665 goto validate_return_locked;
1666 }
1667
1668 if (cipso_v4_map_lvl_valid(doi_def,
1669 tag[3]) < 0) {
1670 err_offset = opt_iter + 3;
1671 goto validate_return_locked;
1672 }
Paul Moore15c45f72008-10-10 10:16:34 -04001673 if (tag_len > CIPSO_V4_TAG_RNG_BLEN &&
Paul Moore484b3662006-11-29 13:18:20 -05001674 cipso_v4_map_cat_rng_valid(doi_def,
1675 &tag[4],
1676 tag_len - 4) < 0) {
1677 err_offset = opt_iter + 4;
1678 goto validate_return_locked;
1679 }
1680 break;
Paul Moore15c45f72008-10-10 10:16:34 -04001681 case CIPSO_V4_TAG_LOCAL:
1682 /* This is a non-standard tag that we only allow for
1683 * local connections, so if the incoming interface is
Paul Moore89d7ae32012-07-17 11:07:47 +00001684 * not the loopback device drop the packet. Further,
1685 * there is no legitimate reason for setting this from
1686 * userspace so reject it if skb is NULL. */
Ian Morris51456b22015-04-03 09:17:26 +01001687 if (!skb || !(skb->dev->flags & IFF_LOOPBACK)) {
Paul Moore15c45f72008-10-10 10:16:34 -04001688 err_offset = opt_iter;
1689 goto validate_return_locked;
1690 }
1691 if (tag_len != CIPSO_V4_TAG_LOC_BLEN) {
1692 err_offset = opt_iter + 1;
1693 goto validate_return_locked;
1694 }
1695 break;
Paul Moore446fda42006-08-03 16:48:06 -07001696 default:
1697 err_offset = opt_iter;
1698 goto validate_return_locked;
1699 }
1700
1701 tag += tag_len;
1702 opt_iter += tag_len;
1703 }
1704
1705validate_return_locked:
1706 rcu_read_unlock();
1707validate_return:
1708 *option = opt + err_offset;
1709 return err_offset;
1710}
1711
1712/**
Lucas De Marchi25985ed2011-03-30 22:57:33 -03001713 * cipso_v4_error - Send the correct response for a bad packet
Paul Moore446fda42006-08-03 16:48:06 -07001714 * @skb: the packet
1715 * @error: the error code
1716 * @gateway: CIPSO gateway flag
1717 *
1718 * Description:
1719 * Based on the error code given in @error, send an ICMP error message back to
1720 * the originating host. From the IETF draft ...
1721 *
1722 * "If the contents of the CIPSO [option] are valid but the security label is
1723 * outside of the configured host or port label range, the datagram is
1724 * discarded and an ICMP 'destination unreachable' (type 3) is generated and
1725 * returned. The code field of the ICMP is set to 'communication with
1726 * destination network administratively prohibited' (code 9) or to
1727 * 'communication with destination host administratively prohibited'
1728 * (code 10). The value of the code is dependent on whether the originator
1729 * of the ICMP message is acting as a CIPSO host or a CIPSO gateway. The
1730 * recipient of the ICMP message MUST be able to handle either value. The
1731 * same procedure is performed if a CIPSO [option] can not be added to an
1732 * IP packet because it is too large to fit in the IP options area."
1733 *
1734 * "If the error is triggered by receipt of an ICMP message, the message is
1735 * discarded and no response is permitted (consistent with general ICMP
1736 * processing rules)."
1737 *
1738 */
1739void cipso_v4_error(struct sk_buff *skb, int error, u32 gateway)
1740{
Nazarov Sergey3b448972019-02-25 19:27:15 +03001741 unsigned char optbuf[sizeof(struct ip_options) + 40];
1742 struct ip_options *opt = (struct ip_options *)optbuf;
Matteo Croce0bde22d2020-02-21 12:28:38 +01001743 int res;
Nazarov Sergey3b448972019-02-25 19:27:15 +03001744
Arnaldo Carvalho de Meloeddc9ec2007-04-20 22:47:35 -07001745 if (ip_hdr(skb)->protocol == IPPROTO_ICMP || error != -EACCES)
Paul Moore446fda42006-08-03 16:48:06 -07001746 return;
1747
Nazarov Sergey3b448972019-02-25 19:27:15 +03001748 /*
1749 * We might be called above the IP layer,
1750 * so we can not use icmp_send and IPCB here.
1751 */
1752
1753 memset(opt, 0, sizeof(struct ip_options));
1754 opt->optlen = ip_hdr(skb)->ihl*4 - sizeof(struct iphdr);
Matteo Croce0bde22d2020-02-21 12:28:38 +01001755 rcu_read_lock();
1756 res = __ip_options_compile(dev_net(skb->dev), opt, skb, NULL);
1757 rcu_read_unlock();
1758
1759 if (res)
Nazarov Sergey3b448972019-02-25 19:27:15 +03001760 return;
1761
Paul Moore446fda42006-08-03 16:48:06 -07001762 if (gateway)
Nazarov Sergey3b448972019-02-25 19:27:15 +03001763 __icmp_send(skb, ICMP_DEST_UNREACH, ICMP_NET_ANO, 0, opt);
Paul Moore446fda42006-08-03 16:48:06 -07001764 else
Nazarov Sergey3b448972019-02-25 19:27:15 +03001765 __icmp_send(skb, ICMP_DEST_UNREACH, ICMP_HOST_ANO, 0, opt);
Paul Moore446fda42006-08-03 16:48:06 -07001766}
1767
1768/**
Paul Moore948bf852008-10-10 10:16:32 -04001769 * cipso_v4_genopt - Generate a CIPSO option
1770 * @buf: the option buffer
1771 * @buf_len: the size of opt_buf
Paul Moore446fda42006-08-03 16:48:06 -07001772 * @doi_def: the CIPSO DOI to use
Paul Moore948bf852008-10-10 10:16:32 -04001773 * @secattr: the security attributes
Paul Moore446fda42006-08-03 16:48:06 -07001774 *
1775 * Description:
Paul Moore948bf852008-10-10 10:16:32 -04001776 * Generate a CIPSO option using the DOI definition and security attributes
1777 * passed to the function. Returns the length of the option on success and
1778 * negative values on failure.
Paul Moore446fda42006-08-03 16:48:06 -07001779 *
1780 */
Paul Moore948bf852008-10-10 10:16:32 -04001781static int cipso_v4_genopt(unsigned char *buf, u32 buf_len,
1782 const struct cipso_v4_doi *doi_def,
1783 const struct netlbl_lsm_secattr *secattr)
Paul Moore446fda42006-08-03 16:48:06 -07001784{
Paul Moore948bf852008-10-10 10:16:32 -04001785 int ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001786 u32 iter;
Paul Moore446fda42006-08-03 16:48:06 -07001787
Paul Moore948bf852008-10-10 10:16:32 -04001788 if (buf_len <= CIPSO_V4_HDR_LEN)
1789 return -ENOSPC;
Paul Moore91b1ed02006-11-17 17:38:49 -05001790
Paul Moore446fda42006-08-03 16:48:06 -07001791 /* XXX - This code assumes only one tag per CIPSO option which isn't
1792 * really a good assumption to make but since we only support the MAC
1793 * tags right now it is a safe assumption. */
1794 iter = 0;
1795 do {
Paul Moore91b1ed02006-11-17 17:38:49 -05001796 memset(buf, 0, buf_len);
Paul Moore446fda42006-08-03 16:48:06 -07001797 switch (doi_def->tags[iter]) {
1798 case CIPSO_V4_TAG_RBITMAP:
1799 ret_val = cipso_v4_gentag_rbm(doi_def,
Paul Moore91b1ed02006-11-17 17:38:49 -05001800 secattr,
1801 &buf[CIPSO_V4_HDR_LEN],
1802 buf_len - CIPSO_V4_HDR_LEN);
Paul Moore446fda42006-08-03 16:48:06 -07001803 break;
Paul Moore654bbc22006-11-29 13:18:19 -05001804 case CIPSO_V4_TAG_ENUM:
1805 ret_val = cipso_v4_gentag_enum(doi_def,
1806 secattr,
1807 &buf[CIPSO_V4_HDR_LEN],
1808 buf_len - CIPSO_V4_HDR_LEN);
1809 break;
Paul Moore484b3662006-11-29 13:18:20 -05001810 case CIPSO_V4_TAG_RANGE:
1811 ret_val = cipso_v4_gentag_rng(doi_def,
1812 secattr,
1813 &buf[CIPSO_V4_HDR_LEN],
1814 buf_len - CIPSO_V4_HDR_LEN);
1815 break;
Paul Moore15c45f72008-10-10 10:16:34 -04001816 case CIPSO_V4_TAG_LOCAL:
1817 ret_val = cipso_v4_gentag_loc(doi_def,
1818 secattr,
1819 &buf[CIPSO_V4_HDR_LEN],
1820 buf_len - CIPSO_V4_HDR_LEN);
1821 break;
Paul Moore446fda42006-08-03 16:48:06 -07001822 default:
Paul Moore948bf852008-10-10 10:16:32 -04001823 return -EPERM;
Paul Moore446fda42006-08-03 16:48:06 -07001824 }
1825
1826 iter++;
Paul Moore91b1ed02006-11-17 17:38:49 -05001827 } while (ret_val < 0 &&
Paul Moore446fda42006-08-03 16:48:06 -07001828 iter < CIPSO_V4_TAG_MAXCNT &&
1829 doi_def->tags[iter] != CIPSO_V4_TAG_INVALID);
Paul Moore91b1ed02006-11-17 17:38:49 -05001830 if (ret_val < 0)
Paul Moore948bf852008-10-10 10:16:32 -04001831 return ret_val;
Paul Moore91b1ed02006-11-17 17:38:49 -05001832 cipso_v4_gentag_hdr(doi_def, buf, ret_val);
Paul Moore948bf852008-10-10 10:16:32 -04001833 return CIPSO_V4_HDR_LEN + ret_val;
1834}
1835
1836/**
1837 * cipso_v4_sock_setattr - Add a CIPSO option to a socket
1838 * @sk: the socket
1839 * @doi_def: the CIPSO DOI to use
1840 * @secattr: the specific security attributes of the socket
1841 *
1842 * Description:
1843 * Set the CIPSO option on the given socket using the DOI definition and
1844 * security attributes passed to the function. This function requires
1845 * exclusive access to @sk, which means it either needs to be in the
1846 * process of being created or locked. Returns zero on success and negative
1847 * values on failure.
1848 *
1849 */
1850int cipso_v4_sock_setattr(struct sock *sk,
1851 const struct cipso_v4_doi *doi_def,
1852 const struct netlbl_lsm_secattr *secattr)
1853{
1854 int ret_val = -EPERM;
1855 unsigned char *buf = NULL;
1856 u32 buf_len;
1857 u32 opt_len;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001858 struct ip_options_rcu *old, *opt = NULL;
Paul Moore948bf852008-10-10 10:16:32 -04001859 struct inet_sock *sk_inet;
1860 struct inet_connection_sock *sk_conn;
1861
1862 /* In the case of sock_create_lite(), the sock->sk field is not
1863 * defined yet but it is not a problem as the only users of these
1864 * "lite" PF_INET sockets are functions which do an accept() call
1865 * afterwards so we will label the socket as part of the accept(). */
Ian Morris51456b22015-04-03 09:17:26 +01001866 if (!sk)
Paul Moore948bf852008-10-10 10:16:32 -04001867 return 0;
1868
1869 /* We allocate the maximum CIPSO option size here so we are probably
1870 * being a little wasteful, but it makes our life _much_ easier later
1871 * on and after all we are only talking about 40 bytes. */
1872 buf_len = CIPSO_V4_OPT_LEN_MAX;
1873 buf = kmalloc(buf_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01001874 if (!buf) {
Paul Moore948bf852008-10-10 10:16:32 -04001875 ret_val = -ENOMEM;
1876 goto socket_setattr_failure;
1877 }
1878
1879 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
1880 if (ret_val < 0)
1881 goto socket_setattr_failure;
1882 buf_len = ret_val;
Paul Moore446fda42006-08-03 16:48:06 -07001883
1884 /* We can't use ip_options_get() directly because it makes a call to
1885 * ip_options_get_alloc() which allocates memory with GFP_KERNEL and
Paul Mooref8687af2006-10-30 15:22:15 -08001886 * we won't always have CAP_NET_RAW even though we _always_ want to
1887 * set the IPOPT_CIPSO option. */
Paul Moore446fda42006-08-03 16:48:06 -07001888 opt_len = (buf_len + 3) & ~3;
1889 opt = kzalloc(sizeof(*opt) + opt_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01001890 if (!opt) {
Paul Moore446fda42006-08-03 16:48:06 -07001891 ret_val = -ENOMEM;
1892 goto socket_setattr_failure;
1893 }
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001894 memcpy(opt->opt.__data, buf, buf_len);
1895 opt->opt.optlen = opt_len;
1896 opt->opt.cipso = sizeof(struct iphdr);
Paul Moore446fda42006-08-03 16:48:06 -07001897 kfree(buf);
1898 buf = NULL;
Paul Moore446fda42006-08-03 16:48:06 -07001899
1900 sk_inet = inet_sk(sk);
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001901
Hannes Frederic Sowa1e1d04e2016-04-05 17:10:15 +02001902 old = rcu_dereference_protected(sk_inet->inet_opt,
1903 lockdep_sock_is_held(sk));
Paul Moore446fda42006-08-03 16:48:06 -07001904 if (sk_inet->is_icsk) {
1905 sk_conn = inet_csk(sk);
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001906 if (old)
1907 sk_conn->icsk_ext_hdr_len -= old->opt.optlen;
1908 sk_conn->icsk_ext_hdr_len += opt->opt.optlen;
Paul Moore446fda42006-08-03 16:48:06 -07001909 sk_conn->icsk_sync_mss(sk, sk_conn->icsk_pmtu_cookie);
1910 }
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001911 rcu_assign_pointer(sk_inet->inet_opt, opt);
1912 if (old)
Paul E. McKenney4f9c8c12012-01-06 17:06:11 -08001913 kfree_rcu(old, rcu);
Paul Moore446fda42006-08-03 16:48:06 -07001914
1915 return 0;
1916
1917socket_setattr_failure:
1918 kfree(buf);
1919 kfree(opt);
1920 return ret_val;
1921}
1922
1923/**
Paul Moore389fb8002009-03-27 17:10:34 -04001924 * cipso_v4_req_setattr - Add a CIPSO option to a connection request socket
1925 * @req: the connection request socket
1926 * @doi_def: the CIPSO DOI to use
1927 * @secattr: the specific security attributes of the socket
Paul Moore014ab192008-10-10 10:16:33 -04001928 *
1929 * Description:
Paul Moore389fb8002009-03-27 17:10:34 -04001930 * Set the CIPSO option on the given socket using the DOI definition and
1931 * security attributes passed to the function. Returns zero on success and
1932 * negative values on failure.
Paul Moore014ab192008-10-10 10:16:33 -04001933 *
1934 */
Paul Moore389fb8002009-03-27 17:10:34 -04001935int cipso_v4_req_setattr(struct request_sock *req,
1936 const struct cipso_v4_doi *doi_def,
1937 const struct netlbl_lsm_secattr *secattr)
Paul Moore014ab192008-10-10 10:16:33 -04001938{
Paul Moore389fb8002009-03-27 17:10:34 -04001939 int ret_val = -EPERM;
1940 unsigned char *buf = NULL;
1941 u32 buf_len;
1942 u32 opt_len;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001943 struct ip_options_rcu *opt = NULL;
Paul Moore389fb8002009-03-27 17:10:34 -04001944 struct inet_request_sock *req_inet;
Paul Moore014ab192008-10-10 10:16:33 -04001945
Paul Moore389fb8002009-03-27 17:10:34 -04001946 /* We allocate the maximum CIPSO option size here so we are probably
1947 * being a little wasteful, but it makes our life _much_ easier later
1948 * on and after all we are only talking about 40 bytes. */
1949 buf_len = CIPSO_V4_OPT_LEN_MAX;
1950 buf = kmalloc(buf_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01001951 if (!buf) {
Paul Moore389fb8002009-03-27 17:10:34 -04001952 ret_val = -ENOMEM;
1953 goto req_setattr_failure;
1954 }
1955
1956 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
1957 if (ret_val < 0)
1958 goto req_setattr_failure;
1959 buf_len = ret_val;
1960
1961 /* We can't use ip_options_get() directly because it makes a call to
1962 * ip_options_get_alloc() which allocates memory with GFP_KERNEL and
1963 * we won't always have CAP_NET_RAW even though we _always_ want to
1964 * set the IPOPT_CIPSO option. */
1965 opt_len = (buf_len + 3) & ~3;
1966 opt = kzalloc(sizeof(*opt) + opt_len, GFP_ATOMIC);
Ian Morris51456b22015-04-03 09:17:26 +01001967 if (!opt) {
Paul Moore389fb8002009-03-27 17:10:34 -04001968 ret_val = -ENOMEM;
1969 goto req_setattr_failure;
1970 }
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001971 memcpy(opt->opt.__data, buf, buf_len);
1972 opt->opt.optlen = opt_len;
1973 opt->opt.cipso = sizeof(struct iphdr);
Paul Moore389fb8002009-03-27 17:10:34 -04001974 kfree(buf);
1975 buf = NULL;
1976
1977 req_inet = inet_rsk(req);
Eric Dumazet2ffd2612017-10-20 09:04:13 -07001978 opt = xchg((__force struct ip_options_rcu **)&req_inet->ireq_opt, opt);
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00001979 if (opt)
Paul E. McKenney4f9c8c12012-01-06 17:06:11 -08001980 kfree_rcu(opt, rcu);
Paul Moore389fb8002009-03-27 17:10:34 -04001981
1982 return 0;
1983
1984req_setattr_failure:
1985 kfree(buf);
1986 kfree(opt);
1987 return ret_val;
1988}
1989
1990/**
1991 * cipso_v4_delopt - Delete the CIPSO option from a set of IP options
1992 * @opt_ptr: IP option pointer
1993 *
1994 * Description:
1995 * Deletes the CIPSO IP option from a set of IP options and makes the necessary
1996 * adjustments to the IP option structure. Returns zero on success, negative
1997 * values on failure.
1998 *
1999 */
Eric Dumazet2ffd2612017-10-20 09:04:13 -07002000static int cipso_v4_delopt(struct ip_options_rcu __rcu **opt_ptr)
Paul Moore389fb8002009-03-27 17:10:34 -04002001{
Eric Dumazet2ffd2612017-10-20 09:04:13 -07002002 struct ip_options_rcu *opt = rcu_dereference_protected(*opt_ptr, 1);
Paul Moore389fb8002009-03-27 17:10:34 -04002003 int hdr_delta = 0;
Paul Moore014ab192008-10-10 10:16:33 -04002004
Eric Dumazet2ffd2612017-10-20 09:04:13 -07002005 if (!opt || opt->opt.cipso == 0)
2006 return 0;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002007 if (opt->opt.srr || opt->opt.rr || opt->opt.ts || opt->opt.router_alert) {
Paul Moore014ab192008-10-10 10:16:33 -04002008 u8 cipso_len;
2009 u8 cipso_off;
2010 unsigned char *cipso_ptr;
2011 int iter;
2012 int optlen_new;
2013
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002014 cipso_off = opt->opt.cipso - sizeof(struct iphdr);
2015 cipso_ptr = &opt->opt.__data[cipso_off];
Paul Moore014ab192008-10-10 10:16:33 -04002016 cipso_len = cipso_ptr[1];
2017
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002018 if (opt->opt.srr > opt->opt.cipso)
2019 opt->opt.srr -= cipso_len;
2020 if (opt->opt.rr > opt->opt.cipso)
2021 opt->opt.rr -= cipso_len;
2022 if (opt->opt.ts > opt->opt.cipso)
2023 opt->opt.ts -= cipso_len;
2024 if (opt->opt.router_alert > opt->opt.cipso)
2025 opt->opt.router_alert -= cipso_len;
2026 opt->opt.cipso = 0;
Paul Moore014ab192008-10-10 10:16:33 -04002027
2028 memmove(cipso_ptr, cipso_ptr + cipso_len,
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002029 opt->opt.optlen - cipso_off - cipso_len);
Paul Moore014ab192008-10-10 10:16:33 -04002030
2031 /* determining the new total option length is tricky because of
2032 * the padding necessary, the only thing i can think to do at
2033 * this point is walk the options one-by-one, skipping the
2034 * padding at the end to determine the actual option size and
2035 * from there we can determine the new total option length */
2036 iter = 0;
2037 optlen_new = 0;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002038 while (iter < opt->opt.optlen)
2039 if (opt->opt.__data[iter] != IPOPT_NOP) {
2040 iter += opt->opt.__data[iter + 1];
Paul Moore014ab192008-10-10 10:16:33 -04002041 optlen_new = iter;
2042 } else
2043 iter++;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002044 hdr_delta = opt->opt.optlen;
2045 opt->opt.optlen = (optlen_new + 3) & ~3;
2046 hdr_delta -= opt->opt.optlen;
Paul Moore014ab192008-10-10 10:16:33 -04002047 } else {
2048 /* only the cipso option was present on the socket so we can
2049 * remove the entire option struct */
Paul Moore389fb8002009-03-27 17:10:34 -04002050 *opt_ptr = NULL;
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002051 hdr_delta = opt->opt.optlen;
Paul E. McKenney4f9c8c12012-01-06 17:06:11 -08002052 kfree_rcu(opt, rcu);
Paul Moore014ab192008-10-10 10:16:33 -04002053 }
2054
Paul Moore389fb8002009-03-27 17:10:34 -04002055 return hdr_delta;
2056}
2057
2058/**
2059 * cipso_v4_sock_delattr - Delete the CIPSO option from a socket
2060 * @sk: the socket
2061 *
2062 * Description:
2063 * Removes the CIPSO option from a socket, if present.
2064 *
2065 */
2066void cipso_v4_sock_delattr(struct sock *sk)
2067{
Paul Moore389fb8002009-03-27 17:10:34 -04002068 struct inet_sock *sk_inet;
Eric Dumazet2ffd2612017-10-20 09:04:13 -07002069 int hdr_delta;
Paul Moore389fb8002009-03-27 17:10:34 -04002070
2071 sk_inet = inet_sk(sk);
Paul Moore389fb8002009-03-27 17:10:34 -04002072
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002073 hdr_delta = cipso_v4_delopt(&sk_inet->inet_opt);
Paul Moore014ab192008-10-10 10:16:33 -04002074 if (sk_inet->is_icsk && hdr_delta > 0) {
2075 struct inet_connection_sock *sk_conn = inet_csk(sk);
2076 sk_conn->icsk_ext_hdr_len -= hdr_delta;
2077 sk_conn->icsk_sync_mss(sk, sk_conn->icsk_pmtu_cookie);
2078 }
2079}
2080
2081/**
Paul Moore389fb8002009-03-27 17:10:34 -04002082 * cipso_v4_req_delattr - Delete the CIPSO option from a request socket
2083 * @reg: the request socket
2084 *
2085 * Description:
2086 * Removes the CIPSO option from a request socket, if present.
2087 *
2088 */
2089void cipso_v4_req_delattr(struct request_sock *req)
2090{
Eric Dumazet2ffd2612017-10-20 09:04:13 -07002091 cipso_v4_delopt(&inet_rsk(req)->ireq_opt);
Paul Moore389fb8002009-03-27 17:10:34 -04002092}
2093
2094/**
Paul Moore63d804ea2007-09-15 21:45:13 -07002095 * cipso_v4_getattr - Helper function for the cipso_v4_*_getattr functions
2096 * @cipso: the CIPSO v4 option
2097 * @secattr: the security attributes
2098 *
2099 * Description:
2100 * Inspect @cipso and return the security attributes in @secattr. Returns zero
2101 * on success and negative values on failure.
2102 *
2103 */
Paul Moore04f81f02015-02-11 14:46:37 -05002104int cipso_v4_getattr(const unsigned char *cipso,
2105 struct netlbl_lsm_secattr *secattr)
Paul Moore63d804ea2007-09-15 21:45:13 -07002106{
2107 int ret_val = -ENOMSG;
2108 u32 doi;
2109 struct cipso_v4_doi *doi_def;
2110
2111 if (cipso_v4_cache_check(cipso, cipso[1], secattr) == 0)
2112 return 0;
2113
Harvey Harrisond3e2ce32008-05-02 16:26:16 -07002114 doi = get_unaligned_be32(&cipso[2]);
Paul Moore63d804ea2007-09-15 21:45:13 -07002115 rcu_read_lock();
2116 doi_def = cipso_v4_doi_search(doi);
Ian Morris51456b22015-04-03 09:17:26 +01002117 if (!doi_def)
Paul Moore63d804ea2007-09-15 21:45:13 -07002118 goto getattr_return;
2119 /* XXX - This code assumes only one tag per CIPSO option which isn't
2120 * really a good assumption to make but since we only support the MAC
2121 * tags right now it is a safe assumption. */
2122 switch (cipso[6]) {
2123 case CIPSO_V4_TAG_RBITMAP:
2124 ret_val = cipso_v4_parsetag_rbm(doi_def, &cipso[6], secattr);
2125 break;
2126 case CIPSO_V4_TAG_ENUM:
2127 ret_val = cipso_v4_parsetag_enum(doi_def, &cipso[6], secattr);
2128 break;
2129 case CIPSO_V4_TAG_RANGE:
2130 ret_val = cipso_v4_parsetag_rng(doi_def, &cipso[6], secattr);
2131 break;
Paul Moore15c45f72008-10-10 10:16:34 -04002132 case CIPSO_V4_TAG_LOCAL:
2133 ret_val = cipso_v4_parsetag_loc(doi_def, &cipso[6], secattr);
2134 break;
Paul Moore63d804ea2007-09-15 21:45:13 -07002135 }
Paul Moore16efd452008-01-29 08:37:59 -05002136 if (ret_val == 0)
2137 secattr->type = NETLBL_NLTYPE_CIPSOV4;
Paul Moore63d804ea2007-09-15 21:45:13 -07002138
2139getattr_return:
2140 rcu_read_unlock();
2141 return ret_val;
2142}
2143
2144/**
Paul Moore14a72f52006-09-25 15:52:01 -07002145 * cipso_v4_sock_getattr - Get the security attributes from a sock
2146 * @sk: the sock
2147 * @secattr: the security attributes
2148 *
2149 * Description:
2150 * Query @sk to see if there is a CIPSO option attached to the sock and if
2151 * there is return the CIPSO security attributes in @secattr. This function
2152 * requires that @sk be locked, or privately held, but it does not do any
2153 * locking itself. Returns zero on success and negative values on failure.
2154 *
2155 */
2156int cipso_v4_sock_getattr(struct sock *sk, struct netlbl_lsm_secattr *secattr)
2157{
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002158 struct ip_options_rcu *opt;
2159 int res = -ENOMSG;
Paul Moore14a72f52006-09-25 15:52:01 -07002160
Eric Dumazetf6d8bd02011-04-21 09:45:37 +00002161 rcu_read_lock();
2162 opt = rcu_dereference(inet_sk(sk)->inet_opt);
2163 if (opt && opt->opt.cipso)
2164 res = cipso_v4_getattr(opt->opt.__data +
2165 opt->opt.cipso -
2166 sizeof(struct iphdr),
2167 secattr);
2168 rcu_read_unlock();
2169 return res;
Paul Moore14a72f52006-09-25 15:52:01 -07002170}
2171
2172/**
Paul Moore948bf852008-10-10 10:16:32 -04002173 * cipso_v4_skbuff_setattr - Set the CIPSO option on a packet
2174 * @skb: the packet
2175 * @secattr: the security attributes
2176 *
2177 * Description:
2178 * Set the CIPSO option on the given packet based on the security attributes.
2179 * Returns a pointer to the IP header on success and NULL on failure.
2180 *
2181 */
2182int cipso_v4_skbuff_setattr(struct sk_buff *skb,
2183 const struct cipso_v4_doi *doi_def,
2184 const struct netlbl_lsm_secattr *secattr)
2185{
2186 int ret_val;
2187 struct iphdr *iph;
2188 struct ip_options *opt = &IPCB(skb)->opt;
2189 unsigned char buf[CIPSO_V4_OPT_LEN_MAX];
2190 u32 buf_len = CIPSO_V4_OPT_LEN_MAX;
2191 u32 opt_len;
2192 int len_delta;
2193
roel kluin00af5c62008-10-29 15:55:53 -04002194 ret_val = cipso_v4_genopt(buf, buf_len, doi_def, secattr);
2195 if (ret_val < 0)
2196 return ret_val;
2197 buf_len = ret_val;
Paul Moore948bf852008-10-10 10:16:32 -04002198 opt_len = (buf_len + 3) & ~3;
2199
2200 /* we overwrite any existing options to ensure that we have enough
2201 * room for the CIPSO option, the reason is that we _need_ to guarantee
2202 * that the security label is applied to the packet - we do the same
2203 * thing when using the socket options and it hasn't caused a problem,
2204 * if we need to we can always revisit this choice later */
2205
2206 len_delta = opt_len - opt->optlen;
2207 /* if we don't ensure enough headroom we could panic on the skb_push()
2208 * call below so make sure we have enough, we are also "mangling" the
2209 * packet so we should probably do a copy-on-write call anyway */
2210 ret_val = skb_cow(skb, skb_headroom(skb) + len_delta);
2211 if (ret_val < 0)
2212 return ret_val;
2213
2214 if (len_delta > 0) {
2215 /* we assume that the header + opt->optlen have already been
2216 * "pushed" in ip_options_build() or similar */
2217 iph = ip_hdr(skb);
2218 skb_push(skb, len_delta);
2219 memmove((char *)iph - len_delta, iph, iph->ihl << 2);
2220 skb_reset_network_header(skb);
2221 iph = ip_hdr(skb);
2222 } else if (len_delta < 0) {
2223 iph = ip_hdr(skb);
2224 memset(iph + 1, IPOPT_NOP, opt->optlen);
2225 } else
2226 iph = ip_hdr(skb);
2227
2228 if (opt->optlen > 0)
2229 memset(opt, 0, sizeof(*opt));
2230 opt->optlen = opt_len;
2231 opt->cipso = sizeof(struct iphdr);
2232 opt->is_changed = 1;
2233
2234 /* we have to do the following because we are being called from a
2235 * netfilter hook which means the packet already has had the header
2236 * fields populated and the checksum calculated - yes this means we
2237 * are doing more work than needed but we do it to keep the core
2238 * stack clean and tidy */
2239 memcpy(iph + 1, buf, buf_len);
2240 if (opt_len > buf_len)
2241 memset((char *)(iph + 1) + buf_len, 0, opt_len - buf_len);
2242 if (len_delta != 0) {
2243 iph->ihl = 5 + (opt_len >> 2);
2244 iph->tot_len = htons(skb->len);
2245 }
2246 ip_send_check(iph);
2247
2248 return 0;
2249}
2250
2251/**
2252 * cipso_v4_skbuff_delattr - Delete any CIPSO options from a packet
2253 * @skb: the packet
2254 *
2255 * Description:
2256 * Removes any and all CIPSO options from the given packet. Returns zero on
2257 * success, negative values on failure.
2258 *
2259 */
2260int cipso_v4_skbuff_delattr(struct sk_buff *skb)
2261{
2262 int ret_val;
2263 struct iphdr *iph;
2264 struct ip_options *opt = &IPCB(skb)->opt;
2265 unsigned char *cipso_ptr;
2266
2267 if (opt->cipso == 0)
2268 return 0;
2269
2270 /* since we are changing the packet we should make a copy */
2271 ret_val = skb_cow(skb, skb_headroom(skb));
2272 if (ret_val < 0)
2273 return ret_val;
2274
2275 /* the easiest thing to do is just replace the cipso option with noop
2276 * options since we don't change the size of the packet, although we
2277 * still need to recalculate the checksum */
2278
2279 iph = ip_hdr(skb);
2280 cipso_ptr = (unsigned char *)iph + opt->cipso;
2281 memset(cipso_ptr, IPOPT_NOOP, cipso_ptr[1]);
2282 opt->cipso = 0;
2283 opt->is_changed = 1;
2284
2285 ip_send_check(iph);
2286
2287 return 0;
2288}
2289
Paul Moore446fda42006-08-03 16:48:06 -07002290/*
2291 * Setup Functions
2292 */
2293
2294/**
2295 * cipso_v4_init - Initialize the CIPSO module
2296 *
2297 * Description:
2298 * Initialize the CIPSO module and prepare it for use. Returns zero on success
2299 * and negative values on failure.
2300 *
2301 */
2302static int __init cipso_v4_init(void)
2303{
2304 int ret_val;
2305
2306 ret_val = cipso_v4_cache_init();
2307 if (ret_val != 0)
2308 panic("Failed to initialize the CIPSO/IPv4 cache (%d)\n",
2309 ret_val);
2310
2311 return 0;
2312}
2313
2314subsys_initcall(cipso_v4_init);