Hacker GitHub

← All repos

vbpf/prevail

View on GitHub ↗ ★ 473 C++

eBPF verifier based on abstract interpretation

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2021-05-10 · latest 2024-07-22

Mentions per year 4 mentions · busiest year 2023 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …that has formal small step semantics. The actual implementation isn't formally proven, however. 0: https://github.com/vbpf/ebpf-verifier
    comment by chc4 · 2024-07-22 · in No More Blue Fridays
  2. Thanks! This project can use a standalone eBPF verifier in this project: https://github.com/vbpf/ebpf-verifier It can also use kernel verifier to verify the programs, then “offload”the BPF byte code from kernel, and runs it in userspace.
    comment by yunwei37 · 2023-11-15 · in Bpftime: Userspace eBPF runtime for fast Uprobe and Syscall hook and Plugins
  3. No, not driver verifier. https://github.com/vbpf/ebpf-verifier
    comment by insanitybit · 2023-06-23 · in eBPF Verification Is Untenable
  4. …PREVAIL maintainers added program termination verification back in January 2021. Check it out at https://github.com/vbpf/ebpf-verifier
    comment by dthaler · 2021-05-10 · in eBPF on Windows