dslab-epfl / ebpf-seView external linksLinks
Tool to symbolically execute eBPF programs
☆17Mar 5, 2024Updated last year
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 6, 2026Updated last week
- Repo for Performance Interfaces for Hardware Accelerators.☆16Aug 19, 2025Updated 5 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☆55Updated this week
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- Dalamud Plugin that synchronizes your character data to one main character.☆15Jul 11, 2024Updated last year
- P4 simulator module☆19Feb 3, 2026Updated last week
- A Programmable Hardware Architecture for Network Transport Logic☆36Oct 26, 2021Updated 4 years ago
- ☆44Jul 8, 2024Updated last year
- 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
- Jewel: Resource-Efficient Joint Packet and Flow Level Inference in Programmable Switches☆12Mar 18, 2024Updated last year
- A Throughput-Centric View of the Performance of Datacenter Topologies [SIGCOMM'21]☆10May 25, 2021Updated 4 years ago
- Tracks cross references and allows fast viewing of pseudocode between references☆13Mar 10, 2025Updated 11 months ago
- 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
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54May 26, 2025Updated 8 months ago
- WinDbg Symbols Caching Proxy.☆17Feb 3, 2026Updated last week
- Develop macOS apps on Windows with seamless cross-platform tools.☆15Jun 5, 2025Updated 8 months ago
- 💻 CMake function that wrap macdeployqt, deploy dmg and pkg.☆11Jan 8, 2026Updated last month
- ☆12Nov 26, 2019Updated 6 years ago
- Control Orchestration Protocol☆10May 12, 2017Updated 8 years ago
- an External Function Auto-Completion Tool to Strengthen the Static Binary Lifting☆13May 13, 2024Updated last year
- オリジナルの漢字テストを作成するWebアプリ☆12Mar 5, 2024Updated last year
- Multiplayer snake game written at a single weekend☆13Jul 10, 2019Updated 6 years ago
- ☆11Sep 10, 2021Updated 4 years ago
- A synthetic CPU load generator☆13Dec 23, 2020Updated 5 years ago
- ☆12Oct 16, 2021Updated 4 years ago
- Artemis Academy capstone project☆10Sep 10, 2022Updated 3 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- ☆10Mar 31, 2023Updated 2 years ago
- Font repository for fixedsys family fonts☆12Jul 1, 2022Updated 3 years ago