Skip to content

Heuristic Bytecode Decompilation for Unverified EVM Contracts #23

Description

@Fatimasanusi

Description:
When a token contract address is submitted without public source code on Etherscan or similar block explorers, standard AST parsing fails. We need an automated EVM disassembler and bytecode decompiler module in Rust to extract opcodes and detect hidden malicious logic (e.g., restricted transfer functions, hidden mints, or self-destruct routines).

Acceptance Criteria:

  • Integrate an EVM disassembler crate to parse raw contract bytecode into control flow graphs (CFGs).
  • Implement opcode pattern matching for dangerous instructions (SELFDESTRUCT, DELEGATECALL to non-standard implementations, and custom SSTORE access controls).
  • Generate a partial pseudo-Solidity signature output when source verification is missing.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions