maxtac-binary-decompile-loop

What problem does it solve?

This Skill helps to systematically decompile and model binary functionality, aiding in the reverse-engineering process and enhancing security review.

Core Features & Use Cases

• Binary Decomposition: Models binary compilation and loading processes, preserving reverse-engineering provenance.
• Function Reachability: Prioritizes executable functions by reachability or call frequency.
• Security Evidence Production: Systematically decompiles or parses functions and data structures to produce security evidence.
• Use Case: For security professionals tasked with understanding binary code during security reviews or audits.

Quick Start

Use the maxtac-binary-decompile-loop skill to initiate a binary decompile loop with the command: init --root /path/to/workspace --loop-id <id> --kind binary-decompile --owner-plugin maxtac-binary --target "<binary path>" --scope "<functions, ranges, symbols, or data structures>"