Alan Jowett

Support additional 64bit immediate instruction modes

4

https://www.ietf.org/archive/id/draft-ietf-bpf-isa-04.html#name-platform-variables The BPF ISA at the IETF defines various 64bit immediate loads: ``` 5.4. 64-bit immediate instructions Instructions with the IMM 'mode' modifier use the wide instruction encoding defined in...

Add support for static callback functions (used by bpf_for_each_map_elem, bpf_user_ringbuf_drain, bpf_timer_set_callback)

8

Linux supports passing BPF functions to helpers so that the runtime can then later invoke the static function. How would we support this in the verifier.

Add tests for issue 785

2

This pull request adds new test cases to the `test-data/loop.yaml` file, which help in identifying issues related to loop verification in the eBPF verifier. The most important changes include adding...

```yaml test-case: Count down loop - incorrectly passes options: ["termination"] pre: [] code: : | r0 = 0 r1 = 10 : | r1 -= 1 if r1 > 1...

Pathological BPF program can force long verification times

4

Test case that causes the verifier to hang ```yaml test-case: Found by fuzzing options: ["termination"] pre: [] code: : | r0 = 0 r1 = 10 : | w1 -=...

Test case that triggers it ```yaml test-case: 32bit multiplication - uninitialized register pre: [] code: : | w0 *= 1207967752 w0 *= r0 post: [] message: [] ```

Regression in global variable handling

1

Source code: ```c // Note: // .rodata section is read-only data section and has size of 4 bytes (int) // .data section is data section and has size of 8...

Add support for resolving helper functions by name instead of by id

12

Resolves: #938 This pull request introduces support for external helper function calls in eBPF programs on Linux. The main changes involve adding logic to resolve external helper functions by name,...

The new CO-RE code added to prevail isn't getting tested

1

Checking code coverage it shows that this new code isn't being covered: https://coveralls.io/builds/76269414/source?filename=src%2Felf_loader.cpp#L795 I also ran it under the debugger and it never gets hit. Do we know how to...

The eBPF verifier should support resolving helper function calls by symbolic name through ELF relocations while maintaining full backward compatibility with existing numeric ID-based calls. The implementation should add a...