]> www.infradead.org Git - users/dwmw2/linux.git/commit
selftests/bpf: Add test case for delta propagation
authorDaniel Borkmann <daniel@iogearbox.net>
Wed, 16 Oct 2024 13:49:13 +0000 (15:49 +0200)
committerAndrii Nakryiko <andrii@kernel.org>
Thu, 17 Oct 2024 18:06:34 +0000 (11:06 -0700)
commitdb123e42304d5bba9a1e04341db0cafaa7a52f35
treebeec73cf392ba13d8bb6b4ef3ee6de295ad39c9a
parent3e9e708757ca3b7eb65a820031d62fea1a265709
selftests/bpf: Add test case for delta propagation

Add a small BPF verifier test case to ensure that alu32 additions to
registers are not subject to linked scalar delta tracking.

  # ./vmtest.sh -- ./test_progs -t verifier_linked_scalars
  [...]
  ./test_progs -t verifier_linked_scalars
  [    1.413138] tsc: Refined TSC clocksource calibration: 3407.993 MHz
  [    1.413524] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x311fcd52370, max_idle_ns: 440795242006 ns
  [    1.414223] clocksource: Switched to clocksource tsc
  [    1.419640] bpf_testmod: loading out-of-tree module taints kernel.
  [    1.420025] bpf_testmod: module verification failed: signature and/or required key missing - tainting kernel
  #500/1   verifier_linked_scalars/scalars: find linked scalars:OK
  #500     verifier_linked_scalars:OK
  Summary: 1/1 PASSED, 0 SKIPPED, 0 FAILED
  [    1.590858] ACPI: PM: Preparing to enter system sleep state S5
  [    1.591402] reboot: Power down
  [...]

Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/bpf/20241016134913.32249-3-daniel@iogearbox.net
tools/testing/selftests/bpf/prog_tests/verifier.c
tools/testing/selftests/bpf/progs/verifier_linked_scalars.c [new file with mode: 0644]