BPF Verifier Visualizer
summary
BPF Verifier Visualizer (bpfvv) parses verifier log text and builds a model of instructions and states, offering a browser UI that shows C source mapping, register/stack values, and visualizes dependency chain so users click a value and jump to its origin. It already finds real bugs (e.g., LLVM reloading a checked register leading to an unbounded memory access; fix: add explicit bounds/barrier), scales to million-line logs with react-window, and integrates into MetaCI for automated debugging.
AI-written summary · about
chapters (7)
- 0:00Introduction to BPF Verifier Visualizer
- 2:10Problem with BPF Verifier Logs
- 4:46BPF Verifier Visualizer Demo
- 12:18Use Case Analysis
- 17:01Tool Internals and React
- 19:07Integration with MetaCI
- 20:31Q&A Session
related talks
01h 06mOn-The-Fly Verification via Incremental, Interactive Abstract Interpretation wi...
21mLive Verification in an Interactive Proof Assistant
35mVisual Reasoning and Mental Maps in Elixir
21mPortable BPF with CO:RE
31mBuilding Your Own Kubectl Trace on Steroids Using BPF Libraries in Go, Rust, Python an...
26mCodeProber: Live Compiler Exploration
39mCheck your code with RefactorErl!
14mPFIS-V: Modeling Foraging Behavior in the Presence of Variants