Re:Chasing the DAO Attacker’s Wake – A second exploit
by bradenb on Tuesday June 21, 2016 @01:16PM
(#11947418)
It would be nice if you could dry-run each execution of the contract and verify it passes a series of tests. It seems to me that regardless of how these contracts are written, you should be able to verify the behavior.
[ Parent
| on HN ]