SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable protocol implementation.
☆20Aug 9, 2021Updated 4 years ago
Alternatives and similar repositories for sage
Users that are interested in sage are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- High-Speed Stateful Packet Processor for Programmable Switches☆13Dec 18, 2022Updated 3 years ago
- F# LL(k) Parser generator.☆12Oct 26, 2022Updated 3 years ago
- ☆12Feb 20, 2021Updated 5 years ago
- ☆19Feb 25, 2024Updated 2 years ago
- Slime是一个组合众多优秀安全工具的漏扫软件,它将目光集中在安全工具的组合上,而不是自己实现漏扫的某一流程。☆17Sep 9, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Decompiler Fuzzing Test with EMI mutation☆16Apr 23, 2020Updated 6 years ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- [NDSS 2024] ReqsMiner is an innovative fuzzing framework developed to discover previously unexamined inconsistencies in CDN forwarding re…☆25Jun 27, 2024Updated 2 years ago
- ☆10Apr 20, 2025Updated last year
- zero-overhead SSH protection at XDP speed. Guard your SSH like tyr guard the gates of asgard!☆11May 2, 2025Updated last year
- Triton for OpenCL backend, and use mlir-translate to get source OpenCL code☆27Aug 27, 2025Updated 11 months ago
- Code and datasets for the salesforce AI research paper on prompt leakage and multi-turn threats against LLMs☆21Jun 25, 2026Updated last month
- Speed up development of AF_XDP-based Network Functions☆14Jul 16, 2023Updated 3 years ago
- HTTP3-attacks (CVE-2022-30592)☆81Dec 18, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ebpf/xdp-based IPSec L2 load-balancer☆14Aug 3, 2023Updated 2 years ago
- ☆12Jul 4, 2023Updated 3 years ago
- Run your Binary Ninja Python console in a separate Terminal window.☆18Nov 1, 2018Updated 7 years ago
- Chaining of SR-aware and SR-unaware Service Functions☆10Apr 17, 2018Updated 8 years ago
- Divide-and-Conquer Attack: Harnessing the Power of LLM to Bypass the Censorship of Text-to-Image Generation Mode☆19Feb 16, 2025Updated last year
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated last year
- 基于阅读《奔跑吧Linux内核》的Linux 5.0内核源码注释☆10Mar 23, 2024Updated 2 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆30Feb 21, 2024Updated 2 years ago
- ☆12Sep 10, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Artifacts for ATC '22 paper "Faster Software Packet Processing on FPGA NICs with eBPF Program Warping"☆17May 20, 2022Updated 4 years ago
- A unification-based alias analysis and related tools☆35Oct 9, 2024Updated last year
- Automated build and mirror of eBPF kernel probes for use as a driver with the Falco runtime security agent (https://falco.org/)☆15Nov 18, 2024Updated last year
- ☆15Jan 7, 2023Updated 3 years ago
- Attacks against QUIC (CVE-2022-30591)☆27Dec 31, 2022Updated 3 years ago
- A nom-based ABNF parser.☆17Oct 21, 2022Updated 3 years ago
- ☆12Sep 28, 2020Updated 5 years ago
- Optimizing Directed Fuzzing via Target-tailored Program State Restriction☆31May 16, 2023Updated 3 years ago
- Generating P4 Code for the Application Layer☆15Sep 27, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Feb 17, 2023Updated 3 years ago
- an eBPF and XDP program example with libbpf☆15Aug 15, 2023Updated 2 years ago
- ☆26Jun 29, 2023Updated 3 years ago
- Bug detection framework for finding Finger tracable bugs in Linux☆20Mar 23, 2025Updated last year
- ☆10Aug 18, 2025Updated 11 months ago
- ☆14Nov 24, 2022Updated 3 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago