search

vbpf / ebpf-samples

Sample ebpf programs to analyze
91 stars 12 forks source link

Add test to check dependent reads #41

Closed Alan-Jowett closed 4 months ago

Alan-Jowett commented 9 months ago

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 commented 9 months ago

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

Alan-Jowett commented 9 months ago

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