Software Regression

[Ooqu4]

When trying to reproduce the results from the "Smashing Ethereum Smart Contracts for Fun and Real Profit" (v1.3) paper, I stumbled across a few regression issues:

Some module paths have been changed and the imports need to be adjusted:

• mythril.ethereum.EVMContract.SolidityContract is now mythril.solidity.soliditycontract.SolidityContract

Throughout the paper the as_dict() function is used, which has been replaced
by a property decorator which means that the parentheses need to be omitted.

The following contracts in the contracts directory do not have a pragma solidity statement: assertions.sol, rubixi.sol, symvars.sol.

When generating CFGs (with myth -g), the resulting graphs look bigger than the given ones in the CFG folder. I assume this has to do with a divergent solc version.

It would be nice to have these small issues corrected, since they cost a bit of time to figure out.
Furthermore it would be good to annotate the used solc versions in order to be able to retrace the results precisely.

I haven't worked through the entire paper yet, so there may be more to come.

Apart from that, the paper is well written and good to understand.
Thanks.