Batfish (@batfish_) header
Batfish (@batfish_) profile picture

Batfish enables networks engineers to design and test networks like software, rapidly and without fear of outages and breaches.

Joined May 2017
Photo by Batfish (@batfish_)Photo by Batfish (@batfish_)Photo by Batfish (@batfish_)Photo by Batfish (@batfish_)Photo by Batfish (@batfish_)Photo by Batfish (@batfish_)Photo by Batfish (@batfish_)Photo by Batfish (@batfish_)Photo by Batfish (@batfish_)Photo by Batfish (@batfish_)
Network configuration analysis has always been the domain of commercial-grade software. Batfish changes all that with an open source, community-supported tool that can find errors and guarantees the correctness of planned or current network configurations. Ratul Mahajan joins Tom Ammon and Russ White to talk about this new tool, its capabilities, and the importance of network configuration analysis. rule11.tech/hedge-213/
8
3
35
10,261
Batfish Course 2.0: ✅ Automated impact analysis complete
2
6
23
2,635
Made a few commits into Batfish this week and learned about ANTLR. Pretty cool stuff, looking forward to more of all that.
1
1
9
1,384
At SIGCOMM '23 tomorrow, Dan Halperin will present a paper that I can only describe as labor of love. It describes our key learnings while turning @batfish_ from a research toy to an industrial-strength network verification tool. dl.acm.org/doi/10.1145/36032…
7
16
2
89
13,594
NEXT WEEK! Save your seat for our next community webinar! You'll get to see how to perform routing verification checks and learn how you can start to create your own checks with Batfish! us02web.zoom.us/webinar/regi…
3
5
Have you ever wondered how well you are testing network configurations? Are you exercising all clauses of important route maps? Xieyang Xu just released NetCov tool to do just that! Check out the code at github.com/UWNetworksLab/net… and a short video at youtube.com/watch?v=FcBD2Lhx…
1
2
11
It integrates nicely with (py)batfish and requires minimal changes to your existing test code.
1
1
Join us for our next community Batfish webinar on September 13th! Our Jeff Kala & Ken Celenza will show you how to analyze routing policies & create custom queries with Batfish! Learn more and register here: us02web.zoom.us/webinar/regi…
2
8
Community Webinar! Join us on August 18th to learn about an open source project called Batfish and how it can be used to automate the clean-up process of your firewall policies! Learn more and register here: us02web.zoom.us/webinar/regi…
7
1
16
Yet another massive outage due to an avoidable routing configuration error. Yet another failure of a large infra provider to use proper testing.
Replying to @atoonk
The information comes from the report @Rogers submitted as a reply to the Request for Information by the CRTC (Canadian Radio-television and Telecommunications Commission) A link to the report can be found here crtc.gc.ca/otf/eng/2022/8000…
3
2
12
Even more reasons to learn Pandas and use #batfish
Using Pandas with Batfish? Check out some common examples that we compiled in this notebook: pybatfish.readthedocs.io/en/…
1
2
Looking to automate your ACL analysis/validation? If so here's a quick example with #Batfish. #networkautomation @intentionet
3
13
🚀New dates released for our flagship 2-day Batfish Bootcamp. Learn more here: packetcoders.io/batfish-boot… @intentionet #networkautomation
2
1
Replying to @jedelman8 @ehorley
However, the story gets real interesting leveraging the Dolt-backed Version Control app too, ie. stage change in Nautobot branch, generate config, run BF tests, merge to "main" in Nautobot, etc. #NFD27
2
5
Pre-deployment validation of BGP changes would be a great toolkit toward better routing security.
Replying to @batfish_
Pre-deployment validation not only helps prevent incidents but also simplifies root-cause diagnosis and remediation. And what's more, no rollbacks are needed! Read about the benefits of pre-deployment validation: bit.ly/3HyrEgU
1
4
5
Been using Batfish for a few years now and the thing still blows my mind with what it can do 👍
4
9
Yea, I took a peek at your ANTLR grammars. Wow, it’s quite exhaustive.
1
3