SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable protocol implementation.
☆19Aug 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:
- Automatic Test generator and Differential Tester for DNS Nameserver implementations☆35Sep 28, 2023Updated 2 years ago
- A system for automated discovery of congestion control attacks on TCP implementations☆19Aug 21, 2018Updated 7 years ago
- High-Speed Stateful Packet Processor for Programmable Switches☆13Dec 18, 2022Updated 3 years ago
- ☆20May 31, 2024Updated last year
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Feb 20, 2021Updated 5 years ago
- CveBinarySheet: A Comprehensive Pre-built Binaries Database Focused on IoT Vulnerability Scenarios☆17Jan 17, 2025Updated last year
- ☆11Oct 10, 2023Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 9 months ago
- State-based Network AttacK Explorer (SNAKE) code☆14Sep 6, 2019Updated 6 years ago
- 广州大学研究生学位论文非官方模板☆22Mar 19, 2025Updated last year
- Code and resources for model learning of network protocol implementations☆18Oct 26, 2023Updated 2 years ago
- ☆14Jun 10, 2025Updated 10 months ago
- 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.
- ☆15Feb 15, 2023Updated 3 years ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- Linq-like functions for Java Arraylist☆23Aug 1, 2019Updated 6 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 5 years ago
- [NDSS 2024] ReqsMiner is an innovative fuzzing framework developed to discover previously unexamined inconsistencies in CDN forwarding re…☆25Jun 27, 2024Updated last year
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- Code of our paper "Method-Level Bug Severity Prediction using Source Code Metrics and LLMs" which is accepted to ISSRE 2023.☆10Nov 12, 2023Updated 2 years ago
- ☆37Nov 13, 2025Updated 5 months ago
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆16Updated this week
- 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.
- ☆15Jul 25, 2019Updated 6 years ago
- zero-overhead SSH protection at XDP speed. Guard your SSH like tyr guard the gates of asgard!☆11May 2, 2025Updated last year
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆17Nov 15, 2012Updated 13 years ago
- Two-Level Collaborative Fuzzing for Python Runtimes☆19Nov 25, 2023Updated 2 years ago
- Formalisation of a capability machine and principles for reasoning about security properties☆27Mar 12, 2026Updated last month
- Speed up development of AF_XDP-based Network Functions☆14Jul 16, 2023Updated 2 years ago
- ebpf/xdp-based IPSec L2 load-balancer☆13Aug 3, 2023Updated 2 years ago
- A differential fuzzing framework for the QUIC protocol☆19Nov 21, 2023Updated 2 years ago
- Run your Binary Ninja Python console in a separate Terminal window.☆18Nov 1, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code for parsing out augmented packet header diagrams from IETF documents☆17Apr 22, 2026Updated 2 weeks ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validati…☆36Dec 20, 2025Updated 4 months ago
- ☆12Dec 29, 2022Updated 3 years ago
- Datanlord's RDMA nic driver☆12Sep 12, 2024Updated last year
- Chaining of SR-aware and SR-unaware Service Functions☆10Apr 17, 2018Updated 8 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago