bpf: Enlarge offset check value to INT_MAX in bpf_skb_{load,store}_bytes
commit 45969b4152c1752089351cd6836a42a566d49bcf upstream.
The data length of skb frags + frag_list may be greater than 0xffff, and
skb_header_pointer can not handle negative offset. So, here INT_MAX is used
to check the validity of offset. Add the same change to the related function
skb_store_bytes.
Fixes: 05c74e5e53
("bpf: add bpf_skb_load_bytes helper")
Signed-off-by: Liu Jian <liujian56@huawei.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Song Liu <songliubraving@fb.com>
Link: https://lore.kernel.org/bpf/20220416105801.88708-2-liujian56@huawei.com
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
This commit is contained in:

committed by
Greg Kroah-Hartman

parent
7f845de286
commit
886eeb0460
@@ -1687,7 +1687,7 @@ BPF_CALL_5(bpf_skb_store_bytes, struct sk_buff *, skb, u32, offset,
|
|||||||
|
|
||||||
if (unlikely(flags & ~(BPF_F_RECOMPUTE_CSUM | BPF_F_INVALIDATE_HASH)))
|
if (unlikely(flags & ~(BPF_F_RECOMPUTE_CSUM | BPF_F_INVALIDATE_HASH)))
|
||||||
return -EINVAL;
|
return -EINVAL;
|
||||||
if (unlikely(offset > 0xffff))
|
if (unlikely(offset > INT_MAX))
|
||||||
return -EFAULT;
|
return -EFAULT;
|
||||||
if (unlikely(bpf_try_make_writable(skb, offset + len)))
|
if (unlikely(bpf_try_make_writable(skb, offset + len)))
|
||||||
return -EFAULT;
|
return -EFAULT;
|
||||||
@@ -1722,7 +1722,7 @@ BPF_CALL_4(bpf_skb_load_bytes, const struct sk_buff *, skb, u32, offset,
|
|||||||
{
|
{
|
||||||
void *ptr;
|
void *ptr;
|
||||||
|
|
||||||
if (unlikely(offset > 0xffff))
|
if (unlikely(offset > INT_MAX))
|
||||||
goto err_clear;
|
goto err_clear;
|
||||||
|
|
||||||
ptr = skb_header_pointer(skb, offset, len, to);
|
ptr = skb_header_pointer(skb, offset, len, to);
|
||||||
|
Reference in New Issue
Block a user