[19:12:24] · https://arxiv.org/abs/1802.06038 << "on a subset of 3,759 contracts which we sampled for concrete validation and manual analysis, we reproduce real exploits at a true positive rate of 89%, yielding exploits for 3,686 contracts"
[19:20:00] · I'm sure with time they can get that number closer to 100% (http://btcbase.org/log/2018-02-19#1785157)