Browse Android reverse engineering training, tools, and learning resources in this curated repository.
Open source
24 alternativesAwesome Formal Verification
vsReversing Bits
Awesome Formal Verification vs Reversing Bits
How do Awesome Formal Verification and Reversing Bits compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Awesome Formal Verification | Reversing Bits |
|---|---|---|
| What it is | This repository organizes formal verification and model-checking resources, techniques, and tools. | Use reference sheets for reverse engineering, binary analysis, and assembly programming tools. |
| Website | ||
| Type | Open-source project | Open-source project |
| Topic | ||
| Pricing | Not confirmed | Not confirmed |
| Platforms | Not recorded | Linux, Windows |
| Open source | Yes | Yes |
| Language | English | English |
| Alternatives |
Other options to consider
Sites similar to both Awesome Formal Verification and Reversing Bits.
Set up a Windows virtual machine for reverse engineering with FLARE-VM’s software installation scripts.
Open source
24 alternatives
Apktool reverse engineers Android APK files and provides a repository for the project.
Open source
24 alternatives
git-hound searches public GitHub repositories for exposed secrets and credentials.
Open sourcePick
24 alternatives
Scan IP addresses and ports concurrently with rang3r, a multithreaded scanner.
Open source
24 alternatives
Configure network activity rules through Windows Filtering Platform with Simplewall.
Open source
24 alternatives