Ability to specify entry point contract by name

The title is pretty self-explanatory. 😄

The motivation for asking this is: Mythril doesn’t currently handle the dependencies from Dapphub’s dapp tool and when using a merger tool to solve dependencies (like solidity-merger) the contract being analyzed is always the last one (per solc requirements). If we could specify the entry point the merging tools would be a working solution!

[muellerberndt]

I added the following behavior for solc files that contain multiple contracts.

This will analyze the last bytecode entry generated by solc:

$ /myth -x OmiseGo.sol

This will analyze the contract OMGToken in the file OmiseGo.sol:

$ /myth -x OmiseGo.sol:OMGToken

[muellerberndt]

That would be an option, but I am thinking it might be better to remove Mythril’s source code input options altogether and leave the compiling and linking to the build environment. Otherwise, a lot of complicated logic has to be implemented and it will be difficult to cover the various types of imports etc… This is high up on my list, just need to play more with Truffle and Dapp.