ebpf-samples icon indicating copy to clipboard operation
ebpf-samples copied to clipboard

Add test to check dependent reads

Open Alan-Jowett opened this issue 1 year ago • 2 comments

Test to check behavior of dependent reads.

  1. Check that packet size is > 4 bytes.
  2. If true, set flag.
  3. If flag is set, access packet.
alanjo@alanjo-dev2:~/ebpf-verifier$ sudo ./check ebpf-samples/build/dependent_read.o --dom linux
1,0.000427,4996
alanjo@alanjo-dev2:~/ebpf-verifier$ sudo ./check ebpf-samples/build/dependent_read.o
0,0.008814,5024

Verification of this sample passes on Linux verifier, but fails with prevail.

Alan-Jowett avatar Jan 22 '24 23:01 Alan-Jowett

Need to account for different packet layout on Linux vs Windows.

Alan-Jowett avatar Jan 23 '24 00:01 Alan-Jowett

Working on getting a version that passes Linux verifier, but fails prevail.

Alan-Jowett avatar Jan 23 '24 00:01 Alan-Jowett