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
  • IPSec Tunnels
  • 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
  • Basics
  • ACLs and firewalls
  • Routing analysis
  • Forwarding analysis
  • Failure-impact analysis
  • Cloud networking

Indices and tables

• Index

• Module Index

• Search Page