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/

Batfish Course 2.0: ✅ Automated impact analysis complete

Made a few commits into Batfish this week and learned about ANTLR. Pretty cool stuff, looking forward to more of all that.

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/36…

@Bortok @ntdvps Hey, we welcome contributions. Check out our revamped developer docs: github.com/batfish/batfis…

@ntdvps @batfish_ Yes unfortunately. A lot of “no we don’t support this” answers on their slack, too

With @batfish_ move under the aws wing do you get a feeling they stopped being visible much lately?

@ntdvps We are around on GitHub and Slack just as much, less on Twitter

Network configuration testing is a logical automation extension for teams. @saidvandeklunde shows how to use @batfish_, @pandas_dev and @pytestdotorg tools for this process. saidvandeklundert.net/2023-01-05-bat…

Wrote something about an awesome tool called @batfish_ : saidvandeklundert.net/2023-01-05-bat…

New to batfish? Check out this @packetpushers podcast starring @rickjdon. packetpushers.net/podcast/heavy-…

Great read! This feature highlights Batfish use cases and references our recent Network & Routing Verification with Batfish webinar, starring NTC's Jeff Kala! techtarget.com/searchnetworki…

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/regist…

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/… and a short video at youtube.com/watch?v=FcBD2L…

It integrates nicely with (py)batfish and requires minimal changes to your existing test code.

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/regist…

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/regist…

Yet another massive outage due to an avoidable routing configuration error. Yet another failure of a large infra provider to use proper testing.

@imperialwizard_ @networkservice hey, @imperialwizard_ - let us know how it goes!

get those safeguards for free @ batfish.org then have your org contact @intentionet and sure Ill shut up about it when y’all deploy it and the preventable outages stop

And with Batfish you can do much more than path verification, for both cloud and non-cloud networks and all before you change the network!

Yes, looks like a text book case for Batfish

Love the transparency @Cloudflare. #batfish was built to prevent these exact issues - batfish.readthedocs.io/en/latest/note…