Skip to content

l-jonas/Iptables_Semantics

 
 

Repository files navigation

Iptables_Semantics

This is a fork of https://github.com/diekmann/Iptables_Semantics. Read the original Readme for more details.

Changes in this fork

  • routing tables
    • support for blackhole routes
    • assumption that interfaces that are not mentioned in the table are never used to send traffic
    • more robust parser
  • iptables files
    • fix parsing the protcol sctp

About

Verified iptables Firewall Ruleset Analysis

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Isabelle 86.5%
  • Haskell 8.7%
  • TeX 3.4%
  • Shell 0.5%
  • Python 0.3%
  • Standard ML 0.3%
  • Other 0.3%