Skip to content

@eBPF-Verifier eBPF

Change the repository type filter

All

    Repositories list

    29 repositories

    • metaflow

      Public
      DeepFlow is an automated observability platform for cloud-native developers.
      Go
      •
      Apache License 2.0
      •334•0•0•0•Updated Sep 30, 2022Sep 30, 2022

    • hello-libbpfgo

      Public
      examples for libbpf and libbpfgo
      Makefile
      •
      MIT License
      •25•0•0•0•Updated Sep 23, 2022Sep 23, 2022

    • libbpfgo

      Public
      eBPF library for Go. Powered by libbpf.
      Go
      •
      Apache License 2.0
      •94•0•0•0•Updated Sep 21, 2022Sep 21, 2022

    • eBPFVerifier

      Public
      Documents and Progress for eBPF Verifier Project
      BSD 3-Clause "New" or "Revised" License
      •0•4•0•0•Updated Sep 16, 2022Sep 16, 2022

    • dwarves

      Public
      Pahole and the dwarves
      C
      •
      GNU General Public License v2.0
      •53•0•0•0•Updated Sep 14, 2022Sep 14, 2022

    • libbpf-bootstrap

      Public
      Scaffolding for BPF application development with libbpf and BPF CO-RE
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •301•0•0•0•Updated Sep 14, 2022Sep 14, 2022

    • ghost-kernel

      Public
      C
      •
      Other
      •42•0•0•2•Updated Jul 19, 2022Jul 19, 2022

    • pmu-tools

      Public
      Intel PMU profiling tools
      Python
      •
      GNU General Public License v2.0
      •340•0•0•0•Updated Apr 8, 2022Apr 8, 2022

    • wg-lfscs

      Public
      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.
      13•0•0•0•Updated Mar 30, 2022Mar 30, 2022

    • intel-cmt-cat

      Public
      User space software for Intel(R) Resource Director Technology
      C
      •
      Other
      •184•0•0•0•Updated Mar 22, 2022Mar 22, 2022

    • ebpf-samples

      Public
      Sample ebpf programs to analyze
      C
      •12•0•0•0•Updated Feb 25, 2022Feb 25, 2022

    • linux

      Public
      Linux kernel source tree
      C
      •
      Other
      •54k•0•0•0•Updated Feb 9, 2022Feb 9, 2022

    • crab

      Public
      CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses
      C++
      •
      Apache License 2.0
      •32•0•0•0•Updated Jan 29, 2022Jan 29, 2022

    • maestro

      Public
      Maestro: Kubernetes Game Room Scheduler
      Go
      •15•0•0•0•Updated Jan 28, 2022Jan 28, 2022

    • mizar

      Public
      Mizar – Experimental, High Scale and High Performance Cloud Network https://mizar.readthedocs.io
      Python
      •
      GNU General Public License v2.0
      •50•0•0•0•Updated Jan 26, 2022Jan 26, 2022

    • pitaya

      Public
      Scalable game server framework with clustering support and client libraries for iOS, Android, Unity and others through the C SDK.
      Go
      •
      MIT License
      •480•0•0•0•Updated Jan 26, 2022Jan 26, 2022

    • eurosys-kfuse-artifact

      Public
      Shell
      •3•0•0•0•Updated Jan 24, 2022Jan 24, 2022

    • phasar

      Public
      A LLVM-based static analysis framework.
      C++
      •
      Other
      •142•0•0•0•Updated Jan 21, 2022Jan 21, 2022

    • installfest

      Public
      Documentation and resources for Cilium Installfest
      3•0•0•0•Updated Jan 18, 2022Jan 18, 2022

    • libbpf

      Public
      Automated upstream mirror for libbpf stand-alone build.
      C
      •
      Other
      •421•0•0•0•Updated Jan 15, 2022Jan 15, 2022

    • bcc

      Public
      BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
      C
      •
      Apache License 2.0
      •3.9k•0•0•0•Updated Jan 13, 2022Jan 13, 2022

    • cilium

      Public
      eBPF-based Networking, Security, and Observability
      Go
      •
      Apache License 2.0
      •3k•0•0•0•Updated Jan 7, 2022Jan 7, 2022

    • bpftrace

      Public
      High-level tracing language for Linux eBPF
      C++
      •
      Apache License 2.0
      •1.4k•0•0•0•Updated Jan 5, 2022Jan 5, 2022

    • ebpf-verifier

      Public
      A new eBPF verifier, using abstract interpretation
      C++
      •
      MIT License
      •44•0•0•0•Updated Dec 22, 2021Dec 22, 2021

    • atc-scheduler

      Public
      C
      •6•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • superopt

      Public
      A superoptimizing compiler for packet-processing
      C++
      •
      MIT License
      •3•0•0•0•Updated Oct 26, 2021Oct 26, 2021

    • bpftools

      Public
      BPF Tools - packet analyst toolkit
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •142•0•0•0•Updated Aug 18, 2021Aug 18, 2021

    • sigcomm21_artifact

      Public
      SIGCOMM 2021 artifact
      Shell
      •4•0•0•0•Updated Jul 8, 2021Jul 8, 2021

    • bpf-perf-tools-book

      Public
      Official repository for the BPF Performance Tools book
      Python
      •286•0•0•0•Updated May 6, 2020May 6, 2020