Skills
.Work. You
Rest

verify-decompiled

Community

Verify decompiler accuracy and patch output.

Software Engineering#verification#assembly#binary-analysis#code-correction#hex-rays#decompiler
Authormarcosd4h
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Identify and fix decompiler inaccuracies by comparing IDA Hex-Rays decompiled output against the assembly ground truth.

Core Features & Use Cases

  • Automated triage of common decompiler errors such as missing NULL guards, wrong offsets, and collapsed operations.
  • Function-level verification across modules using SQLite databases from DeepExtractIDA to surface precise issues.
  • Guided manual correction workflow that preserves original decompiled structure while applying surgical patches.

Quick Start

Run a targeted verification for a function of interest to reveal decompiler issues and guide corrective steps.

Dependency Matrix

Required Modules

None required

Components

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: verify-decompiled
Download link: https://github.com/marcosd4h/DeepExtractRuntime/archive/main.zip#verify-decompiled

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.