Practice iOS penetration testing in a deliberately vulnerable app, with exercises covering vulnerabilities tested through iOS 11.
Open source
24 alternativesAwesome Formal Verification
vsgit-hound
Awesome Formal Verification vs git-hound
How do Awesome Formal Verification and git-hound compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Awesome Formal Verification | git-hound |
|---|---|---|
| What it is | This repository organizes formal verification and model-checking resources, techniques, and tools. | git-hound searches public GitHub repositories for exposed secrets and credentials. |
| Website | ||
| Type | Open-source project | Open-source project |
| Topic | ||
| Pricing | Not confirmed | Not confirmed |
| Platforms | Not recorded | Linux |
| Open source | Yes | Yes |
| Language | English | English |
| Alternatives |
Other options to consider
Sites similar to both Awesome Formal Verification and git-hound.
Scan IP addresses and ports concurrently with rang3r, a multithreaded scanner.
Open source
24 alternatives
Plexiglass helps detect and protect against vulnerabilities in large language models.
Open source
24 alternatives
Use reference sheets for reverse engineering, binary analysis, and assembly programming tools.
Open source
24 alternatives
Add a proof-of-work CAPTCHA system to an application using the mCaptcha backend component.
FreeOpen source
24 alternatives
This GitHub list collects books, guidelines, blogs, videos, tools, and cases related to CI/CD security.
Open source
24 alternatives