函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称:verify dfa xindexes are in range of transition tables

函数原型:static bool verify_dfa_xindex(struct aa_dfa *dfa, int table_size)

返回类型:bool

参数:

类型参数名称
struct aa_dfa *dfa
inttable_size
1001 i小于td_lolen循环
1002  如果非verify_xindex(dfa_user_xindex(dfa, i), table_size)则返回:0
1004  如果非verify_xindex(dfa_other_xindex(dfa, i), table_size)则返回:0
1007  返回:1
调用者
名称描述
verify_profileverify_profile - Do post unpack analysis to verify profile consistency*@profile: profile to verify (NOT NULL)* Returns: 0 if passes verification else error