batfish:Batfish是一种网络配置分析工具，可以查找错误并保证（计划或当前）网络配置的正确性。 它使网络工程师能够快速安全地发展其网络，而不必担心中断或安全漏洞-源码

有问题，反馈或功能要求吗？ 加入我们的社区 什么是蝙蝠鱼？ Batfish是一种网络验证工具，可通过分析网络设备的配置为安全性，可靠性和合规性提供正确性保证。 它通过设备配置构建完整的网络行为模型，并发现违反网络策略（内置，用户定义和最佳实践）的情况。 Batfish的主要用例是在部署之前验证配置更改（尽管它也可以用于验证已部署的配置）。 部署前验证是现有网络自动化工作流程中的一个关键缺口。 通过将Batfish包含在自动化工作流程中，网络工程师可以缩小这一差距，并确保仅部署正确的更改。 Batfish不需要直接访问网络设备。 核心分析仅需要配置网络设备。 可以使用来自网络的其他信息来增强此分析，例如： 从外部对等体收到的BGP路由 LLDP / CDP表示的拓扑信息 有关其工作原理的技术信息，请参见 。 Batfish支持哪些类型的正确性检查？ （订阅！）和说明了许多检查。 B