pybatfish
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
pybatfish
Welcome to the Batfish documentation!
View page source
Welcome to the Batfish documentation!
Setup
Installing Batfish and Pybatfish
Upgrading Batfish and Pybatfish
Interacting with the Batfish service
Python Imports
Sessions
Uploading configurations
Running Questions
Logging
Batfish Questions
Configuration Properties
Topology
Routing Protocol Sessions and Policies
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
Device configuration formats
Supplemental data formats
Advanced Concepts
Specifier grammars
Assertion helpers
Using Reference Books
Configuration file annotation
Batfish Commands
Networks
Snapshots
Reference Library
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