eBPF (eBPF-Verifier)

eBPF

eBPF-Verifier

Geek Repo

eBPF related

Github PK Tool:Github PK Tool

eBPF's repositories

eBPFVerifier

Documents and Progress for eBPF Verifier Project

License:BSD-3-ClauseStargazers:3Issues:0Issues:0

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

bpftools

BPF Tools - packet analyst toolkit

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

bpftrace

High-level tracing language for Linux eBPF

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

dwarves

Pahole and the dwarves

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

ebpf-samples

Sample ebpf programs to analyze

Language:CStargazers:0Issues:0Issues:0

hello-libbpfgo

examples for libbpf and libbpfgo

Language:MakefileLicense:MITStargazers:0Issues:0Issues:0

installfest

Documentation and resources for Cilium Installfest

Stargazers:0Issues:0Issues:0

intel-cmt-cat

User space software for Intel(R) Resource Director Technology

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

libbpf

Automated upstream mirror for libbpf stand-alone build.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

libbpfgo

eBPF library for Go. Powered by libbpf.

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

metaflow

DeepFlow is an automated observability platform for cloud-native developers.

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

superopt

A superoptimizing compiler for packet-processing

Language:C++License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

bpf-perf-tools-book

Official repository for the BPF Performance Tools book

Stargazers:0Issues:0Issues:0

cilium

eBPF-based Networking, Security, and Observability

License:Apache-2.0Stargazers:0Issues:0Issues:0

crab

CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses

License:Apache-2.0Stargazers:0Issues:0Issues:0

ebpf-verifier

A new eBPF verifier, using abstract interpretation

License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

libbpf-bootstrap

Scaffolding for BPF application development with libbpf and BPF CO-RE

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

linux

Linux kernel source tree

License:NOASSERTIONStargazers:0Issues:0Issues:0

maestro

Maestro: Kubernetes Game Room Scheduler

Stargazers:0Issues:0Issues:0

mizar

Mizar – Experimental, High Scale and High Performance Cloud Network https://mizar.readthedocs.io

License:GPL-2.0Stargazers:0Issues:0Issues:0

phasar

A LLVM-based static analysis framework.

License:NOASSERTIONStargazers:0Issues:0Issues:0

pitaya

Scalable game server framework with clustering support and client libraries for iOS, Android, Unity and others through the C SDK.

License:MITStargazers:0Issues:0Issues:0

pmu-tools

Intel PMU profiling tools

License:GPL-2.0Stargazers:0Issues:0Issues:0

sigcomm21_artifact

SIGCOMM 2021 artifact

Stargazers:0Issues:0Issues:0

wg-lfscs

Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification.

Stargazers:0Issues:0Issues:0