batfish
batfish copied to clipboard
batfish
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 evo...
Support for DSCP in firewall filter terms was added in https://github.com/batfish/batfish/pull/7945. The box behavior has not been fully tested, which should be done. See https://github.com/batfish/batfish/blob/6be2fffb1ccceac7347334c537e1edec1c46930b/projects/batfish/src/main/java/org/batfish/representation/juniper/FwFromDscp.java#L32
From SROS 16.0 onwards, Nokia introduced the MD-CLI (model-driven CLI) as an optional management-interface. This structures the configuration file according to (proprietary) YANG models and supports CLI transactions. This request...
Device behavior is documented in tests added in this PR: https://github.com/batfish/batfish/pull/7869
When you set "ignoreFilters" to true it not only ignores the filters but it labels them as permitted. ``` EXITS_NETWORK 1. node: core_switch RECEIVED(Vlan702) FORWARDED(ARP IP: 10.10.10.10, Output Interface: Vlan127,...
VARP is not supported for Arista platforms. Moreover, no warnings are printed when using the below commands: ``` bf.q.parseWarning().answer().frame() ``` Link to the documentation related to VARP: https://www.arista.com/en/um-eos/eos-varp It would...
When two interfaces in the same VRF have addresses in the same prefix. See the test case in https://github.com/batfish/batfish/pull/7793
asking to add support for Huawei’s Versatile Routing Platform (VRP)
Hello! Can't parse my configs. I'm getting the next traceback ``` >>> r = bfq.routes().answer().frame() Traceback (most recent call last): File "", line 1, in File "/usr/local/lib/python3.6/site-packages/pybatfish/question/question.py", line 200, in...
Referencing an application(-group) whose definition is split across namespaces does not currently work in Batfish. ---- For example, consider this configuration where `app_group2` is partially defined in the `device-group DG1`...
Right now F5 does not set exportFromBgpRib, and its bgp process conversion was never ported to do so. It also never sets redistribution policy. - it will improperly activate bgp...
