☆50Mar 12, 2026Updated last month
Alternatives and similar repositories for agni
Users that are interested in agni are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Linux XDP based load balancer☆13Jan 12, 2021Updated 5 years ago
- A program analysis, verification, and optimization framework☆27Updated this week
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆26Sep 5, 2021Updated 4 years ago
- ☆19Jun 9, 2023Updated 2 years ago
- ☆36Mar 12, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Bug detection framework for finding Finger tracable bugs in Linux☆20Mar 23, 2025Updated last year
- µBPF - a framework for microcontroller compartmentalization using eBPF☆19Dec 1, 2024Updated last year
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- A tool to extract code content from source files using the clang and LLVM infrastructure.☆30Feb 24, 2026Updated last month
- uacatcher open source repo☆22Jul 22, 2023Updated 2 years ago
- Community contributed tools☆25Mar 17, 2026Updated 3 weeks ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆13Apr 21, 2024Updated last year
- tool of llm-based indirect-call analyzer☆30Feb 18, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Small LD_PRELOAD library to show allocation stats☆14Feb 12, 2026Updated 2 months ago
- ☆66Mar 25, 2026Updated 3 weeks ago
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities | 🏆 Best Practical Paper Award of RAID 2024☆83Oct 15, 2025Updated 6 months ago
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆53Jul 6, 2024Updated last year
- Measures the conformance of a BPF runtime to the ISA.☆37Updated this week
- eBPF Standard Documentation☆52Sep 14, 2024Updated last year
- A tool to help programmers debug and analyze Linux Kernel BPF verification failures.☆91Dec 3, 2025Updated 4 months ago
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆29Apr 1, 2026Updated 2 weeks ago
- xdperf is a high-performance network traffic generation tool that leverages XDP (eXpress Data Path).☆72Apr 6, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An OCaml extension for RISC-V☆16Nov 6, 2020Updated 5 years ago
- This project is a minimal eBPF-based Layer 4 (Transport Layer) network monitor that uses tc (Traffic Control) hooks to trace ingress and …☆30Aug 26, 2025Updated 7 months ago
- Vine: The BitBlaze Static Analysis Component☆26Sep 27, 2014Updated 11 years ago
- eBPF Security Monitoring Agent Based on Aya☆44Apr 7, 2026Updated last week
- The C4 Concurrent C Fuzzer☆14Nov 2, 2023Updated 2 years ago
- eBPF verifier based on abstract interpretation☆458Apr 5, 2026Updated last week
- Latr: Lazy Translation Coherence - ASPLOS'18☆17Nov 15, 2021Updated 4 years ago
- The Future of Interoperable eBPF Defined 5G Core (eDC)☆21Oct 23, 2025Updated 5 months ago
- Uncovering Container Confusion in the Linux Kernel☆46Feb 27, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- crash extension module for dumping page caches☆11Feb 3, 2025Updated last year
- libpulp enables live patching in user space applications.☆65Jan 27, 2026Updated 2 months ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨☆46Jul 18, 2024Updated last year
- An eBPF kernel Observable Agent To Spy Performance Issue On OS.☆13Oct 31, 2025Updated 5 months ago
- Restoration of The Linux Scheduler Simulator (LinSched)☆18Aug 23, 2021Updated 4 years ago
- Build a feature-less eBPF vm on eBPF, just for fun.☆16Mar 10, 2024Updated 2 years ago
- Spectre-based Meltdown attack (i.e. 2-in1) proof of concept in 99 lines of code. For more details see 'The Spectre of Meltdowns' present…☆14Jun 21, 2018Updated 7 years ago