Code

Fix stack access with bpf2bpf calls#721

Code

Merged

elazarg merged 13 commits intovbpf:mainvbpf/ebpf-verifier:mainfrom dthaler:bpf2bpf-stackdthaler/ebpf-verifier:bpf2bpf-stackCopy head branch name to clipboardNov 4, 2024

+274-83

Commits

Commits on Nov 4, 2024

• Add test case

  Show description for 12213af
  dthaler

  committed
  12213af

  Copy full SHA for 12213af

• Update r10 for call local and exit

  Show description for 22412d3
  dthaler

  committed
  22412d3

  Copy full SHA for 22412d3

• Havoc stack on return from a subprogram

  Show description for dfe844f
  dthaler

  committed
  dfe844f

  Copy full SHA for dfe844f

• Increase subprogram stack size to 512

  Show description for 095897f
  dthaler

  committed
  095897f

  Copy full SHA for 095897f

• Add test case with multiple stack levels

  Show description for 7cc4684
  dthaler

  committed
  7cc4684

  Copy full SHA for 7cc4684

• Add test case for accessing beyond end of subprogram stack

  Show description for f72a8e1
  dthaler

  committed
  f72a8e1

  Copy full SHA for f72a8e1

• Simplify code

  Show description for 7a69bbc
  dthaler

  committed
  7a69bbc

  Copy full SHA for 7a69bbc

• Don't change r10

  Show description for 3ef32ba
  dthaler

  committed
  3ef32ba

  Copy full SHA for 3ef32ba

• Address coderabbit suggestions

  Show description for cfb5d00
  dthaler

  committed
  cfb5d00

  Copy full SHA for cfb5d00

• Fix bug hit by a test

  Show description for 9f4c51c
  dthaler

  committed
  9f4c51c

  Copy full SHA for 9f4c51c

• Update comment per coderabbit suggestion

  Show description for 481e935
  dthaler

  committed
  481e935

  Copy full SHA for 481e935

• clang-format and tidy

  Show description for 33bd81a
  elazarg

  committed
  33bd81a

  Copy full SHA for 33bd81a

• revert to memcpy, add requires(trivially_copyable)

  Show description for 969c455
  elazarg

  committed
  969c455

  Copy full SHA for 969c455