Discussions

• 1 You must be logged in to vote

  💡

  Mitigating Linux verifier bugs using Prevail?

  luisgerhorst started Jan 14, 2025 in Ideas

  

  

  1
• 1 You must be logged in to vote

  🙏

  Understanding the ebpf-verifier output

  amurgZainar asked Jan 12, 2025 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Register states before and after each instruction

  aagontuk asked Sep 3, 2024 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  💬

  Can loop.c pass the test.

  l754205217 started May 5, 2023 in General

  

  

  0
• 2 You must be logged in to vote

  💬

  eBPF byte code and x64 machine code equivalence

  Alan-Jowett started Feb 7, 2022 in General

  

  

  

  

  12
• 1 You must be logged in to vote

  💬

  Welcome to ebpf-verifier Discussions!

  elazarg started Dec 8, 2020 in General

  

  

  0