On 10/25/2011 08:16 PM, bearophile wrote:
(Report after a mistake.)
This looks mostly like Ada advertisement, but it's readable (May 2008):
http://www.mil-embedded.com/articles/id/?3277
The Reddit thread about it:
http://www.reddit.com/r/programming/comments/lol4l/ccjava_a_gazillion_features_and_still_suck_at/
From the article:
Last year's High Confidence Software and Systems (HCSS) conference, sponsored by
NSA to address security-critical issues, featured an interesting presentation from
Microsoft addressing such issues in the context of Windows. The primary sources of
problems in Microsoft's experience are buffer overruns and integer overflow
problems.<
I have done some searching, but I have not found this presentation.
Bye,
bearophile
Regarding integer overflow problems:
http://blog.regehr.org/archives/598
It would be interesting to run DMD/DMC through his integer checking tool:
http://embed.cs.utah.edu/ioc/