函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:lib\nlattr.c Create Date:2022-07-27 08:14:48
Last Modify:2020-03-12 14:18:49 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：validate_nla

函数原型：static int validate_nla(const struct nlattr *nla, int maxtype, const struct nla_policy *policy, unsigned int validate, struct netlink_ext_ack *extack)

返回类型：int

参数：

类型参数名称
const struct nlattr *nla
intmaxtype
const struct nla_policy *policy
unsigned intvalidate
struct netlink_ext_ack *extack
161  strict_start_type等于This entry is special, and used for the attribute at index 0* only, and specifies special data about the policy, namely it* specifies the "boundary type" where strict length validation* starts for any attribute types >= this value, also, strict
163  minlen等于0, attrlen等于有效载荷的长度, type等于属性类型
164  err等于负ERANGE
166  如果strict_start_type且type大于等于strict_start_type则validate或等于NL_VALIDATE_STRICT
169  如果type小于等于0或type大于maxtype则返回:0
172  pt等于policy[type]
174  BUG_ON(specific validation (e.g. range, function call), see > NLA_TYPE_MAX)
176  如果For these data types, attribute length should be exactly the given* size. However, to maintain compatibility with broken commands, if the* attribute length does not match the expected size a warning is emitted[specific validation (e.g. range, function call), see]且attrlen不等于For these data types, attribute length should be exactly the given* size. However, to maintain compatibility with broken commands, if the* attribute length does not match the expected size a warning is emitted[specific validation (e.g. range, function call), see]或specific validation (e.g. range, function call), see恒等于NLA_EXACT_LEN_WARN且attrlen不等于len则
178  pr_warn_ratelimited("netlink: '%s': attribute type %d has an invalid length.\n", comm, type)
180  如果validate按位与NL_VALIDATE_STRICT_ATTRS则
181  NL_SET_ERR_MSG_ATTR(extack, nla, "invalid attribute length")
183  返回:负EINVAL
187  如果validate按位与NL_VALIDATE_NESTED则
188  如果specific validation (e.g. range, function call), see恒等于NLA_NESTED或specific validation (e.g. range, function call), see恒等于NLA_NESTED_ARRAY的值且非nla_type按位与la_type (16 bits)* +---+---+-------------------------------+* | N | O | Attribute Type |* +---+---+-------------------------------+* N := Carries nested attributes* O := Payload stored in network byte order* Note: The N and O flag are mutually exclusive.的值则
190  NL_SET_ERR_MSG_ATTR(extack, nla, "NLA_F_NESTED is missing")
192  返回:负EINVAL
194  如果specific validation (e.g. range, function call), see不等于NLA_NESTED且specific validation (e.g. range, function call), see不等于NLA_NESTED_ARRAY且specific validation (e.g. range, function call), see不等于NLA_UNSPEC且nla_type按位与la_type (16 bits)* +---+---+-------------------------------+* | N | O | Attribute Type |* +---+---+-------------------------------+* N := Carries nested attributes* O := Payload stored in network byte order* Note: The N and O flag are mutually exclusive.则
196  NL_SET_ERR_MSG_ATTR(extack, nla, "NLA_F_NESTED not expected")
198  返回:负EINVAL
203  当:specific validation (e.g. range, function call), see恒等于NLA_EXACT_LEN
204  如果attrlen不等于len则转到:out_err
206  退出
208  当:specific validation (e.g. range, function call), see恒等于NLA_REJECT
209  如果extack且validation_data则
210  NL_SET_BAD_ATTR(extack, nla)
211  _msg等于validation_data
212  返回:负EINVAL
214  err等于负EINVAL
215  转到:out_err
217  当:specific validation (e.g. range, function call), see恒等于NLA_FLAG
218  如果attrlen大于0则转到:out_err
220  退出
222  当:specific validation (e.g. range, function call), see恒等于NLA_BITFIELD32
223  如果attrlen不等于sizeof(structnla_bitfield32)则转到:out_err
226  err等于validate_nla_bitfield32(nla, validation_data)
227  如果err则转到:out_err
229  退出
231  当:specific validation (e.g. range, function call), see恒等于NLA_NUL_STRING
243  当:specific validation (e.g. range, function call), see恒等于NLA_STRING
244  如果attrlen小于1则转到:out_err
247  如果len则
248  buf等于有效载荷的头部
250  如果buf[attrlen - 1]恒等于'\0'则attrlen自减
253  如果attrlen大于len则转到:out_err
256  退出
258  当:specific validation (e.g. range, function call), see恒等于NLA_BINARY
259  如果len且attrlen大于len则转到:out_err
261  退出
263  当:specific validation (e.g. range, function call), see恒等于NLA_NESTED
267  如果attrlen恒等于0则退出
269  如果attrlen小于NLA_HDRLEN则转到:out_err
271  如果validation_data则
283  退出
284  当:specific validation (e.g. range, function call), see恒等于NLA_NESTED_ARRAY
288  如果attrlen恒等于0则退出
290  如果attrlen小于NLA_HDRLEN则转到:out_err
292  如果validation_data则
306  退出
308  当:specific validation (e.g. range, function call), see恒等于NLA_UNSPEC
309  如果validate按位与NL_VALIDATE_UNSPEC则
310  NL_SET_ERR_MSG_ATTR(extack, nla, "Unsupported attribute")
312  返回:负EINVAL
315  当:specific validation (e.g. range, function call), see恒等于NLA_MIN_LEN
316  如果attrlen小于len则转到:out_err
318  退出
320  默认
321  如果len则minlen等于len
323  否则minlen等于nla_attr_minlen[specific validation (e.g. range, function call), see]
326  如果attrlen小于minlen则转到:out_err
332  当:validation_type恒等于NLA_VALIDATE_NONE
334  退出
335  当:validation_type恒等于NLA_VALIDATE_RANGE
336  当:validation_type恒等于NLA_VALIDATE_MIN
337  当:validation_type恒等于NLA_VALIDATE_MAX
338  err等于nla_validate_int_range(pt, nla, extack)
339  如果err则返回:err
341  退出
342  当:validation_type恒等于NLA_VALIDATE_FUNCTION
343  如果validate则
344  err等于validate(nla, extack)
345  如果err则返回:err
348  退出
351  返回:0
352  out_err :
353  NL_SET_ERR_MSG_ATTR(extack, nla, "Attribute failed policy validation")
354  返回:err
调用者
名称描述
__nla_validate_parse