> That said, there just aren't enough people looking at these contracts right now I hope this doesn't kill the project. Having programs that give you money whe

> That said, there just aren't enough people looking at these contracts right now I hope this doesn't kill the project. Having programs that give you money when you find bugs in them could be a very powerful incentive to develop new tools to write correct code.