Use reference sheets for reverse engineering, binary analysis, and assembly programming tools.
Open source
24 alternativesSniffnet
vsAwesome Formal Verification
Sniffnet vs Awesome Formal Verification
How do Sniffnet and Awesome Formal Verification compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Sniffnet | Awesome Formal Verification |
|---|---|---|
| What it is | Monitor network traffic with Sniffnet, a desktop network analysis application. | This repository organizes formal verification and model-checking resources, techniques, and tools. |
| Website | ||
| Type | Open-source project | Open-source project |
| Topic | ||
| Pricing | Not confirmed | Not confirmed |
| Platforms | Not recorded | Not recorded |
| Open source | Yes | Yes |
| Language | English | English |
| Alternatives |
Other options to consider
Sites similar to both Sniffnet and Awesome Formal Verification.
Karma Firewall is an Android firewall that states it requires no internet permission and intercepts no allowed user traffic.
Open source
24 alternatives
git-hound searches public GitHub repositories for exposed secrets and credentials.
Open sourcePick
24 alternatives
Plexiglass helps detect and protect against vulnerabilities in large language models.
Open source
24 alternatives
Practice iOS penetration testing in a deliberately vulnerable app, with exercises covering vulnerabilities tested through iOS 11.
Open source
24 alternatives
Configure network activity rules through Windows Filtering Platform with Simplewall.
Open source
24 alternatives