Re: Report on defect in M2 vs C (Was Modula-2, Modula-3, C or C++)

Article View: comp.lang.modula2

Article #2586

#2586

From: Michel Dagenais
Date: Fri, 06 Oct 1995 08:48

17 lines
1492 bytes

In article <DFyAJF.KpC@research.att.com> ark@research.att.com (Andrew Koenig) writes:

   Indeed.  If you want to catch bounds errors, you should use a compiler
   that catches bounds errors.  This is true regardless of language.
   -- 

If the language allows arbitrary pointer arithmetic or even explicit
"free" of dynamically allocated memory, you cannot "rigorously" check
everything. This is why you see so many competing products to check C
programs. None does a thorough job although some are quite good.
If you are willing to subset the portion of the language that you are using
then you can garantee safety.
--

Prof. Michel Dagenais        http://www.vlsi.polymtl.ca/dagenais/home/home.html
Dept of EE and Computer Eng.        dagenais@vlsi.polymtl.ca
Ecole Polytechnique de Montreal     tel: (514) 340-4029

Technical Details

Message-ID: <DAGENAIS.95Oct6084824@gutrune.vlsi.polymtl.ca>

Path: arc1-ca.pugleaf.net!news.polymtl.ca!dagenais

References:

<44hcri$rsm@theopolis.orl.mmc.com> <44rv1u$dfk@apollo.ekfido.kodak.com> <44uccq$lkd@theopolis.orl.mmc.com> <DFyAJF.KpC@research.att.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!news.polymtl.ca!dagenais
From: dagenais@gutrune.vlsi.polymtl.ca (Michel Dagenais)
Newsgroups: comp.lang.modula2,comp.lang.modula3,comp.lang.c,comp.lang.c++,comp.lang.ada
Subject: Re: Report on defect in M2 vs C (Was Modula-2, Modula-3, C or C++)
Date: 6 Oct 95 08:48:24
Organization: Ecole Polytechnique de Montreal
Message-ID: <DAGENAIS.95Oct6084824@gutrune.vlsi.polymtl.ca>
References: <44hcri$rsm@theopolis.orl.mmc.com> <44rv1u$dfk@apollo.ekfido.kodak.com>
 <44uccq$lkd@theopolis.orl.mmc.com> <DFyAJF.KpC@research.att.com>
NNTP-Posting-Host: vlsi.polymtl.ca
In-reply-to: ark@research.att.com's message of Thu, 5 Oct 1995 00:54:51 GMT

Reply to Parent Message