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.
Or read this on Hacker News