Hello,
 
https://buildsecurityin.us-cert.gov/daisy/bsi/articles/knowledge/coding/295.html
 
I stumbled across this page. It seems that Haskell and other strongly typed functional languages like Ml/OCaml will fare much, much better, e.g. buffer overrun. Thoughts . .... comments.
 
Vasili