Dave Thaler
Dave Thaler
Reported by @Alan-Jowett The yaml-cpp subproject should build cleanly and should reach a quiescent build state. Building the solution always causes yaml-cpp to be rebuilt, which slows down testing in...
Symptom: "Upper bound must be at most packet_size (valid_access(r0.offset+33, width=1))" Where code is: ``` 2171: assert r7.type in {ctx, stack, packet, shared}; assert valid_access(r7.offset+32, width=4); r2 = *(u32 *)(r7 +...
Currently the verifier requires inner_map_idx field in the map definition. It was pointed out to me today that this appears to be old and a newer mechanism exists in Linux....
A question came up about whether the verifier supports alu32 subregister tracking for supporting clang mcpu=v3. Opening this issue to track the answer. If the answer is yes, then a...
Currently it seems that all helper functions are allowed by the verifier for all program types, and helper prototypes are unaware of the required context size. The net effect is...
https://www.man7.org/linux/man-pages/man7/bpf-helpers.7.html contains a number of helpers not recognized in the verifier currently. For example, bpf_spin_lock exists which has a bunch of restrictions/contraints that it seems the verifier would need to...
These changes were already in the Iotivity code base, and we're trying to unfork libcoap and have iotivity just use the regular libcoap library. These changes include support for draft-ietf-core-coap-tcp-tls...
https://bestpractices.coreinfrastructure.org/en can be used to get a badge for display on the main page.
https://github.com/xdp-project/xdp-tools is the main XDP library/api/tools for using XDP. In the eBPF for Windows project, we've been enabling the same bpftool source (with appropriate refactoring/ifdefs/etc) to run on eBPF for...
Fixes #386