There is some public work on this: http://bap.ece.cmu.edu/ http://bap.ece.cmu.edu/ Unfortunately, most people do not find this to be terribly exciting. Worse

There is some public work on this: http://bap.ece.cmu.edu/ http://bap.ece.cmu.edu/ Unfortunately, most people do not find this to be terribly exciting. Worse still, there is almost no demand for it; most programmers want to quickly hack out something cool, and by the time they begin thinking about security it is too late.