Re: [Lit.] Buffer overruns

From: Anne & Lynn Wheeler (lynn_at_garlic.com)
Date: 12/16/04 

Date: Thu, 16 Dec 2004 07:03:31 -0700

daw@taverner.cs.berkeley.edu (David Wagner) writes:
> I appreciate the references, but those were frankly not very helpful in
> providing what I was looking for. The material found off of those sites
> looks like it was written for a not terribly well informed audience,
> and didn't talk about security. There was talk about strong typing,
> object-oriented programming, abstraction, and the like. All well and
> good, but that's well-known stuff these days, and you hardly need Ada
> for that.

one of my favorites on assurance ... not specifically ada .. although
some of the members do human-rated projects and use ada
http://www.software.org/quagmire/ 

-- 
Anne & Lynn Wheeler | http://www.garlic.com/~lynn/

Relevant Pages

  • Re: Ada extension information
    ... only references to this sub-package is in comments from the following 3 files: ... if these routines are defined and reference only with-in the package ... Keeping the Ada Text packages more precise to the Ada ... "conditional compiling statements" would be acceptable with a few examples. ...
    (comp.lang.ada)
  • Re: Certified C compilers for safety-critical embedded systems
    ... Can you provide references to such evidence, ... >I think the Ada and SPARK communities can, ... language subset, like SPARK. ...
    (comp.lang.ada)
  • Re: newbie - OOP in Ada Set and Get Methods
    ... because all OOP languages uses references to pass the objects as ... Object construction is slightly different in Ada, ... You could also have automatic initialisation using ...
    (comp.lang.ada)
  • Re: not null
    ... by making references to nothing, in Algol W, ... Ada is a little bit better than languages that always allow null, ... But it's still a tripping hazard. ...
    (comp.lang.ada)
  • Re: newbie - OOP in Ada Set and Get Methods
    ... learn Ada. ... http://www.adapower.com/ section "books and tutorials" for references) ... as pointed in an earlier reply, an Ada package in equivalent to a C++ ... object by defining a tagged record and a set of procedures/functions ...
    (comp.lang.ada)
Quantcast