Batfish

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

[Russ White @rtggeek]

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.

https://t.co/copkBQlqWx

[Rick Donato @rickjdon]

Batfish Course 2.0:
✅ Automated impact analysis complete

[Said van de Klundert @saidvandeklunde]

Made a few commits into Batfish this week and learned about ANTLR.

Pretty cool stuff, looking forward to more of all that.

[Ratul Mahajan @ratulm]

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.

https://t.co/lj0pkjtQOB

[Batfish @batfish_]

@Bortok @ntdvps Hey, we welcome contributions. Check out our revamped developer docs: https://t.co/jcJ6nNFo9e

[Batfish @batfish_]

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

[Steve Puluka @spuluka]

Network configuration testing is a logical automation extension for teams. @saidvandeklunde shows how to use @batfish_, @pandas_dev and @pytestdotorg tools for this process.

https://t.co/umFXFiEq2e

[Said van de Klundert @saidvandeklunde]

Wrote something about an awesome tool called @batfish_ : https://t.co/WSMtwskYHe

[Batfish @batfish_]

New to batfish? Check out this @packetpushers podcast starring @rickjdon.

https://t.co/aLD0UIzSV6

[Network to Code @networktocode]

Great read! This feature highlights Batfish use cases and references our recent Network & Routing Verification with Batfish webinar, starring NTC's Jeff Kala! https://t.co/1wSe99r8kA

[Network to Code @networktocode]

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! https://t.co/kdMmKqRdXd

[Ratul Mahajan @ratulm]

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 https://t.co/h4ByqhiurE and a short video at https://t.co/85bf0M2jpG

[Ratul Mahajan @ratulm]

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

[Network to Code @networktocode]

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: https://t.co/kdMmKqzCyD

[Network to Code @networktocode]

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: https://t.co/DMbsJjTfR1

[Ratul Mahajan @ratulm]

Yet another massive outage due to an avoidable routing configuration error.

Yet another failure of a large infra provider to use proper testing.

[Batfish @batfish_]

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

[Batfish @batfish_]

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!

[Ratul Mahajan @ratulm]

So cool to see network verification (slowly) becoming mainstream. 3 of 4 major cloud providers (AWS, GCP, and Oracle) now offer verification for their virtual networks.

Personally cool that Oracle's capability builds on Batfish: https://t.co/q1H63rrGWk

[Batfish @batfish_]

Yes, looks like a text book case for Batfish

[Aaron A. Glenn @networkservice]

this reads very much like something open source Batfish from @intentionet is designed to catch

[Batfish @batfish_]

Love the transparency @Cloudflare. #batfish was built to prevent these exact issues - https://t.co/VgSgIrTlXi