Tool to symbolically execute eBPF programs
☆17Mar 5, 2024Updated 2 years ago
Alternatives and similar repositories for ebpf-se
Users that are interested in ebpf-se are comparing it to the libraries listed below
Sorting:
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆17Jul 14, 2022Updated 3 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago
- Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22☆35Apr 11, 2024Updated last year
- Telco pIPeline benchmarking SYstem☆19Feb 25, 2026Updated last week
- Repo for Performance Interfaces for Hardware Accelerators.☆16Aug 19, 2025Updated 6 months ago
- Tutorial files for using OpenNetVM☆17Aug 24, 2018Updated 7 years ago
- This repository contains the source code for P4TG, a 1 Tb/s traffic generator for Ethernet/IP networks☆56Feb 27, 2026Updated last week
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- P4-driven network simulator integrating P4 programmability with ns-3.☆22Feb 23, 2026Updated last week
- Dalamud Plugin that synchronizes your character data to one main character.☆15Jul 11, 2024Updated last year
- A Programmable Hardware Architecture for Network Transport Logic☆36Oct 26, 2021Updated 4 years ago
- ☆44Jul 8, 2024Updated last year
- A Low-Impact Internal Latency Measurement Tool for OpenAirInterface☆11Sep 13, 2023Updated 2 years ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- Python script to send SMS using Huawei new[er] USB dongles via the HTTP interface☆11Jul 10, 2017Updated 8 years ago
- Python module for the qwiic serial control motor driver☆10Mar 19, 2025Updated 11 months ago
- Jewel: Resource-Efficient Joint Packet and Flow Level Inference in Programmable Switches☆12Mar 18, 2024Updated last year
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- Short Python script for parsing Defender VDM signature files.☆10Sep 22, 2024Updated last year
- This is an implementation of PartitionSort as described in "A Sorted-Partitioning Approach to Fast and Scalable Dynamic Packet Classifica…☆10Dec 6, 2016Updated 9 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- Tracks cross references and allows fast viewing of pseudocode between references☆13Mar 10, 2025Updated 11 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54May 26, 2025Updated 9 months ago
- Multiplayer snake game written at a single weekend☆13Jul 10, 2019Updated 6 years ago
- ☆11Mar 8, 2025Updated 11 months ago
- ☆12Oct 16, 2021Updated 4 years ago
- Self-hosting binary instrumentation framework for security research☆12Apr 10, 2023Updated 2 years ago
- Helper tool to generate a best-fit "clang-format style" for your project☆11Mar 21, 2020Updated 5 years ago
- A Delphi symbol name recovery tool for reverse engineers.☆23Jan 17, 2026Updated last month
- Small micro-coded RISC-V softcore☆15Nov 27, 2018Updated 7 years ago
- Platform Certificate Validation Tool - TPM 2.0☆11Dec 9, 2018Updated 7 years ago
- Simple single-digit-nanosecond-overhead tracer☆18Apr 30, 2025Updated 10 months ago
- Ultimate DPDK System Enabling Expert☆11May 3, 2019Updated 6 years ago
- HMAC-SHA-256 C++11 library designed for embedded systems☆12Oct 19, 2023Updated 2 years ago
- A Throughput-Centric View of the Performance of Datacenter Topologies [SIGCOMM'21]☆10May 25, 2021Updated 4 years ago
- Develop macOS apps on Windows with seamless cross-platform tools.☆16Jun 5, 2025Updated 9 months ago
- オリジナルの漢字テストを作成するWebアプリ☆12Mar 5, 2024Updated 2 years ago
- RE for champions☆15Updated this week
- Cost-aware network traffic analysis☆13Dec 20, 2023Updated 2 years ago