This lesson is part of the Network Analysis with Batfish Course.
In this lesson, we will cover:
- How we can perform analysis of control plane protocols.
- How to perform analysis of BGP to identify configuration issues.
- How to perform analysis of BGP to identify reachability issues.
- How to perform analysis of OSPF BGP to identify configuration issues.
This is where Batfish really starts to come into its own. Using Batfish we can not only analyze the configuration settings of the network, but we can also analyze the behaviour of control plane protocols such as BGP or OSPF. Ensuring that BGP adjacencies will successfully establish and that OSPF neighbor adjacencies will correctly form.
Import Snapshot
Import the snapshot for this section using the supplied helper script and snapshot:
$ ./scripts/bf_snapshot_importer.py -p snapshots/002-cp_analysis
BGP Validation
First of all, let's validate our BGP adjacencies. This is achieved via the question bfq.bgpSessionStatus which validates the success of the BGP adjacency between 2 routers. This includes validating the BGP configuration of both peers and also validating the BGP packets will be successfully delivered to each peer, ensuring that no ACLs are blocking the traffic and preventing the neighborship from forming.