Andrii Nakryiko 98ddcf389d bpf: honor env->test_state_freq flag in is_state_visited() ...

env->test_state_freq flag can be set by user by passing
BPF_F_TEST_STATE_FREQ program flag. This is used in a bunch of selftests
to have predictable state checkpoints at every jump and so on.

Currently, bounded loop handling heuristic ignores this flag if number
of processed jumps and/or number of processed instructions is below some
thresholds, which throws off that reliable state checkpointing.

Honor this flag in all circumstances by disabling heuristic if
env->test_state_freq is set.

Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20230302235015.2044271-5-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

2023-03-04 11:14:31 -08:00

..

preload

bpf: iterators: Split iterators.lskel.h into little- and big- endian versions

2023-01-28 12:45:15 -08:00

arraymap.c

bpf: Do btf_record_free outside map_free callback

2022-11-17 19:11:31 -08:00

bloom_filter.c

treewide: use get_random_u32() when possible

2022-10-11 17:42:58 -06:00

bpf_cgrp_storage.c

bpf: Fix a compilation failure with clang lto build

2022-11-30 17:13:25 -08:00

bpf_inode_storage.c

bpf: Fix a compilation failure with clang lto build

2022-11-30 17:13:25 -08:00

bpf_iter.c

bpf: Initialize the bpf_run_ctx in bpf_iter_run_prog()

2022-08-18 17:06:13 -07:00

bpf_local_storage.c

bpf: Use separate RCU callbacks for freeing selem

2023-03-03 09:45:27 -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

printk: stop including cache.h from printk.h

2022-05-13 07:20:07 -07:00

bpf_lsm.c

bpf: Fix the kernel crash caused by bpf_setsockopt().

2023-01-26 23:26:40 -08:00

bpf_struct_ops_types.h

bpf: Add dummy BPF STRUCT_OPS for test purpose

2021-11-01 14:10:00 -07:00

bpf_struct_ops.c

mm: Introduce set_memory_rox()

2022-12-15 10:37:26 -08:00

bpf_task_storage.c

bpf: Fix a compilation failure with clang lto build

2022-11-30 17:13:25 -08:00

btf.c

bpf: Refactor RCU enforcement in the verifier.

2023-03-03 17:42:20 +01:00

cgroup_iter.c

bpf: Pin the start cgroup in cgroup_iter_seq_init()

2022-11-21 17:40:42 +01:00

cgroup.c

bpf: allow ctx writes using BPF_ST_MEM instruction

2023-03-03 21:41:46 -08:00

core.c

Merge tag 'net-next-6.3' of git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net-next

2023-02-21 18:24:12 -08:00

cpumap.c

net: skbuff: drop the word head from skb cache

2023-02-10 09:10:28 +00:00

cpumask.c

bpf: Refactor RCU enforcement in the verifier.

2023-03-03 17:42:20 +01:00

devmap.c

bpf: devmap: check XDP features in __xdp_enqueue routine

2023-02-02 20:48:24 -08:00

disasm.c

bpf: Relicense disassembler as GPL-2.0-only OR BSD-2-Clause

2021-09-02 14:49:23 +02:00

disasm.h

bpf: Relicense disassembler as GPL-2.0-only OR BSD-2-Clause

2021-09-02 14:49:23 +02:00

dispatcher.c

bpf: Synchronize dispatcher update with bpf_dispatcher_xdp_func

2022-12-14 12:02:14 -08:00

hashtab.c

bpf: Support kptrs in percpu hashmap and percpu LRU hashmap

2023-03-01 10:24:33 -08:00

helpers.c

bpf: Introduce kptr_rcu.

2023-03-03 17:42:20 +01:00

inode.c

fs: port inode_init_owner() to mnt_idmap

2023-01-19 09:24:28 +01:00

Kconfig

rcu: Make the TASKS_RCU Kconfig option be selected

2022-04-20 16:52:58 -07:00

link_iter.c

bpf: Add bpf_link iterator

2022-05-10 11:20:45 -07:00

local_storage.c

bpf: Consolidate spin_lock, timer management into btf_record

2022-11-03 22:19:40 -07:00

lpm_trie.c

bpf: Use bpf_map_area_alloc consistently on bpf map creation

2022-08-10 11:50:43 -07:00

Makefile

bpf: Enable cpumasks to be queried and used as kptrs

2023-01-25 07:57:49 -08:00

map_in_map.c

bpf: Add comments for map BTF matching requirement for bpf_list_head

2022-11-17 19:22:14 -08:00

map_in_map.h

bpf: Add map_meta_equal map ops

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

map_iter.c

bpf: Introduce MEM_RDONLY flag

2021-12-18 13:27:41 -08:00

memalloc.c

bpf: Zeroing allocated object from slab in bpf memory allocator

2023-02-15 15:40:06 -08:00

mmap_unlock_work.h

bpf: Introduce helper bpf_find_vma

2021-11-07 11:54:51 -08:00

net_namespace.c

net: Add includes masked by netdevice.h including uapi/bpf.h

2021-12-29 20:03:05 -08:00

offload.c

bpf: Drop always true do_idr_lock parameter to bpf_map_free_id

2023-02-02 20:26:12 -08:00

percpu_freelist.c

bpf: Initialize same number of free nodes for each pcpu_freelist

2022-11-11 12:05:14 -08: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: Remove unneeded memset in queue_stack_map creation

2022-08-10 11:48:22 -07:00

reuseport_array.c

net: Fix suspicious RCU usage in bpf_sk_reuseport_detach()

2022-08-17 16:42:59 -07:00

ringbuf.c

bpf: Rename MEM_ALLOC to MEM_RINGBUF

2022-11-14 21:52:45 -08:00

stackmap.c

perf/bpf: Always use perf callchains if exist

2022-09-13 15:03:22 +02:00

syscall.c

bpf: Support kptrs in local storage maps

2023-03-01 10:24:33 -08:00

sysfs_btf.c

bpf: Load and verify kernel module BTFs

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

task_iter.c

bpf: keep a reference to the mm, in case the task is dead.

2022-12-28 14:11:48 -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: Fix panic due to wrong pageattr of im->image

2022-12-28 13:46:28 -08:00

verifier.c

bpf: honor env->test_state_freq flag in is_state_visited()

2023-03-04 11:14:31 -08:00