xref: /openbmc/linux/net/netlink/policy.c (revision d07dcf9a)
1d07dcf9aSJohannes Berg // SPDX-License-Identifier: GPL-2.0
2d07dcf9aSJohannes Berg /*
3d07dcf9aSJohannes Berg  * NETLINK      Policy advertisement to userspace
4d07dcf9aSJohannes Berg  *
5d07dcf9aSJohannes Berg  * 		Authors:	Johannes Berg <johannes@sipsolutions.net>
6d07dcf9aSJohannes Berg  *
7d07dcf9aSJohannes Berg  * Copyright 2019 Intel Corporation
8d07dcf9aSJohannes Berg  */
9d07dcf9aSJohannes Berg 
10d07dcf9aSJohannes Berg #include <linux/kernel.h>
11d07dcf9aSJohannes Berg #include <linux/errno.h>
12d07dcf9aSJohannes Berg #include <linux/types.h>
13d07dcf9aSJohannes Berg #include <net/netlink.h>
14d07dcf9aSJohannes Berg 
15d07dcf9aSJohannes Berg #define INITIAL_POLICIES_ALLOC	10
16d07dcf9aSJohannes Berg 
17d07dcf9aSJohannes Berg struct nl_policy_dump {
18d07dcf9aSJohannes Berg 	unsigned int policy_idx;
19d07dcf9aSJohannes Berg 	unsigned int attr_idx;
20d07dcf9aSJohannes Berg 	unsigned int n_alloc;
21d07dcf9aSJohannes Berg 	struct {
22d07dcf9aSJohannes Berg 		const struct nla_policy *policy;
23d07dcf9aSJohannes Berg 		unsigned int maxtype;
24d07dcf9aSJohannes Berg 	} policies[];
25d07dcf9aSJohannes Berg };
26d07dcf9aSJohannes Berg 
27d07dcf9aSJohannes Berg static int add_policy(struct nl_policy_dump **statep,
28d07dcf9aSJohannes Berg 		      const struct nla_policy *policy,
29d07dcf9aSJohannes Berg 		      unsigned int maxtype)
30d07dcf9aSJohannes Berg {
31d07dcf9aSJohannes Berg 	struct nl_policy_dump *state = *statep;
32d07dcf9aSJohannes Berg 	unsigned int n_alloc, i;
33d07dcf9aSJohannes Berg 
34d07dcf9aSJohannes Berg 	if (!policy || !maxtype)
35d07dcf9aSJohannes Berg 		return 0;
36d07dcf9aSJohannes Berg 
37d07dcf9aSJohannes Berg 	for (i = 0; i < state->n_alloc; i++) {
38d07dcf9aSJohannes Berg 		if (state->policies[i].policy == policy)
39d07dcf9aSJohannes Berg 			return 0;
40d07dcf9aSJohannes Berg 
41d07dcf9aSJohannes Berg 		if (!state->policies[i].policy) {
42d07dcf9aSJohannes Berg 			state->policies[i].policy = policy;
43d07dcf9aSJohannes Berg 			state->policies[i].maxtype = maxtype;
44d07dcf9aSJohannes Berg 			return 0;
45d07dcf9aSJohannes Berg 		}
46d07dcf9aSJohannes Berg 	}
47d07dcf9aSJohannes Berg 
48d07dcf9aSJohannes Berg 	n_alloc = state->n_alloc + INITIAL_POLICIES_ALLOC;
49d07dcf9aSJohannes Berg 	state = krealloc(state, struct_size(state, policies, n_alloc),
50d07dcf9aSJohannes Berg 			 GFP_KERNEL);
51d07dcf9aSJohannes Berg 	if (!state)
52d07dcf9aSJohannes Berg 		return -ENOMEM;
53d07dcf9aSJohannes Berg 
54d07dcf9aSJohannes Berg 	state->policies[state->n_alloc].policy = policy;
55d07dcf9aSJohannes Berg 	state->policies[state->n_alloc].maxtype = maxtype;
56d07dcf9aSJohannes Berg 	state->n_alloc = n_alloc;
57d07dcf9aSJohannes Berg 	*statep = state;
58d07dcf9aSJohannes Berg 
59d07dcf9aSJohannes Berg 	return 0;
60d07dcf9aSJohannes Berg }
61d07dcf9aSJohannes Berg 
62d07dcf9aSJohannes Berg static unsigned int get_policy_idx(struct nl_policy_dump *state,
63d07dcf9aSJohannes Berg 				   const struct nla_policy *policy)
64d07dcf9aSJohannes Berg {
65d07dcf9aSJohannes Berg 	unsigned int i;
66d07dcf9aSJohannes Berg 
67d07dcf9aSJohannes Berg 	for (i = 0; i < state->n_alloc; i++) {
68d07dcf9aSJohannes Berg 		if (state->policies[i].policy == policy)
69d07dcf9aSJohannes Berg 			return i;
70d07dcf9aSJohannes Berg 	}
71d07dcf9aSJohannes Berg 
72d07dcf9aSJohannes Berg 	WARN_ON_ONCE(1);
73d07dcf9aSJohannes Berg 	return -1;
74d07dcf9aSJohannes Berg }
75d07dcf9aSJohannes Berg 
76d07dcf9aSJohannes Berg int netlink_policy_dump_start(const struct nla_policy *policy,
77d07dcf9aSJohannes Berg 			      unsigned int maxtype,
78d07dcf9aSJohannes Berg                               unsigned long *_state)
79d07dcf9aSJohannes Berg {
80d07dcf9aSJohannes Berg 	struct nl_policy_dump *state;
81d07dcf9aSJohannes Berg 	unsigned int policy_idx;
82d07dcf9aSJohannes Berg 	int err;
83d07dcf9aSJohannes Berg 
84d07dcf9aSJohannes Berg 	/* also returns 0 if "*_state" is our ERR_PTR() end marker */
85d07dcf9aSJohannes Berg 	if (*_state)
86d07dcf9aSJohannes Berg 		return 0;
87d07dcf9aSJohannes Berg 
88d07dcf9aSJohannes Berg 	/*
89d07dcf9aSJohannes Berg 	 * walk the policies and nested ones first, and build
90d07dcf9aSJohannes Berg 	 * a linear list of them.
91d07dcf9aSJohannes Berg 	 */
92d07dcf9aSJohannes Berg 
93d07dcf9aSJohannes Berg 	state = kzalloc(struct_size(state, policies, INITIAL_POLICIES_ALLOC),
94d07dcf9aSJohannes Berg 			GFP_KERNEL);
95d07dcf9aSJohannes Berg 	if (!state)
96d07dcf9aSJohannes Berg 		return -ENOMEM;
97d07dcf9aSJohannes Berg 	state->n_alloc = INITIAL_POLICIES_ALLOC;
98d07dcf9aSJohannes Berg 
99d07dcf9aSJohannes Berg 	err = add_policy(&state, policy, maxtype);
100d07dcf9aSJohannes Berg 	if (err)
101d07dcf9aSJohannes Berg 		return err;
102d07dcf9aSJohannes Berg 
103d07dcf9aSJohannes Berg 	for (policy_idx = 0;
104d07dcf9aSJohannes Berg 	     policy_idx < state->n_alloc && state->policies[policy_idx].policy;
105d07dcf9aSJohannes Berg 	     policy_idx++) {
106d07dcf9aSJohannes Berg 		const struct nla_policy *policy;
107d07dcf9aSJohannes Berg 		unsigned int type;
108d07dcf9aSJohannes Berg 
109d07dcf9aSJohannes Berg 		policy = state->policies[policy_idx].policy;
110d07dcf9aSJohannes Berg 
111d07dcf9aSJohannes Berg 		for (type = 0;
112d07dcf9aSJohannes Berg 		     type <= state->policies[policy_idx].maxtype;
113d07dcf9aSJohannes Berg 		     type++) {
114d07dcf9aSJohannes Berg 			switch (policy[type].type) {
115d07dcf9aSJohannes Berg 			case NLA_NESTED:
116d07dcf9aSJohannes Berg 			case NLA_NESTED_ARRAY:
117d07dcf9aSJohannes Berg 				err = add_policy(&state,
118d07dcf9aSJohannes Berg 						 policy[type].nested_policy,
119d07dcf9aSJohannes Berg 						 policy[type].len);
120d07dcf9aSJohannes Berg 				if (err)
121d07dcf9aSJohannes Berg 					return err;
122d07dcf9aSJohannes Berg 				break;
123d07dcf9aSJohannes Berg 			default:
124d07dcf9aSJohannes Berg 				break;
125d07dcf9aSJohannes Berg 			}
126d07dcf9aSJohannes Berg 		}
127d07dcf9aSJohannes Berg 	}
128d07dcf9aSJohannes Berg 
129d07dcf9aSJohannes Berg 	*_state = (unsigned long)state;
130d07dcf9aSJohannes Berg 
131d07dcf9aSJohannes Berg 	return 0;
132d07dcf9aSJohannes Berg }
133d07dcf9aSJohannes Berg 
134d07dcf9aSJohannes Berg static bool netlink_policy_dump_finished(struct nl_policy_dump *state)
135d07dcf9aSJohannes Berg {
136d07dcf9aSJohannes Berg 	return state->policy_idx >= state->n_alloc ||
137d07dcf9aSJohannes Berg 	       !state->policies[state->policy_idx].policy;
138d07dcf9aSJohannes Berg }
139d07dcf9aSJohannes Berg 
140d07dcf9aSJohannes Berg bool netlink_policy_dump_loop(unsigned long *_state)
141d07dcf9aSJohannes Berg {
142d07dcf9aSJohannes Berg 	struct nl_policy_dump *state = (void *)*_state;
143d07dcf9aSJohannes Berg 
144d07dcf9aSJohannes Berg 	if (IS_ERR(state))
145d07dcf9aSJohannes Berg 		return false;
146d07dcf9aSJohannes Berg 
147d07dcf9aSJohannes Berg 	if (netlink_policy_dump_finished(state)) {
148d07dcf9aSJohannes Berg 		kfree(state);
149d07dcf9aSJohannes Berg 		/* store end marker instead of freed state */
150d07dcf9aSJohannes Berg 		*_state = (unsigned long)ERR_PTR(-ENOENT);
151d07dcf9aSJohannes Berg 		return false;
152d07dcf9aSJohannes Berg 	}
153d07dcf9aSJohannes Berg 
154d07dcf9aSJohannes Berg 	return true;
155d07dcf9aSJohannes Berg }
156d07dcf9aSJohannes Berg 
157d07dcf9aSJohannes Berg int netlink_policy_dump_write(struct sk_buff *skb, unsigned long _state)
158d07dcf9aSJohannes Berg {
159d07dcf9aSJohannes Berg 	struct nl_policy_dump *state = (void *)_state;
160d07dcf9aSJohannes Berg 	const struct nla_policy *pt;
161d07dcf9aSJohannes Berg 	struct nlattr *policy, *attr;
162d07dcf9aSJohannes Berg 	enum netlink_attribute_type type;
163d07dcf9aSJohannes Berg 	bool again;
164d07dcf9aSJohannes Berg 
165d07dcf9aSJohannes Berg send_attribute:
166d07dcf9aSJohannes Berg 	again = false;
167d07dcf9aSJohannes Berg 
168d07dcf9aSJohannes Berg 	pt = &state->policies[state->policy_idx].policy[state->attr_idx];
169d07dcf9aSJohannes Berg 
170d07dcf9aSJohannes Berg 	policy = nla_nest_start(skb, state->policy_idx);
171d07dcf9aSJohannes Berg 	if (!policy)
172d07dcf9aSJohannes Berg 		return -ENOBUFS;
173d07dcf9aSJohannes Berg 
174d07dcf9aSJohannes Berg 	attr = nla_nest_start(skb, state->attr_idx);
175d07dcf9aSJohannes Berg 	if (!attr)
176d07dcf9aSJohannes Berg 		goto nla_put_failure;
177d07dcf9aSJohannes Berg 
178d07dcf9aSJohannes Berg 	switch (pt->type) {
179d07dcf9aSJohannes Berg 	default:
180d07dcf9aSJohannes Berg 	case NLA_UNSPEC:
181d07dcf9aSJohannes Berg 	case NLA_REJECT:
182d07dcf9aSJohannes Berg 		/* skip - use NLA_MIN_LEN to advertise such */
183d07dcf9aSJohannes Berg 		nla_nest_cancel(skb, policy);
184d07dcf9aSJohannes Berg 		again = true;
185d07dcf9aSJohannes Berg 		goto next;
186d07dcf9aSJohannes Berg 	case NLA_NESTED:
187d07dcf9aSJohannes Berg 		type = NL_ATTR_TYPE_NESTED;
188d07dcf9aSJohannes Berg 		/* fall through */
189d07dcf9aSJohannes Berg 	case NLA_NESTED_ARRAY:
190d07dcf9aSJohannes Berg 		if (pt->type == NLA_NESTED_ARRAY)
191d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_NESTED_ARRAY;
192d07dcf9aSJohannes Berg 		if (pt->nested_policy && pt->len &&
193d07dcf9aSJohannes Berg 		    (nla_put_u32(skb, NL_POLICY_TYPE_ATTR_POLICY_IDX,
194d07dcf9aSJohannes Berg 				 get_policy_idx(state, pt->nested_policy)) ||
195d07dcf9aSJohannes Berg 		     nla_put_u32(skb, NL_POLICY_TYPE_ATTR_POLICY_MAXTYPE,
196d07dcf9aSJohannes Berg 				 pt->len)))
197d07dcf9aSJohannes Berg 			goto nla_put_failure;
198d07dcf9aSJohannes Berg 		break;
199d07dcf9aSJohannes Berg 	case NLA_U8:
200d07dcf9aSJohannes Berg 	case NLA_U16:
201d07dcf9aSJohannes Berg 	case NLA_U32:
202d07dcf9aSJohannes Berg 	case NLA_U64:
203d07dcf9aSJohannes Berg 	case NLA_MSECS: {
204d07dcf9aSJohannes Berg 		struct netlink_range_validation range;
205d07dcf9aSJohannes Berg 
206d07dcf9aSJohannes Berg 		if (pt->type == NLA_U8)
207d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_U8;
208d07dcf9aSJohannes Berg 		else if (pt->type == NLA_U16)
209d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_U16;
210d07dcf9aSJohannes Berg 		else if (pt->type == NLA_U32)
211d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_U32;
212d07dcf9aSJohannes Berg 		else
213d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_U64;
214d07dcf9aSJohannes Berg 
215d07dcf9aSJohannes Berg 		nla_get_range_unsigned(pt, &range);
216d07dcf9aSJohannes Berg 
217d07dcf9aSJohannes Berg 		if (nla_put_u64_64bit(skb, NL_POLICY_TYPE_ATTR_MIN_VALUE_U,
218d07dcf9aSJohannes Berg 				      range.min, NL_POLICY_TYPE_ATTR_PAD) ||
219d07dcf9aSJohannes Berg 		    nla_put_u64_64bit(skb, NL_POLICY_TYPE_ATTR_MAX_VALUE_U,
220d07dcf9aSJohannes Berg 				      range.max, NL_POLICY_TYPE_ATTR_PAD))
221d07dcf9aSJohannes Berg 			goto nla_put_failure;
222d07dcf9aSJohannes Berg 		break;
223d07dcf9aSJohannes Berg 	}
224d07dcf9aSJohannes Berg 	case NLA_S8:
225d07dcf9aSJohannes Berg 	case NLA_S16:
226d07dcf9aSJohannes Berg 	case NLA_S32:
227d07dcf9aSJohannes Berg 	case NLA_S64: {
228d07dcf9aSJohannes Berg 		struct netlink_range_validation_signed range;
229d07dcf9aSJohannes Berg 
230d07dcf9aSJohannes Berg 		if (pt->type == NLA_S8)
231d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_S8;
232d07dcf9aSJohannes Berg 		else if (pt->type == NLA_S16)
233d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_S16;
234d07dcf9aSJohannes Berg 		else if (pt->type == NLA_S32)
235d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_S32;
236d07dcf9aSJohannes Berg 		else
237d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_S64;
238d07dcf9aSJohannes Berg 
239d07dcf9aSJohannes Berg 		nla_get_range_signed(pt, &range);
240d07dcf9aSJohannes Berg 
241d07dcf9aSJohannes Berg 		if (nla_put_s64(skb, NL_POLICY_TYPE_ATTR_MIN_VALUE_S,
242d07dcf9aSJohannes Berg 				range.min, NL_POLICY_TYPE_ATTR_PAD) ||
243d07dcf9aSJohannes Berg 		    nla_put_s64(skb, NL_POLICY_TYPE_ATTR_MAX_VALUE_S,
244d07dcf9aSJohannes Berg 				range.max, NL_POLICY_TYPE_ATTR_PAD))
245d07dcf9aSJohannes Berg 			goto nla_put_failure;
246d07dcf9aSJohannes Berg 		break;
247d07dcf9aSJohannes Berg 	}
248d07dcf9aSJohannes Berg 	case NLA_BITFIELD32:
249d07dcf9aSJohannes Berg 		type = NL_ATTR_TYPE_BITFIELD32;
250d07dcf9aSJohannes Berg 		if (nla_put_u32(skb, NL_POLICY_TYPE_ATTR_BITFIELD32_MASK,
251d07dcf9aSJohannes Berg 				pt->bitfield32_valid))
252d07dcf9aSJohannes Berg 			goto nla_put_failure;
253d07dcf9aSJohannes Berg 		break;
254d07dcf9aSJohannes Berg 	case NLA_EXACT_LEN:
255d07dcf9aSJohannes Berg 		type = NL_ATTR_TYPE_BINARY;
256d07dcf9aSJohannes Berg 		if (nla_put_u32(skb, NL_POLICY_TYPE_ATTR_MIN_LENGTH, pt->len) ||
257d07dcf9aSJohannes Berg 		    nla_put_u32(skb, NL_POLICY_TYPE_ATTR_MAX_LENGTH, pt->len))
258d07dcf9aSJohannes Berg 			goto nla_put_failure;
259d07dcf9aSJohannes Berg 		break;
260d07dcf9aSJohannes Berg 	case NLA_STRING:
261d07dcf9aSJohannes Berg 	case NLA_NUL_STRING:
262d07dcf9aSJohannes Berg 	case NLA_BINARY:
263d07dcf9aSJohannes Berg 		if (pt->type == NLA_STRING)
264d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_STRING;
265d07dcf9aSJohannes Berg 		else if (pt->type == NLA_NUL_STRING)
266d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_NUL_STRING;
267d07dcf9aSJohannes Berg 		else
268d07dcf9aSJohannes Berg 			type = NL_ATTR_TYPE_BINARY;
269d07dcf9aSJohannes Berg 		if (pt->len && nla_put_u32(skb, NL_POLICY_TYPE_ATTR_MAX_LENGTH,
270d07dcf9aSJohannes Berg 					   pt->len))
271d07dcf9aSJohannes Berg 			goto nla_put_failure;
272d07dcf9aSJohannes Berg 		break;
273d07dcf9aSJohannes Berg 	case NLA_MIN_LEN:
274d07dcf9aSJohannes Berg 		type = NL_ATTR_TYPE_BINARY;
275d07dcf9aSJohannes Berg 		if (nla_put_u32(skb, NL_POLICY_TYPE_ATTR_MIN_LENGTH, pt->len))
276d07dcf9aSJohannes Berg 			goto nla_put_failure;
277d07dcf9aSJohannes Berg 		break;
278d07dcf9aSJohannes Berg 	case NLA_FLAG:
279d07dcf9aSJohannes Berg 		type = NL_ATTR_TYPE_FLAG;
280d07dcf9aSJohannes Berg 		break;
281d07dcf9aSJohannes Berg 	}
282d07dcf9aSJohannes Berg 
283d07dcf9aSJohannes Berg 	if (nla_put_u32(skb, NL_POLICY_TYPE_ATTR_TYPE, type))
284d07dcf9aSJohannes Berg 		goto nla_put_failure;
285d07dcf9aSJohannes Berg 
286d07dcf9aSJohannes Berg 	/* finish and move state to next attribute */
287d07dcf9aSJohannes Berg 	nla_nest_end(skb, attr);
288d07dcf9aSJohannes Berg 	nla_nest_end(skb, policy);
289d07dcf9aSJohannes Berg 
290d07dcf9aSJohannes Berg next:
291d07dcf9aSJohannes Berg 	state->attr_idx += 1;
292d07dcf9aSJohannes Berg 	if (state->attr_idx > state->policies[state->policy_idx].maxtype) {
293d07dcf9aSJohannes Berg 		state->attr_idx = 0;
294d07dcf9aSJohannes Berg 		state->policy_idx++;
295d07dcf9aSJohannes Berg 	}
296d07dcf9aSJohannes Berg 
297d07dcf9aSJohannes Berg 	if (again) {
298d07dcf9aSJohannes Berg 		if (netlink_policy_dump_finished(state))
299d07dcf9aSJohannes Berg 			return -ENODATA;
300d07dcf9aSJohannes Berg 		goto send_attribute;
301d07dcf9aSJohannes Berg 	}
302d07dcf9aSJohannes Berg 
303d07dcf9aSJohannes Berg 	return 0;
304d07dcf9aSJohannes Berg 
305d07dcf9aSJohannes Berg nla_put_failure:
306d07dcf9aSJohannes Berg 	nla_nest_cancel(skb, policy);
307d07dcf9aSJohannes Berg 	return -ENOBUFS;
308d07dcf9aSJohannes Berg }
309