Re: [Lit.] Buffer overruns

From: Mok-Kong Shen (mok-kong.shen_at_t-online.de)
Date: 12/21/04 

Date: Tue, 21 Dec 2004 10:54:41 +0100

Xcott Craver wrote:

> Try, http://www.cs.cornell.edu/talc/papers.html, 3rd paper down to
> start.
> .........
> Also: the Cyclone project, another type-safe version of C, is at
> http://www.research.att.com/projects/cyclone/

Many thanks for the pointers. BTW, I happen to find a survey
on languages being used in safety-critical systems:

    http://vl.fmnet.info/safety/lang-survey.html

M. K. Shen

Relevant Pages

  • French worst tourists according to worlds hoteliers
    ... A survey guaranteed to piss off most people. ... across as bad at foreign languages, tight-fisted and arrogant, according to ... holidaymakers don't speak local languages and are seen as impolite. ... "The French don't go abroad very much. ...
    (uk.politics.misc)
  • Re: 7 Days - Documentary Hypothesis flawed
    ... Revd. Eric Potts wrote: ... refers to, not that it was written over several centuries. ... It's in two different languages, btw, which rather tells against the ...
    (uk.religion.christian)
  • Re: (2009-04-09) NS-RFC: You receive an invitation to a dinner party....
    ... Thanks go to gloria p for 'inspiring' this survey. ... BTW, she had absolutely nothing to do with writing it up, so you can't ...
    (rec.food.cooking)
  • Re: More than one vbs file
    ... but most languages have such a funcion so I was very suprised. ... of course I haven't done a survey. ... > between including code from another source and executing code from another ... In the assemblers I mentioned, ...
    (microsoft.public.scripting.vbscript)
  • Re: Central AC Advice
    ... furnace repair frequencies. ... BTW, where's Weathermaker/Weatherking? ... The fact that every known brand isn't represented on the survey is immaterial. ...
    (alt.home.repair)