Code Examples

Complementing the documentation here, there is a library of Jupyter notebooks (also available directly here) that show you how to use Batfish to analyze your network.

Basics

• Getting Started with Batfish
• Pandas Examples
• Validating Configuration Settings with Batfish
• Uncovering Configuration and Behavior Drift

ACLs and firewalls

• Analyzing ACLs and firewall rules with Batfish
• Provably safe ACL and firewall rule changes
• Safely refactoring ACLs and firewall rules

Routing analysis

• Introduction to Route Computation and Analysis using Batfish
• Introduction to BGP Analysis using Batfish
• Analyzing BGP Route Policies

Forwarding analysis

• Introduction to Forwarding Analysis using Batfish
• Introduction to Forwarding Change Validation

Failure-impact analysis

• Analyzing the Impact of Failures (and letting loose a Chaos Monkey)

Cloud networking

• Analyzing public cloud and hybrid networks