Browse Android reverse engineering training, tools, and learning resources in this curated repository.
Open source
24 alternativesAwesome Malware Analysis
vsAwesome Formal Verification
Awesome Malware Analysis vs Awesome Formal Verification
How do Awesome Malware Analysis 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 | Awesome Malware Analysis | Awesome Formal Verification |
|---|---|---|
| What it is | This repository curates tools and resources for analyzing malware, including material for researchers and practitioners. | 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 | Not stated | Yes |
| Language | English | English |
| Alternatives |
Other options to consider
Sites similar to both Awesome Malware Analysis and Awesome Formal Verification.
Use reference sheets for reverse engineering, binary analysis, and assembly programming tools.
Open source
24 alternatives
Set up a Windows virtual machine for reverse engineering with FLARE-VM’s software installation scripts.
Open source
24 alternatives
This repository collects lists of tools and resources for hackers and security researchers.
Open source
24 alternatives