Skip to content
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.

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

Investigate if there is a potential code path where verifier validates a bpf byte code that passes null pointer to a map helper function. #4017

Open
Alan-Jowett opened this issue Nov 15, 2024 · 0 comments
Assignees
Labels
optimization Affects perf but not correctness or applicability P2 tests triaged Discussed in a triage meeting
Milestone

Comments

@Alan-Jowett
Copy link
Member

During runs of the bpf2c fuzzer, there are crashes with NULL map pointers.

This is either a verifier bug or a bpf2c bug, needs to be investigated.

@shankarseal shankarseal added triaged Discussed in a triage meeting tests P3 labels Nov 18, 2024
@shankarseal shankarseal added this to the 2502 milestone Nov 18, 2024
@shankarseal shankarseal added P1 and removed P3 labels Nov 18, 2024
@shankarseal shankarseal modified the milestones: 2502, 2411 Nov 18, 2024
@shankarseal shankarseal changed the title bpf2c fuzzer crashes with null map pointer Investigate if there is a potential code path where verifier validates a bpf byte code that passes null pointer to a map helper function. Nov 18, 2024
@shankarseal shankarseal added optimization Affects perf but not correctness or applicability P2 and removed P1 labels Nov 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
optimization Affects perf but not correctness or applicability P2 tests triaged Discussed in a triage meeting
Projects
None yet
Development

No branches or pull requests

2 participants