eBPF Verification Is Untenable

• ebpf-verifier

  2 397 9.5 C++

  eBPF verifier based on abstract interpretation

  

  No, not driver verifier. https://github.com/vbpf/ebpf-verifier

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• ebpf-for-windows

  17 2,985 9.6 C

  eBPF implementation that runs on top of Windows

  

  This link is about a proposed new eBPF verifier for the Linux kernel that doesn't use signing. As a research project it is not integrated to the kernel, but their plan does not involve trusting user space (instead they suggest doing the heavy lifting of the verification in user space and provide a proof of safety that the kernel checks, which seems sensible to me).

  I believe you meant to link https://github.com/microsoft/ebpf-for-windows/ instead (discussed on HN recently) which is an implementation by Microsoft using the above research project that indeed does not follow the suggestion from the authors of the research project to use validation and does require trusting user space.

• bcc

  78 20,825 9.0 C

  BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

  

• libbpf

  6 2,255 9.4 C

  Automated upstream mirror for libbpf stand-alone build.

  

• xdp-tools

  3 676 8.4 C

  Utilities and example programs for use with XDP

  

• ebpf

  9 6,508 9.4 Go

  ebpf-go is a pure-Go library to read, modify and load eBPF programs and attach them to various hooks in the Linux kernel.

  

• opensnitch

  218 11,119 9.0 Python

  OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.

Suggest a related project