anubhavnidhi / batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
☆13Updated 2 years ago
Alternatives and similar repositories for batfish:
Users that are interested in batfish are comparing it to the libraries listed below
- Mining Network Specifications from Network Configurations☆30Updated 4 years ago
- Tool using automatic template inference to find network misconfigurations☆12Updated 4 years ago
- A framework for automated testing of network analysis and verification tools.☆16Updated 4 years ago
- ☆10Updated 2 years ago
- Prototyping networks with P4☆22Updated 5 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆37Updated 6 years ago
- NS3 support for P4 programs using bmv2☆33Updated 6 years ago
- ☆25Updated 3 years ago
- Data repository of NAssim☆25Updated 2 years ago
- Flash Artifact for SIGCOMM22☆14Updated 2 years ago
- Do Switches Dream of Machine Learning?, HotNets 2019☆62Updated 5 years ago
- Data sets for experiments and performance evaluations of Delta-net☆11Updated 4 years ago
- SyNET Network-wide Configuration Synthesis☆27Updated 7 years ago
- FANcY: FAst In-Network GraY Failure Detection for ISPs☆21Updated 2 years ago
- ☆34Updated 4 years ago
- Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.☆14Updated 3 years ago
- DEPRECATED - Please check the more recent NG-SDN tutorial (advanced branch): https://github.com/opennetworkinglab/ngsdn-tutorial/tree/adv…☆52Updated 4 years ago
- IntSight: Diagnosing SLO Violations with In-Band Network Telemetry☆13Updated 2 years ago
- Simple client-server application for generating user-defined traffic patterns.☆54Updated 10 years ago
- ☆23Updated 4 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆32Updated 3 years ago
- Practical Real-time Microburst Monitoring for Datacenter Networks☆15Updated 5 years ago
- "Offloading Real-time DDoS Attack Detection to Programmable Data Planes" P4 description☆36Updated 4 years ago
- PrintQueue: Performance Diagnosis via Queue Measurement in the Data Plane☆18Updated last year
- An implementation of In-Band Network Telemetry in P4☆19Updated 3 years ago
- ☆24Updated 8 months ago
- ☆30Updated 4 years ago
- Benchmark for evaluating LLMs in network configuration problems.☆22Updated 3 weeks ago
- In-band Telemetry (INT) implementation for bmv2 and TOFINO platforms.☆41Updated 2 years ago
- Aggregate-Based Congestion Control for Pulse-Wave DDoS Defense☆50Updated 2 years ago