Analyze solidity code for tron blockchain

[fireridlle]

Description

Tron blockchain support the same solidity language as etherium, but with some differences. For example, it doesn't have the keyword ether, it replaced by trx. Would be nice to have mythril to analyze solidity code for tron blockchain too

[bogatyy]

Should probably just work as-is already? Try connecting to a Tron fullnode RPC in a way you'd connect to an Ethereum fullnode RPC?

[norhh]

@bogatyy It should be possible to analyze, but some issues might crop up as this tool is written solely on the assumption of it being run on the Ethereum blockchain. Like with the creation of contract using create2 opcode the contracts generated by EVM and tron VM will be different

[ColonelJ]

It's worth mentioning that the Tron blockchain is different in several ways from a standard Ethereum fork, having its own RPC formats etc. and a native token standard (TRC10), as well as a separate sidechain implementation.

The TVM is indeed a fork of EVM, but with notable differences being support for TRC10 tokens (you can call a contract using TRC10 instead of TRX, get the ID/amount of TRC10 token passed by caller, and get the TRC10 balance of an account). The Solidity compiler was obviously forked as well to handle such features (for a nonpayable function it is not sufficient to only check the TRX value passed by caller, but also the TRC10 value), and wasn't kept up to date with upstream Solidity. Funnily enough the TRC10 fell out of favour due to the existence of the more flexible/compatible/expensive TRC20 (ERC20 equivalent). I haven't looked at Tron for at least a year, maybe other stuff has changed since.

Also I discovered something quite odd in their precompiled contract implementation - still not fixed it seems!