Alternatives

Products that do what A firewall analysis library using the Z3 SMT solver does

1. 1DA
   Dog – a distributed firewall management system▲20

   2021 · relaypro-open.github.io

2. 2MU
   My user-friendly outbound firewall for Mac▲77

   2011 · radiosilenceapp.com

3. 3FE
   Firewall – Extreme Robocall Blocker▲16

   2019 · apps.apple.com

4. 4AP
   A proof-of-concept FoundationDB based network block device backend▲192

   2018 · github.com

5. 5TR
   Tunshell – Remote shell into ephemeral environments behind NAT/firewall▲70

   2020 · github.com

6. 6MA
   Mole – an open source tool to easily create ssh tunnels▲142

   2018 · davrodpin.github.io

7. 7KA
   KCP: a new low-latency, secure network stack▲82

   2020 · improbable.io

8. 8CT
   Crowdsec, the behavior and reputation-based collaborative firewall▲17

   2020 · crowdsec.net

9. 9TA
   Tcpkit – A tool to analyze TCP/UDP packets with Lua▲65

   2018 · github.com

10. 10KN
    Kubernetes network firewall rules recipes▲8

    2017 · github.com

11. 11
    TinyHardwareFirewall▲78

    When a VPN Alone Is Not Enough

    2014

12. 12PA
    Parapet – A purely functional library to build distributed systems▲51

    2019 · parapet.io

13. 13CA
    Chomper – An Internet Blocker for Linux▲24

    2018 · github.com

14. 14RE
    RadioSilence. Easy to Use OS X Firewall▲32

    2016 · radiosilenceapp.com

15. 15AT
    A tiny library for managing blocking code in Tornado▲15

    2012 · github.com

16. 16BA
    Blackpage – A Social Network for the Command Line▲20

    2019 · github.com

17. 17NR
    Netty-rs – Rust library to easily write server/client network protocols▲22

    2021 · gitlab.com

18. 18IF
    inletsctl – Fast HTTP (L7) and TCP (L4) Tunnels▲11

    2019 · github.com

19. 19IS
    Inletsctl – self-hosted network tunnels▲13

    2019 · github.com

20. 20AM
    Artillery: multi-protocol load-testing tool written in Node.js▲8

    2016 · artillery.io

21. 21TS
    TiTun – simple secure IP tunnel, using libsodium, written in Rust▲7

    2017 · github.com

22. 22AA
    Apathy – Analyzing web server call paths from access logs▲11

    2018 · github.com

23. 23UA
    Umbrella – an open source digital and physical security handbook▲11

    2020 · umbrella.secfirst.org

24. 24PA
    Proxyblock – an interactive content-blocking proxy written in golang▲13

    2015 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →