Alexei Starovoitov 0f8ad899df bpf: Fix propagation of 32-bit signed bounds from 64-bit bounds. ...

commit b02709587e upstream.

The 64-bit signed bounds should not affect 32-bit signed bounds unless the
verifier knows that upper 32-bits are either all 1s or all 0s. For example the
register with smin_value==1 doesn't mean that s32_min_value is also equal to 1,
since smax_value could be larger than 32-bit subregister can hold.
The verifier refines the smax/s32_max return value from certain helpers in
do_refine_retval_range(). Teach the verifier to recognize that smin/s32_min
value is also bounded. When both smin and smax bounds fit into 32-bit
subregister the verifier can propagate those bounds.

Fixes: 3f50f132d8 ("bpf: Verifier, do explicit ALU32 bounds tracking")
Reported-by: Jean-Philippe Brucker <jean-philippe@linaro.org>
Acked-by: John Fastabend <john.fastabend@gmail.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>

2020-12-11 13:22:13 +01:00

..

arraymap.c

bpf: Implement bpf iterator for array maps

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

bpf_iter.c

bpf: Fix a rcu_sched stall issue with bpf task/task_file iterator

2020-08-18 17:36:23 -07:00

bpf_lru_list.c

…

bpf_lru_list.h

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

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

bpf_lsm.c

bpf: Use tracing helpers for lsm programs

2020-06-01 15:08:04 -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: Set map_btf_{name, id} for all map types

2020-06-22 22:22:58 +02:00

btf.c

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

2020-08-03 18:27:40 -07:00

cgroup.c

treewide: Use fallthrough pseudo-keyword

2020-08-23 17:36:59 -05:00

core.c

bpf: Don't rely on GCC __attribute__((optimize)) to disable GCSE

2020-11-18 19:22:16 +01:00

cpumap.c

treewide: Use fallthrough pseudo-keyword

2020-08-23 17:36:59 -05:00

devmap.c

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

2020-07-04 17:48:34 -07:00

disasm.c

…

disasm.h

…

dispatcher.c

bpf: Remove bpf_image tree

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

hashtab.c

bpf: Zero-fill re-used per-cpu map element

2020-11-18 19:22:18 +01:00

helpers.c

bpf: Implement BPF ring buffer and verifier support for it

2020-06-01 14:38:22 -07:00

inode.c

bpf: Fix a rcu warning for bpffs map pretty-print

2020-09-15 18:17:39 -07:00

local_storage.c

bpf/local_storage: Fix build without CONFIG_CGROUP

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

lpm_trie.c

bpf: Remove redundant synchronize_rcu.

2020-07-01 08:07:13 -07:00

Makefile

bpf: Don't rely on GCC __attribute__((optimize)) to disable GCSE

2020-11-18 19:22:16 +01:00

map_in_map.c

bpf: Implement CAP_BPF

2020-05-15 17:29:41 +02:00

map_in_map.h

…

map_iter.c

bpf: Change uapi for bpf iterator map elements

2020-08-06 16:39:14 -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-29 10:12:12 +01:00

percpu_freelist.h

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

2020-10-29 10:12:12 +01: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: Remove redundant synchronize_rcu.

2020-07-01 08:07:13 -07:00

reuseport_array.c

Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net

2020-07-11 00:46:00 -07:00

ringbuf.c

Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net

2020-07-11 00:46:00 -07:00

stackmap.c

bpf: Iterate through all PT_NOTE sections when looking for build id

2020-08-12 18:14:49 -07:00

syscall.c

Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net

2020-09-03 18:50:48 -07:00

sysfs_btf.c

bpf: Fix sysfs export of empty BTF section

2020-09-21 21:50:24 +02:00

task_iter.c

bpf: Avoid visit same object multiple times

2020-08-18 17:36:23 -07:00

tnum.c

bpf: Verifier, do explicit ALU32 bounds tracking

2020-03-30 14:59:53 -07:00

trampoline.c

bpf: lsm: Implement attach, detach and execution

2020-03-30 01:34:00 +02:00

verifier.c

bpf: Fix propagation of 32-bit signed bounds from 64-bit bounds.

2020-12-11 13:22:13 +01:00