It would be extremely helpful to smart contract devs, to have an inexpensive automated tool that's really good at finding exploits of their code.