Shows how to get started and provides an overview of the capabilities of Batfish.
Shows how to validate different types of configuration settings (NTP server, TACACS server, AAA, SNMP, etc...) using Batfish.
Shows how to analyze ACLs and firewalls rules using Batfish.
Shows a workflow to ensure changes to ACLs and firewall rules are correct and safe.
Shows how forwarding paths can be analyzed using traceroute and reachability queries.
Shows a workflow to ensure that changes to the network do not impact packet forwarding.
Shows how to analyze the impact of failures on the network and conduct Chaos Monkey style testing.
Shows how to analyze routing tables computed by Batfish.
Selected Community Resources
Unleashing the Batfish (Part 1: Configuration Analysis)
Rick Donato (@packetflow1)
Talk at NANOG75: Using open source tools to validate network configuration
Daniel Halperin (@dhalperi)
Webinar: Validating Pre-Commit Network Configuration Changes at Scale with Batfish and Ansible[Code]
Andrius Benokraitis (RedHat, @andriusb), Ratul Mahajan (@ratulm), Samir Parikh (@saparikh)
Blog: Building a network CI pipeline with Gitlab, Ansible, cEOS, Robot Framework and Batfish (Signup required)[Code]
Michael Kashin (Arista, @networkop1)
Blog: Introduction of tool "Batfish" which can read various configurations of network equipment and can perform various verification such as routing (In Japanese)
Yokochi (@akira6592 )
Blog: Batfish introduction
Ruari Carrol (Twitter, @rucarrol)