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...
I'm trying out the example notebooks included in the docker image, Batfish version 2024.07.10.1503. I gave it a simple SRX config file. It's partially recognized, Batfish recognizes zones, interfaces, bgp...
Are there any plans to support the `set` module in the iptables parser? In my environment I make extensive use of ipsets for efficiency of rule lookups however given batfish...
**Describe the bug and expected behavior** I have two Cisco IOS router configurations. Router R1 is in AS 400 and router R2 is in AS 512. R1 sends a route...
Feature Enhancement Request: In the documentation VYOS is not named as a supported network device. As its a very robust opensource router and compliments SONiC for an OSS based network...
**Describe the bug and expected behavior** I have two Cisco IOS routers. Router R1 is in confederation 30 and sub AS 3001. R2 is in AS 3001 (no confederation). When...
Adds support for configuring local-preference value on routes advertised to a BGP group or neighbor. This is distinct from preference (admin distance) and from local-preference manipulation via routing policy. ---...
Add support for `set policy-options policy-statement PS term TERM then metric add/subtract `. Refactor metric grammar to use subrules per token for LL(1) compliance, matching the pattern used for preference...
Add parsing and extraction for `set policy-options policy-statement PS term TERM then metric2 add/subtract `. Refactor metric2 grammar to use subrules per token for LL(1) compliance, matching the pattern used...
Extend administrative cost (Juniper preference) from int to long to support the full uint32 range (0-4,294,967,295) required by Junos. Add support for `set policy-options policy-statement PS term TERM then preference...