Alexei Starovoitov a9c676bc8f bpf/verifier: fix verifier instability ... Edward Cree says: In check_mem_access(), for the PTR_TO_CTX case, after check_ctx_access() has supplied a reg_type, the other members of the register state are set appropriately. Previously reg.range was set to 0, but as it is in a union with reg.map_ptr, which is larger, upper bytes of the latter were left in place. This then caused the memcmp() in regsafe() to fail, preventing some branches from being pruned (and occasionally causing the same program to take a varying number of processed insns on repeated verifier runs). Fix the instability by clearing bpf_reg_state in __mark_reg_[un]known() Fixes: f1174f77b5 ("bpf/verifier: rework value tracking") Debugged-by: Edward Cree <ecree@solarflare.com> Acked-by: Edward Cree <ecree@solarflare.com> Signed-off-by: Alexei Starovoitov <ast@kernel.org>		2018-09-05 22:21:00 -07:00
..
arraymap.c	bpf: add bpffs pretty print for percpu arraymap/hash/lru_hash	2018-08-30 14:03:53 +02:00
bpf_lru_list.c	bpf: lru: Lower the PERCPU_NR_SCANS from 16 to 4	2017-04-17 13:55:52 -04:00
bpf_lru_list.h	bpf: Only set node->ref = 1 if it has not been set	2017-09-01 09:57:39 -07:00
btf.c	bpf: btf: Ensure the member->offset is in the right order	2018-07-24 01:20:44 +02:00
cgroup.c	bpf: introduce update_effective_progs()	2018-08-07 14:29:55 +02:00
core.c	bpf: fix a rcu usage warning in bpf_prog_array_copy_core()	2018-08-16 21:55:32 +02:00
cpumap.c	bpf: fix redirect to map under tail calls	2018-08-17 15:56:23 -07:00
devmap.c	bpf: fix redirect to map under tail calls	2018-08-17 15:56:23 -07:00
disasm.c	bpf: Remove struct bpf_verifier_env argument from print_bpf_insn	2018-03-23 17:38:57 +01:00
disasm.h	bpf: Remove struct bpf_verifier_env argument from print_bpf_insn	2018-03-23 17:38:57 +01:00
hashtab.c	bpf: add bpffs pretty print for percpu arraymap/hash/lru_hash	2018-08-30 14:03:53 +02:00
helpers.c	bpf: introduce the bpf_get_local_storage() helper function	2018-08-03 00:47:32 +02:00
inode.c	bpf: decouple btf from seq bpf fs dump and enable more maps	2018-08-13 00:52:45 +02:00
local_storage.c	bpf: decouple btf from seq bpf fs dump and enable more maps	2018-08-13 00:52:45 +02:00
lpm_trie.c	bpf: decouple btf from seq bpf fs dump and enable more maps	2018-08-13 00:52:45 +02:00
Makefile	bpf: Introduce BPF_MAP_TYPE_REUSEPORT_SOCKARRAY	2018-08-11 01:58:46 +02:00
map_in_map.c	bpf: don't allow create maps of cgroup local storages	2018-08-03 00:47:32 +02:00
map_in_map.h	bpf: Add syscall lookup support for fd array and htab	2017-06-29 13:13:25 -04:00
offload.c	bpf: offload: allow program and map sharing per-ASIC	2018-07-18 15:10:34 +02:00
percpu_freelist.c	bpf: fix lockdep splat	2017-11-15 19:46:32 +09:00
percpu_freelist.h	bpf: introduce percpu_freelist	2016-03-08 15:28:31 -05:00
reuseport_array.c	bpf: Introduce BPF_MAP_TYPE_REUSEPORT_SOCKARRAY	2018-08-11 01:58:46 +02:00
sockmap.c	bpf: avoid misuse of psock when TCP_ULP_BPF collides with another ULP	2018-09-02 22:31:10 +02:00
stackmap.c	bpf: decouple btf from seq bpf fs dump and enable more maps	2018-08-13 00:52:45 +02:00
syscall.c	bpf: remove duplicated include from syscall.c	2018-08-29 17:28:00 +02:00
tnum.c	bpf/verifier: improve register value range tracking with ARSH	2018-04-29 08:45:53 -07:00
verifier.c	bpf/verifier: fix verifier instability	2018-09-05 22:21:00 -07:00
xskmap.c	bpf: fix redirect to map under tail calls	2018-08-17 15:56:23 -07:00