• Daniel Borkmann's avatar
    selftests/bpf: Add test case for delta propagation · db123e42
    Daniel Borkmann authored
    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: default avatarDaniel Borkmann <daniel@iogearbox.net>
    Signed-off-by: default avatarAndrii Nakryiko <andrii@kernel.org>
    Acked-by: default avatarEduard Zingerman <eddyz87@gmail.com>
    Link: https://lore.kernel.org/bpf/20241016134913.32249-3-daniel@iogearbox.net
    db123e42
verifier_linked_scalars.c 660 Bytes