New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add failing test for dependent read #575

Merged

elazarg merged 1 commit into vbpf:main from Alan-Jowett:dependent_read_repro

Jan 25, 2024

Contributor

Alan-Jowett commented Jan 23, 2024

This failure is the simplified version of a failure that was hit while verifying a Cilium program.

Short version:
Packet length is checked and if >= 4, register R5 is set to 1.
If register r5 == 1 then the first 4 bytes are accessed.

This passes on Linux, but fails on Prevail.


          Add failing test for dependent read

08fe54d

Signed-off-by: Alan Jowett <[email protected]>

coveralls commented Jan 23, 2024

coverage: 89.651% (-0.01%) from 89.662%
when pulling 08fe54d on Alan-Jowett:dependent_read_repro
into 8b0c660 on vbpf:main.

elazarg merged commit e8047ca into vbpf:main

13 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet