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...
Right now we are not recording references to builtin structures of type `monitor`, `profile`, `persistence`. But if a user overwrites the definition of a builtin in the configuration, then the...
Does Batfish support reachability verification of encapsulated data packets, such as reachability verification of data packets forwarded to the tunnel endpoint through a VXLAN tunnel?
Found a false positive for the Unused Structure question when using a route route-map in a "ip local policy" config. See config example below: ``` ! ! ip local policy...
This PR aims to implement an initial set of basic Azure functionalities. Please note that some features are still experimental and may not be fully complete. Key Features Introduced: -...
This commit adds comprehensive documentation for BGP attribute handling properties in routing policy invariants, covering the three core properties: _useOutputAttributes, _readFromIntermediateBgpAttributes, and _writeToIntermediateBgpAttributes. Key deliverables: - Complete documentation suite (7...
This is a basic implementation of NDD in javabdd. Here we provide: * [jdd](https://github.com/Augists/jdd) * [NDDFactory](https://github.com/XJTU-NetVerify/NDD) * partially compatiable(with NDD) BDDPacket We mainly focus on: * factory initialization * creating...
Hi Batfish team, My project involves validating a pure switching network with Huawei devices, and I want to ensure Batfish can handle this use case. I have two questions about...
IOS XR supports chained access-lists, see https://www.cisco.com/c/en/us/td/docs/iosxr/ncs5500/ip-addresses/25xx/configuration/guide/b-ip-addresses-cg-ncs5500-25xx/implementing-access-lists-and-prefix-lists.html#Cisco_Generic_Topic.dita_4cf5c796-edf6-4712-a7d8-4982a251e265 ``` Configuration Example /* Enter the interface configuration mode, and then configure an interface. */ Router# configure Router(config)# interface TenGigE 0/0/0/0 /* Configure...
**Describe the bug and expected behavior** What happened, ``` >>> bf.q.nodeProperties().answer().frame() Node AS_Path_Access_Lists ... VRFs Zones 0 coresw02 [] ... ['Mgmt-vrf', 'default'] [] 1 wlc01__configs__wlc01_20241108... [] ... ['Mgmt-intf', 'default'] []...
I have this bare bones Cisco config on which I am running some tests. It appears as if Batfish does not parse the ACL here because **config.getIpAccessLists()** returns a null...
