A Tool for Automated Iptables Firewall Analysis
Fang: a firewall analysis engine