logic-vulnerability-detector
CommunityDetect logic bugs that bypass hardware mitigations.
Software Engineering#verification#static-analysis#security-audit#taint-analysis#decompiled-code#logic-vulnerability
Authormarcosd4h
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Detects logic vulnerabilities in DeepExtractIDA binaries, including authentication bypasses, state-machine errors, TOCTOU/double-fetch, and related flaws that memory-safety and mitigation techniques may miss.
Core Features & Use Cases
- Four detection modules scan for different vulnerability classes including authentication bypass, state-machine issues, TOCTOU/double-fetch, and API misuse.
- Independent verification re-reads code and assembly to confirm or reject findings.
- Generates prioritized reports and integrates with the broader analysis workflow for threat dossiers.
Quick Start
Run the full module scan against a module database to generate a verified logic vulnerability report.
Dependency Matrix
Required Modules
None requiredComponents
scripts
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: logic-vulnerability-detector Download link: https://github.com/marcosd4h/DeepExtractRuntime/archive/main.zip#logic-vulnerability-detector Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.