Welcome to the Batfish documentation!

• Setup
  • Installing Batfish and Pybatfish
  • Upgrading Batfish and Pybatfish
• Interacting with the Batfish service
  • Python Imports
  • Sessions
  • Uploading configurations
  • Using an existing snapshot
  • Loading Questions
  • Running Questions
• Batfish Questions
  • Configuration Properties
  • Topology
  • Routing Protocols
  • Routing and Forwarding Tables
  • Packet Forwarding
  • Access-lists and firewall rules
  • Snapshot Input
  • VXLAN and EVPN
  • Resolving Specifiers
  • Differential Questions
• Format of vendor and supplemental data
  • Vendor formats
  • Batfish data formats
• Advanced Concepts
  • Specifier grammars
  • Assertion helpers
  • Using Reference Books
• Batfish Commands
  • Networks
  • Snapshots
  • Reference Library
  • Diagnostics
• Datamodel classes
  • Base Types
  • ACL Traces
  • Flows and Packets
  • Reference Library
  • Routes
  • Misc question outputs
• 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
  • 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

Indices and tables

• Index

• Module Index

• Search Page