1/ "Our techniques are powerful enough to find the infamous Parity bug that indirectly caused 200 million dollars worth of Ether, which is not found by previous analyses" My understanding from fuzzing software is that they are used to find 0-days...
-
-
It's great they released their tool so results can be verified. Running it on contracts with eth value a few weeks ago, it identified about 75 contracts with vulnerabilities. Still have to manually verify. Some randomness in results is probably due to z3 timeout.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.