Java: https://www.exploit-db.com/exploits/36101/
.NET: https://www.exploit-db.com/exploits/35280/
Python: https://www.exploit-db.com/exploits/33251/
At least my code/data running in "the cloud" is safe:
http://www.jcomputers.us/vol9/jcp0904-30.pdf
https://www.cs.unc.edu/~reiter/papers/2012/CCS.pdf
I can keep going here but you get the point. Perhaps he should have also taken it further and proposed that we move onto Mill processors since the underlying hardware has a history of issues:
sinkhole: https://www.exploit-db.com/exploits/37724/
rowhammer: https://www.exploit-db.com/exploits/36310/
Yes in C/C++ you can make mistakes (#gotofail) but in other languages, I would argue you can fuck-up in ways that are not nearly as obvious such that static analysis can't catch. A nicety about C/C++ is the tooling has gotten pretty damn good over the last 43 years (clang, gcc, valgrind, etc) and can catch most of these kind of bugs. The onus is on the developer to do the correct thing though and it appears that over at Adobe, etc that they (historically) could give 0 shits about doing this. It honestly seems to be though, that they are tightening up things.
Perhaps we should rebuild everything from the ground up....