Batfish是一款功能强大的网络配置安全分析工具和网络验证工具，该工具能够帮助广大研究人员寻找目标网络系统中的配置问题，并能够根据设备配置构建基于网络行为的完整模型，以及自动识别违反网络策略、用户定义和最佳实践的恶意行为。
Batfish可以在我们部署网络配置之前对配置的安全性和完整性进行验证，而部署前的验证是现代网络自动化工作流中的关键因素。通过将Batfish接入自动化工作流后，网络工程师就能够更好地确保配置和部署的正确性。
Batfish不需要直接访问目标网络设备，工具只需要网络设备的配置信息即可完成核心分析。除此之外，我们还可以使用目标网络的其他信息来辅助分析。
支持的网络设备和操作系统列表
Batfish支持扫描和分析大型网络和设备（物理或虚拟），其中包括：
A10 网络
Arista
AWS (VPCs, Network ACLs, VPN GW, NAT GW, Internet GW, Security Groups…)
Cisco (Cisco NX-OS, IOS, IOS-XE, IOS-XR, ASA)
Check Point
Cumulus
F5 BIG-IP
Fortinet
Free-Range Routing (FRR)
iptables
Juniper (所有的JunOS 平台: MX, EX, QFX, SRX, T-series, PTX)
Palo Alto网络
SONiC
Batfish支持下列平台：
Aruba
Dell Force10
Foundry
