Further Resolving of Message Calls Within Functions

[Autosaida]

Component

Heimdall (Core)

Describe the feature you would like

The proposed improvement aims to enhance the decompilation functionality by providing a more detailed analysis of message calls within functions, specifically regarding call, staticcall, and delegatecall operations.

For example, considering the contract at address 0x9f00c43700bc0000Ff91bE00841F8e04c0495000 from the "examples", the current decompilation result is as follows:

(bool success, bytes memory ret0) = address(arg1).staticcall(abi.encode(0xa567a8fa00000000000000000000000000000000000000000000000000000000));

In the verify function of this contract, there is a staticcall. However, the function signature 0xa567a8fa can be found in the database as curtaPlayer(). Therefore, an ideal decompilation result might look like this:

(bool success, bytes memory ret0) = address(arg1).curtaPlayer();

I'm uncertain whether this idea is complete, and I welcome any feedback or suggestions.

Your contribution to this impressive project is highly appreciated.

[Jon-Becker]

This is a great idea! I'll tackle if not taken soon :)