Fig4 ← Previous Next → Figure 4 — We use a combination of Batfish and our custom parsers to transform the vendor configuration into an agnostic network representation.