ytrezq

@norhh : and instead of writing such a program for reorganizing jumps, why not simply add the option to Mythril for fewer works and once and for all (without needing...

@nbanmp : and why not add such custom module to the codebase where it gets active only with a required parameter passed on the command line ?

@b-mueller if it doesn’t detect almost arbitrary jumps from the call graph, then no I can’t. What I’m requesting doesn’t only require adding a module. It also requires adding the...

@norhh yes, but based on a call graph. If the call graph say that a jump is static whereas it could be dynamic then nothing will happen.

We don’t have a minimal example of `OptimizerClearStateOnCodePathJoin` and `OptimizerStateKnowledgeNotResetForJumpdest`. My test case are taking days. Any ideas of their bug number in https://github.com/ethereum/solidity/issues?

Ok, here’s the test cases : https://github.com/ethereum/solidity/issues/692 (the former being harder to trigger but should be possible with https://gist.github.com/chriseth/3514a465ab4b7d8168f53d786bd0df7c https://github.com/ethereum/solidity/pull/762/commits/ac0d1388008ed616ab7b35a5b3a27e7400decd46) and https://github.com/ethereum/solidity/issues/1416. But I don’t have my personal machines right...

@norhh except it doesn’t. Did you try without? Also, I don’t have enough memory to do this without state merge. And your state merge branch requires the infura update to...

> Cases where the vulnerability requires more than 5 transactions take a long time for Mythril at the moment. MythX might handle them well in the coming months. @norhh as...

@norhh not that much. Please backport the latest changes to https://github.com/ConsenSys/mythril/pull/1281 in order to be able to use that branch again (it no longer works because of the lastest Infura...

@norhh just a question, the z3 solver can be run in multithreaded mode (not Mythril itself bu z3) https://stackoverflow.com/a/53246261. Why don’t you set up the correct parameters in order to...