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 evolve their network, without fear of outages or security breaches.
network
configuration
network-analysis
network-automation
network-security
configuration-parser
network-verification
configuration-analysis
network-validation
-
Updated
Jun 21, 2022 - Java


check_external_example and check_external_example_highlevel may fail when you run the tests without the source code, e.g.: