Ada, HCSS and more

[bcs]

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/