Supported Network Device and Operating System List
Batfish supports configurations for a large and growing set of (physical and virtual) devices, from vendors including:
A10 Networks
Arista
Amazon Web Services (AWS) constructs
Internet Gateways
NAT Gateways
Network ACLs
Security Groups
Virtual Private Clouds (VPCs)
VPN Gateways
…
Check Point
Cisco
ASA
IOS
IOS-XE
IOS-XR
NX-OS
Cumulus
F5 BIG-IP
Fortinet
Free-Range Routing (FRR)
iptables (on hosts)
Juniper (All JunOS platforms)
EX
MX
PTX
QFX
SRX
T-series
Palo Alto Networks
SONiC
Batfish has limited support for the following platforms:
Aruba
Dell Force10
Foundry
If you’d like support for additional vendors or currently-unsupported configuration features, let us know via Slack or GitHub issue. We’ll try to add support. Or, you can — we welcome pull requests! :)