If anyone’s tempted to think any particular programming language is inherently safe, look to Ariane 5.
Full report: http://www.di.unito.it/~damiani/ariane5rep.html
(There are those who will say the problem did not lie in ADA)
