Welcome to the Batfish documentation!¶
- Setup
- Interacting with the Batfish service
- Batfish Questions
- Format of vendor and supplemental data
- Advanced Concepts
- Batfish Commands
- Datamodel classes
- System Requirements for running Batfish
- Supported Network Device and Operating System List
- Code Examples
- Getting Started with Batfish
- Validating Configuration Settings with Batfish
- Analyzing ACLs and firewall rules with Batfish
- Provably safe ACL and firewall rule changes
- Safely refactoring ACLs and firewall rules
- Introduction to Route Computation and Analysis using Batfish
- Introduction to BGP Analysis using Batfish
- Analyzing BGP Route Policies
- Introduction to Forwarding Analysis using Batfish
- Introduction to Forwarding Change Validation
- Analyzing the Impact of Failures (and letting loose a Chaos Monkey)
- Analyzing public cloud and hybrid networks