ebpf-verifier

eBPF verifier

A tool that verifies the correctness of eBPF programs using an abstract interpretation approach

eBPF verifier based on abstract interpretation

GitHub
392 stars
14 watching
44 forks
Language: C++
last commit: 10 months ago
Linked from 1 awesome list

abstract-interpretationebpfebpf-verifierstatic-analyzer

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
vbpf/ebpf-samples This repository provides a collection of sample eBPF programs for analysis and testing purposes. 90
generic-ebpf/generic-ebpf An eBPF runtime framework providing a portable interpreter, JIT compiler, and abstraction layer for interacting with various eBPF systems 149
gui774ume/ebpfkit-monitor A tool designed to detect and protect against certain types of malicious eBPF bytecode 125
pathtofile/bad-bpf Demonstrates security vulnerabilities in the Linux kernel's eBPF system 556
iovisor/ubpf An eBPF VM that allows userspace execution of eBPF programs in a Linux kernel-independent way. 841
qmonnet/rbpf An eBPF program interpreter and JIT compiler written in Rust. 952
diffblue/cbmc A tool for verifying the correctness and safety of C++ programs 863
fzakaria/ebpf-mpls-encap-decap Demonstrates packet encapsulation and decapsulation with MPLS labels using eBPF 54
ebpfdev/dev-agent Provides remote access to eBPF programs and maps for debugging and metrics collection. 6
albuch/sbt-dependency-check Automatically monitors dependencies for known vulnerabilities and generates reports on security issues 266
iomartin/ubpf An eBPF VM implementation in C 0
rprinz08/hbpf An experiment to implement eBPF features in hardware using alternate HDLs and cheap development boards 403
ebpfdev/explorer-ui A frontend application for exploring and interacting with eBPF (Extended Berkeley Packet Filter) systems 2
ebpfdev/explorer A tool to explore and visualize the eBPF subsystem of Linux hosts 82
iovisor/gobpf Go bindings for creating eBPF programs and loading ELF files. 2,153