Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 13:01:49
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:try_match_pkt_pointers

Proto: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)

Type:bool

Parameter:

TypeParameterName
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  If BPF_SRC( opcode ) != BPF_X Then Return false
5954  If Instruction classes ( opcode ) == jmp mode in word width Then Return false
5958  Case alu/jmp fields ( opcode ) == BPF_JGT
5959  If 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. Then
5964  find_good_pkt_pointers(this_branch, dst_reg, Ordering of fields matters. See states_equal() , false)
5966  Else if 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 Then
5971  find_good_pkt_pointers(other_branch, src_reg, Ordering of fields matters. See states_equal() , true)
5973  Else
5974  Return false
5976  Break
5977  Case alu/jmp fields ( opcode ) == LT is unsigned, '<'
5978  If 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. Then
5983  find_good_pkt_pointers(other_branch, dst_reg, Ordering of fields matters. See states_equal() , true)
5985  Else if 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 Then
5990  find_good_pkt_pointers(this_branch, src_reg, Ordering of fields matters. See states_equal() , false)
5992  Else
5993  Return false
5995  Break
5996  Case alu/jmp fields ( opcode ) == BPF_JGE
5997  If 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. Then
6002  find_good_pkt_pointers(this_branch, dst_reg, Ordering of fields matters. See states_equal() , true)
6004  Else if 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 Then
6009  find_good_pkt_pointers(other_branch, src_reg, Ordering of fields matters. See states_equal() , false)
6011  Else
6012  Return false
6014  Break
6015  Case alu/jmp fields ( opcode ) == LE is unsigned, '<='
6016  If 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. Then
6021  find_good_pkt_pointers(other_branch, dst_reg, Ordering of fields matters. See states_equal() , false)
6023  Else if 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 Then
6028  find_good_pkt_pointers(this_branch, src_reg, Ordering of fields matters. See states_equal() , true)
6030  Else
6031  Return false
6033  Break
6034  Default
6035  Return false
6038  Return true
Caller
NameDescribe
check_cond_jmp_op