ebpf-verifier
by vbpf
eBPF verifier based on abstract interpretation
AI summary
eBPF verifier
A tool that verifies the correctness of eBPF programs using an abstract interpretation approach
- stars
- 392
- forks
- 44
- watching
- 14
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
eBPF samples
This repository provides a collection of sample eBPF programs for analysis and testing purposes.
eBPF framework
An eBPF runtime framework providing a portable interpreter, JIT compiler, and abstraction layer for interacting with various eBPF systems
Erbpf detector
A tool designed to detect and protect against certain types of malicious eBPF bytecode
Kernel exploit demos
Demonstrates security vulnerabilities in the Linux kernel's eBPF system
iovisor/ubpf841
eBPF runtime
An eBPF VM that allows userspace execution of eBPF programs in a Linux kernel-independent way.
qmonnet/rbpf952
EBPF compiler
An eBPF program interpreter and JIT compiler written in Rust.
Code verifier
A tool for verifying the correctness and safety of C++ programs
MPLS filter demo
Demonstrates packet encapsulation and decapsulation with MPLS labels using eBPF
eBPF debugger
Provides remote access to eBPF programs and maps for debugging and metrics collection.
Vulnerability scanner
Automatically monitors dependencies for known vulnerabilities and generates reports on security issues
eBPF VM
An eBPF VM implementation in C
Hardware eBPF implementation
An experiment to implement eBPF features in hardware using alternate HDLs and cheap development boards
eBPF viewer
A frontend application for exploring and interacting with eBPF (Extended Berkeley Packet Filter) systems
EBPF explorer
A tool to explore and visualize the eBPF subsystem of Linux hosts
eBPF library
Go bindings for creating eBPF programs and loading ELF files.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions ebpf-verifier.
