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...
In the current BGP pipeline, a Juniper router will export from the main rib the "best" bgp route (in the bgp rib) as well as _all_ non-bgp routes matching the...
The use case here is to be able to run Batfish in an EKS cluster where persistent volumes are not an option. Instead of leveraging local filesystem storage, files would...
I get the following in the batfish diagnostics log for this IP unnumbered configuration syntax from an Arista EOS device: ``` Source_Lines [configs/spine-1.ios:[55, 63, 71, 79, 87, 95],... Type Parse...
Hi, I’m having an issue bringing up a GRE tunnel between 2 Junos routers. The routers are interconnected using ISP-ROUTER which works as expected (full L3 connectivity), but the GRE...
> Batfish version (`batfish/allinone:latest` docker image) > `pybatfish` version: 2021.7.9.974 I am trying to determine which interfaces on a Junos device are in which VLANs using Batfish. The full configuration...
Hello! I used the config files shown in the following two pictures, "as1core1.png" and "as1core2.png", to test the rip process. But I found that there is no interfaces and neighbors...
Hi everyone, My Router config parse failed with syntax: { "Details": "This syntax is unrecognized", "Line_Text": "ip nat inside source route-map xxx pool xxx reversible", "Nodes": null, "Parser_Context": "[ipnis_route_map ipni_source...
Somewhat esoteric behavior in FRR results in max-metric router-lsa administrative also overloading summary-lsa's. In Cisco-land you need to specify the "summary-lsa" directive, but thats not the case for FRR, sadly.
In #7032, and looking at Arista documentation: [here](https://www.arista.com/en/um-eos/eos-data-plane-security#xx1144546) and [here](https://www.arista.com/en/um-eos/eos-data-plane-security#xx1143262), there are some restrictions on how static NAT behaves when ACL is used. * > Only packets whose source IP...
