skills.rest
marcosd4h
marcosd4hCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

verify-decompiled

Compare IDA Hex-Rays decompiled output against assembly to identify and fix inaccuracies.

17|3|Updated Feb 22, 2026
Search Tags:#verification#assembly#binary-analysis#code-correction#hex-rays#decompiler
One-click install
npx skills add https://github.com/marcosd4h/DeepExtractRuntime --skill verify-decompiled
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: verify-decompiled
Source: https://github.com/marcosd4h/DeepExtractRuntime/tree/main/skills/verify-decompiled
Command: npx skills add https://github.com/marcosd4h/DeepExtractRuntime --skill verify-decompiled

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) components.

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.

Frequently Asked Questions about verify-decompiled

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I verify IDA Hex-Rays decompiled output against assembly ground truth?▼

Verify decompiler accuracy by comparing IDA Hex-Rays decompiled output against assembly ground truth using SQLite databases from the DeepExtractIDA workflow to identify and fix decompiler inaccuracies.

What are common IDA decompiler errors I should look for when auditing binary functions?▼

Common decompiler errors to look for include missing NULL guards, incorrect offsets, collapsed operations, and type mismatches when comparing decompiled output against assembly ground truth.

How do I patch decompiled code inaccuracies without breaking the original structure?▼

Patch decompiled code inaccuracies using a guided manual correction workflow that preserves the original decompiled structure while applying surgical fixes to the identified issues.

Can I triage decompiler issues across multiple binary modules automatically?▼

Triage decompiler issues across multiple binary modules automatically by running function-level verification on SQLite databases produced by the DeepExtractIDA workflow.

What do I need to run automated decompiler verification on extracted binary data?▼

You need Python 3.10+, workspace helpers, access to the module's decompiled and assembly data, and SQLite databases produced by the DeepExtractIDA workflow to run automated decompiler verification.

What's the best way to fix incorrect offsets and missing NULL guards in decompiled C code?▼

Fix incorrect offsets and missing NULL guards by triaging functions with decompiler issues against assembly ground truth and applying surgical patches through a guided manual correction workflow.

Related Skills

Explore More Software Engineering Skills→
marcosd4hmarcosd4h
17

memory-corruption-detector

Detect memory corruption vulnerabilities in Windows binaries with assembly-level verification.

Community
Advanced
guaidao2guaidao2
81

ghidra

Automate headless analysis and decompilation of executable binaries and firmware.

Community
Intermediate
allthingsidaallthingsida
38

decompiler

Inspect and modify decompiled C code from IDA Pro databases.

Official
Advanced
marcosd4hmarcosd4h
17

reconstruct-types

Reconstructs binary type layouts from CUDA C++ IR and MCU assembly IR; outputs CUDA-C++-compatible .h and .c files.

Community
Advanced