Firewall Analysis and Rewrite Library