heaphopper
by angr
HeapHopper is a bounded model checking framework for Heap-implementations
AI summary
Heap vulnerability detector
A bounded model checking framework for detecting security vulnerabilities in heap implementations.
- stars
- 212
- forks
- 18
- watching
- 13
Similar projects
Found by comparing what the projects do, not just their names.
Vulnerability detector
An instrument used to hunt and identify cross-site scripting (XSS) vulnerabilities by tracking correlated requests and payloads.
Web vulnerability detector
A tool to detect and analyze web application vulnerabilities by monitoring suspicious traffic and storing logs in Google BigQuery for analysis
Federated Learning Detector
Develops and evaluates a framework for detecting attacks on federated learning systems
Security toolkit
An open-source project that explores the intersection of machine learning and security to develop tools for detecting vulnerabilities in web applications.
elkokc/reflector1.1K
Vulnerability detector
An extension for Burp Suite to detect and analyze reflected XSS vulnerabilities in web applications.
API version detector
A tool to help users find deprecated Kubernetes API versions in their code and Helm releases.
Vulnerability finder
A static analysis tool for identifying security vulnerabilities in Android and Java applications.
corkami/pocs1.5K
Hash vulnerability testing
Research and experimentation with potential vulnerabilities in data hashing algorithms.
Web vulnerability scanner
A collection of passive scanner checks to identify security vulnerabilities in web applications
Code detector
Automatically detects obfuscated code and other complex code constructs in binaries to aid reverse engineering.
Vulnerability scanner
A tool for identifying potential vulnerabilities in websites by fetching known URLs and filtering out ones with open redirects or SSRF parameters.
Vulnerability scanner
An extension for Burp Suite that scans for unknown classes of injection vulnerabilities using a novel approach
Kernel vulnerability scanner
Automated framework for discovering and exploiting kernel vulnerabilities on Linux and macOS.
Vulnerability scanner
Automated vulnerability detection tool for web applications
Firmware analyzer
Analyzes firmware vulnerabilities using concolic analysis and function clustering