Get the latest tech news

Batfish: OSS network configuration static analysis, find bugs, test correctness


Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely ...

Flag undefined-but-referenced or defined-but-unreferenced structures (e.g., ACLs, route maps) Configuration settings for MTUs, AAA, NTP, logging, etc. Sensitive services can be reached only from specific subnets or devices Paths between endpoints are as expected (e.g., traverse a firewall, have at least 2 way ECMP, etc...) Just pull and run the latest allinone Docker container that includes Batfish as well as example Jupyter notebooks.

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Bugs

Bugs

Photo of test correctness

test correctness

Photo of static analysis

static analysis

Related news:

News photo

DCS World’s new F-4E Phantom getting key patch to radar and bugs

News photo

Windows 11 KB5037853 update fixes File Explorer issues, 20 bugs

News photo

How to fix bugs in 24 hours or less