microsoft / microsoft/ebpf-for-windows
netsh ebpf verify option should be enhanced to print the control flow graph for easier bpf program debugging
Open
Nobody has claimed this yet.
ebpftool
enhancement
help wanted
triaged
- Dominant language
- C
- Stars
- 3.6k
- Forks
- 311
- Avg merge
- 6d 10h
- Merged PRs (30d)
- 21
Description
Prevail check.exe provides an option to print out the control flow graph. See https://github.com/vbpf/ebpf-verifier/blob/cda18c05695f8a79ddaea3ebb1f7fa023ac51c8c/src/main/check.cpp#L64.
This could be useful for debugging why the verifier fails an input bpf program.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the netsh eBPF verify option and compare its behavior with Prevail check.cpp at the referenced line. Confirm the expected control-flow-graph output and verify the enhanced command on a BPF program, including a failing verification case.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- cli, devtools, operating-systems
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 38/100