Iptables_Semantics
Iptables_Semantics copied to clipboard
Verified iptables Firewall Ruleset Analysis
Currently, the service matrices (build_ip_partition_pretty) are just dumped as plain text. They could be perfectly visualized as graph. My idea: dump them as dot and run graphviz afterwards. Code can...
The semantics and the analysis algorithms do not support packet modification. Consequently, this tool is mainly applicable for the iptables filter table. It would be nice to add support for...
This has an effect if a routing table was specified only. The current implementation keeps the interfaces if they are not part of the routing table. Due to the over...