函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-27 14:16:03
Last Modify:2022-05-19 20:02:10 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：try_match_pkt_pointers

函数原型：static bool try_match_pkt_pointers(const struct bpf_insn *insn, struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg, struct bpf_verifier_state *this_branch, struct bpf_verifier_state *other_branch)

返回类型：bool

参数：

类型参数名称
const struct bpf_insn *insn
struct bpf_reg_state *dst_reg
struct bpf_reg_state *src_reg
struct bpf_verifier_state *this_branch
struct bpf_verifier_state *other_branch
5950  如果BPF_SRC( opcode )不等于BPF_X则返回:false
5954  如果Instruction classes ( opcode )恒等于jmp mode in word width 则返回:false
5958  当:alu/jmp fields ( opcode )恒等于BPF_JGT
5959  如果 Ordering of fields matters. See states_equal() 恒等于g points to skb->data 且 Ordering of fields matters. See states_equal() 恒等于skb->data + headlen 或 Ordering of fields matters. See states_equal() 恒等于skb->data - meta_len 且Unmodified PTR_TO_PACKET[_META,_END] register from ctx access. 则
5964  find_good_pkt_pointers(this_branch, dst_reg, Ordering of fields matters. See states_equal() , false)
5966  否则如果 Ordering of fields matters. See states_equal() 恒等于skb->data + headlen 且 Ordering of fields matters. See states_equal() 恒等于g points to skb->data 或Unmodified PTR_TO_PACKET[_META,_END] register from ctx access. 且 Ordering of fields matters. See states_equal() 恒等于skb->data - meta_len 则
5971  find_good_pkt_pointers(other_branch, src_reg, Ordering of fields matters. See states_equal() , true)
5973  否则
5974  返回:false
5976  退出
5977  当:alu/jmp fields ( opcode )恒等于LT is unsigned, '<'
5978  如果 Ordering of fields matters. See states_equal() 恒等于g points to skb->data 且 Ordering of fields matters. See states_equal() 恒等于skb->data + headlen 或 Ordering of fields matters. See states_equal() 恒等于skb->data - meta_len 且Unmodified PTR_TO_PACKET[_META,_END] register from ctx access. 则
5983  find_good_pkt_pointers(other_branch, dst_reg, Ordering of fields matters. See states_equal() , true)
5985  否则如果 Ordering of fields matters. See states_equal() 恒等于skb->data + headlen 且 Ordering of fields matters. See states_equal() 恒等于g points to skb->data 或Unmodified PTR_TO_PACKET[_META,_END] register from ctx access. 且 Ordering of fields matters. See states_equal() 恒等于skb->data - meta_len 则
5990  find_good_pkt_pointers(this_branch, src_reg, Ordering of fields matters. See states_equal() , false)
5992  否则
5993  返回:false
5995  退出
5996  当:alu/jmp fields ( opcode )恒等于BPF_JGE
5997  如果 Ordering of fields matters. See states_equal() 恒等于g points to skb->data 且 Ordering of fields matters. See states_equal() 恒等于skb->data + headlen 或 Ordering of fields matters. See states_equal() 恒等于skb->data - meta_len 且Unmodified PTR_TO_PACKET[_META,_END] register from ctx access. 则
6002  find_good_pkt_pointers(this_branch, dst_reg, Ordering of fields matters. See states_equal() , true)
6004  否则如果 Ordering of fields matters. See states_equal() 恒等于skb->data + headlen 且 Ordering of fields matters. See states_equal() 恒等于g points to skb->data 或Unmodified PTR_TO_PACKET[_META,_END] register from ctx access. 且 Ordering of fields matters. See states_equal() 恒等于skb->data - meta_len 则
6009  find_good_pkt_pointers(other_branch, src_reg, Ordering of fields matters. See states_equal() , false)
6011  否则
6012  返回:false
6014  退出
6015  当:alu/jmp fields ( opcode )恒等于LE is unsigned, '<='
6016  如果 Ordering of fields matters. See states_equal() 恒等于g points to skb->data 且 Ordering of fields matters. See states_equal() 恒等于skb->data + headlen 或 Ordering of fields matters. See states_equal() 恒等于skb->data - meta_len 且Unmodified PTR_TO_PACKET[_META,_END] register from ctx access. 则
6021  find_good_pkt_pointers(other_branch, dst_reg, Ordering of fields matters. See states_equal() , false)
6023  否则如果 Ordering of fields matters. See states_equal() 恒等于skb->data + headlen 且 Ordering of fields matters. See states_equal() 恒等于g points to skb->data 或Unmodified PTR_TO_PACKET[_META,_END] register from ctx access. 且 Ordering of fields matters. See states_equal() 恒等于skb->data - meta_len 则
6028  find_good_pkt_pointers(this_branch, src_reg, Ordering of fields matters. See states_equal() , true)
6030  否则
6031  返回:false
6033  退出
6034  默认
6035  返回:false
6038  返回:true
调用者
名称描述
check_cond_jmp_op