Alexei Starovoitov 8426a23213 bpf: Fix propagation of signed bounds from 64-bit min/max into 32-bit. ...

[ Upstream commit 388e2c0b97 ]

Similar to unsigned bounds propagation fix signed bounds.
The 'Fixes' tag is a hint. There is no security bug here.
The verifier was too conservative.

Fixes: 3f50f132d8 ("bpf: Verifier, do explicit ALU32 bounds tracking")
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Acked-by: Yonghong Song <yhs@fb.com>
Link: https://lore.kernel.org/bpf/20211101222153.78759-2-alexei.starovoitov@gmail.com
Signed-off-by: Sasha Levin <sashal@kernel.org>

2021-11-17 11:04:19 +01:00

..

preload

libbpf: Move BPF_SEQ_PRINTF and BPF_SNPRINTF to bpf_helpers.h

2021-05-26 10:45:41 -07:00

arraymap.c

bpf: Fix potential race in tail call compatibility check

2021-11-02 19:50:56 +01:00

bpf_inode_storage.c

bpf: Fix spelling mistakes

2021-05-24 21:13:05 -07:00

bpf_iter.c

bpf: Prepare bpf syscall to be used from kernel and user space.

2021-05-19 00:33:40 +02:00

bpf_local_storage.c

bpf: Prevent deadlock from recursive bpf_task_storage_[get|delete]

2021-02-26 11:51:48 -08:00

bpf_lru_list.c

bpf_lru_list: Read double-checked variable once without lock

2021-02-10 15:54:26 -08:00

bpf_lru_list.h

bpf: Fix a typo "inacitve" -> "inactive"

2020-04-06 21:54:10 +02:00

bpf_lsm.c

Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next

2021-06-17 11:54:56 -07:00

bpf_struct_ops_types.h

bpf: tcp: Support tcp_congestion_ops in bpf

2020-01-09 08:46:18 -08:00

bpf_struct_ops.c

bpf: Handle return value of BPF_PROG_TYPE_STRUCT_OPS prog

2021-10-07 07:53:09 +02:00

bpf_task_storage.c

bpf: Make symbol 'bpf_task_storage_busy' static

2021-03-16 12:24:20 -07:00

btf.c

Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next

2021-06-17 11:54:56 -07:00

cgroup.c

Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next

2021-02-16 13:14:06 -08:00

core.c

bpf: Prevent increasing bpf_jit_limit above max

2021-11-17 11:03:30 +01:00

cpumap.c

xdp: Add proper __rcu annotations to redirect map entries

2021-06-24 19:41:15 +02:00

devmap.c

bpf, devmap: Convert remaining READ_ONCE() to rcu_dereference_check()

2021-07-01 09:28:38 +02:00

disasm.c

bpf: Introduce BPF nospec instruction for mitigating Spectre v4

2021-07-29 00:20:56 +02:00

disasm.h

treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 295

2019-06-05 17:36:38 +02:00

dispatcher.c

bpf: Remove bpf_image tree

2020-03-13 12:49:52 -07:00

hashtab.c

bpf: Fix integer overflow involving bucket_size

2021-08-07 01:39:22 +02:00

helpers.c

bpf: Add rcu_read_lock in bpf_get_current_[ancestor_]cgroup_id() helpers

2021-08-11 11:45:43 -07:00

inode.c

bpf: Fix regression on BPF_OBJ_GET with non-O_RDWR flags

2021-06-22 14:57:43 +02:00

Kconfig

bpf: Fix BPF_JIT kconfig symbol dependency

2021-05-20 23:48:37 +02:00

local_storage.c

bpf: Fix NULL pointer dereference in bpf_get_local_storage() helper

2021-03-25 18:31:36 -07:00

lpm_trie.c

bpf: Allow RCU-protected lookups to happen from bh context

2021-06-24 19:41:15 +02:00

Makefile

bpf: Enable task local storage for tracing programs

2021-02-26 11:51:47 -08:00

map_in_map.c

bpf: Relax max_entries check for most of the inner map types

2020-08-28 15:41:30 +02:00

map_in_map.h

bpf: Add map_meta_equal map ops

2020-08-28 15:41:30 +02:00

map_iter.c

bpf: Implement link_query callbacks in map element iterators

2020-08-21 14:01:39 -07:00

net_namespace.c

bpf: Add support for forced LINK_DETACH command

2020-08-01 20:38:28 -07:00

offload.c

bpf, offload: Replace bitwise AND by logical AND in bpf_prog_offload_info_fill

2020-02-17 16:53:49 +01:00

percpu_freelist.c

bpf: Use raw_spin_trylock() for pcpu_freelist_push/pop in NMI

2020-10-06 00:04:11 +02:00

percpu_freelist.h

bpf: Use raw_spin_trylock() for pcpu_freelist_push/pop in NMI

2020-10-06 00:04:11 +02:00

prog_iter.c

bpf: Refactor bpf_iter_reg to have separate seq_info member

2020-07-25 20:16:32 -07:00

queue_stack_maps.c

bpf: Eliminate rlimit-based memory accounting for queue_stack_maps maps

2020-12-02 18:32:46 -08:00

reuseport_array.c

bpf: Fix spelling mistakes

2021-05-24 21:13:05 -07:00

ringbuf.c

bpf: Fix false positive kmemleak report in bpf_ringbuf_area_alloc()

2021-06-28 15:57:46 +02:00

stackmap.c

bpf: Fix integer overflow in prealloc_elems_and_freelist()

2021-10-13 09:41:54 +02:00

syscall.c

bpf: Use kvmalloc for map values in syscall

2021-11-02 19:51:00 +01:00

sysfs_btf.c

bpf: Load and verify kernel module BTFs

2020-11-10 15:25:53 -08:00

task_iter.c

bpf: Introduce task_vma bpf_iter

2021-02-12 12:56:53 -08:00

tnum.c

bpf, tnums: Provably sound, faster, and more precise algorithm for tnum_mul

2021-06-01 13:34:15 +02:00

trampoline.c

bpf: Fixes possible race in update_prog_stats() for 32bit arches

2021-11-17 11:04:17 +01:00

verifier.c

bpf: Fix propagation of signed bounds from 64-bit min/max into 32-bit.

2021-11-17 11:04:19 +01:00