batfish

Batfish is a network configuration analysis tool that can fi...