From: "Harald Korneliussen" <vintermann@gmail.com>
Subject: Re: Buffer overflow Article - CACM
Date: 1 Dec 2005 01:01:53 -0800
Date: 2005-12-01T01:01:53-08:00 [thread overview]
Message-ID: <1133427713.922566.268390@g43g2000cwa.googlegroups.com> (raw)
In-Reply-To: <oZvjf.3062$Hk1.1848@newsread1.news.pas.earthlink.net>
Jeffrey R. Carter wrote:
> Brian May wrote:
>
> > Another issue with SPARK is that it appears to be non-free software
> > (unless you can meet the criteria for academic use where you can use
> > it for 0 cost), and no prices are given online the website.
> >
> > This makes me suspect it will be out of reach for average free
> > software authors, and most of the software I use falls into this
> > category.
> >
> > On the other hand, please correct me if I am wrong...
>
> Free versions of the SPARK tools are available at
>
> http://www.praxis-his.com/sparkada/sparkbook.asp
>
> These are intended for those who have read Barnes' book. All versions of the
> SPARK tools are written in SPARK and thus have static-sized internal structures;
> the structures in the free versions are relatively small, so the size of
> projects that they may be used for is fairly small.
>
Thank you, that's very interesting. I'm still a bit sceptical about
this static-sized internal structures thing, though. Isn't programming
without dynamic allocation difficult? Last time I did it was in
Commodore Basic, and that's because I didn't know how to do it then :-)
I would think that some software (for instance the browser and
windowing system I'm using now) would be practically impossible to
write in SPARK or similar languages?
next prev parent reply other threads:[~2005-12-01 9:01 UTC|newest]
Thread overview: 58+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-11-13 5:14 Buffer overflow Article - CACM adaworks
2005-11-13 7:35 ` tmoran
2005-11-13 8:49 ` Martin Krischik
2005-11-13 11:55 ` Georg Bauhaus
2005-11-13 14:58 ` Florian Weimer
2005-11-14 13:44 ` Marc A. Criley
2005-11-14 19:13 ` Martin Krischik
2005-11-13 15:02 ` Florian Weimer
2005-11-13 15:44 ` Stephen Leake
2005-11-14 14:40 ` adaworks
2005-11-13 23:57 ` Jeffrey R. Carter
2005-11-14 6:51 ` Martin Dowie
2005-11-14 17:55 ` Jeffrey R. Carter
2005-11-15 9:14 ` Martin Dowie
2005-11-14 7:09 ` Pascal Obry
2005-11-14 8:35 ` Dmitry A. Kazakov
2005-11-14 20:57 ` Simon Wright
2005-11-15 8:49 ` Dmitry A. Kazakov
2005-11-15 14:03 ` Georg Bauhaus
2005-11-15 15:14 ` Dmitry A. Kazakov
2005-11-15 22:32 ` Georg Bauhaus
2005-11-16 1:21 ` Robert A Duff
2005-11-16 9:26 ` Dmitry A. Kazakov
2005-11-16 13:02 ` adaworks
2005-11-17 11:13 ` Martin Dowie
2005-11-14 17:58 ` Jeffrey R. Carter
2005-11-14 18:44 ` Larry Kilgallen
2005-11-25 5:56 ` Christopher Browne
2005-11-26 1:31 ` Jeffrey R. Carter
2005-11-27 21:36 ` adaworks
2005-11-28 12:12 ` Simon Clubley
2005-12-01 2:35 ` robin
2005-12-01 7:05 ` adaworks
2005-12-03 13:42 ` robin
2005-12-03 18:18 ` adaworks
2005-12-12 1:23 ` robin
2005-12-31 7:39 ` robin
2005-12-31 17:03 ` Georg Bauhaus
2006-01-01 12:12 ` Martin Krischik
2006-01-01 23:12 ` robin
2006-01-02 3:37 ` jimmaureenrogers
2006-01-12 22:10 ` robin
2006-01-03 9:52 ` Georg Bauhaus
2006-01-12 22:10 ` robin
2006-01-12 22:36 ` Georg Bauhaus
2006-01-13 19:53 ` Keith Thompson
2006-01-13 20:22 ` Dan Nagle
2006-01-14 17:50 ` Björn Persson
[not found] ` <12ces1lv5dvm6pifdapj11o1hrtlm6ec7q@4ax.com>
2006-01-13 23:28 ` robin
2005-11-30 15:27 ` robin
2005-11-14 10:17 ` Peter Amey
2005-11-29 8:16 ` Harald Korneliussen
2005-11-29 10:48 ` Peter Amey
2005-11-30 21:21 ` Brian May
2005-12-01 5:36 ` Jeffrey R. Carter
2005-12-01 9:01 ` Harald Korneliussen [this message]
2005-12-01 11:21 ` Martin Dowie
2005-12-01 17:58 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox